Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-3/NOTES/HISTORY
ViewVC logotype

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1347, Thu Aug 28 21:59:15 2003 UTC revision 1348, Fri Aug 29 17:06:53 2003 UTC
# Line 28  Line 28 
28  Basis:  Basis:
29          - Implemented IntInf.          - Implemented IntInf.
30          - Made LargeInt a projection of IntInf (by filtering through INTEGER).          - Made LargeInt a projection of IntInf (by filtering through INTEGER).
31          - Added some missing Real54 operations, most notably Real.toLargeInt.          - Added some missing Real64 operations, most notably Real.toLargeInt.
32          - Added FixedInt as a synonym for Int32.          - Added FixedInt as a synonym for Int32.
33    
34  compiler:  compiler:
# Line 51  Line 51 
51    
52          * A word about conversion primops:          * A word about conversion primops:
53          If conversions involving intinf do not cancel out during          If conversions involving intinf do not cancel out during
54          CPS contract, the compiler must insert calls to Core functions.          CPS contract, then the compiler must insert calls to Core functions.
55          Since all core access must be resolved already during the FLINT          Since all core access must be resolved already during the FLINT
56          translate phase, it would be too late a the time of CPS contract          translate phase, it would be too late a the time of CPS contract
57          to add now Core calls.  For this reason, conversion primops          to add new Core calls.  For this reason, conversion primops
58          for intinf carry two arguments:  1. the numeric argument that          for intinf carry two arguments:  1. the numeric argument that
59          they are supposed to convert, and 2. the Core function that          they are supposed to convert, and 2. the Core function that
60          can help with this conversion if necessary.  If CPS contract          can help with this conversion if necessary.  If CPS contract
61          eliminates the primop, the Core functions become dead and go          eliminates a primop, then the associated Core function becomes
62          away.  Intinf conversion primops that do not get eliminated          dead and goes away.  Intinf conversion primops that do not get
63          by CPS contract get rewritten into calls of those core functions          eliminated by CPS contract get rewritten into calls of their
64          by a separate, new phase.          core functions by a separate, new phase.
65    
66  interactive system:  interactive system:
67          - Control.Print.intinfDepth controls max length of intinf constants          - Control.Print.intinfDepth controls max length of intinf constants
# Line 82  Line 82 
82          FixedInt.          FixedInt.
83    
84  Throughout the code:  Throughout the code:
85          Started useng IntInf.int literals and built-in operations          Started using IntInf.int literals and built-in operations
86          (e.g., comparison with 0) where this seems appropriate.          (e.g., comparison with 0) where this seems appropriate.
87    
88    

Legend:
Removed from v.1347  
changed lines
  Added in v.1348

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0