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/trunk/compiler/DEVNOTES/Primops/intinf-conversion-primops
ViewVC logotype

Diff of /sml/trunk/compiler/DEVNOTES/Primops/intinf-conversion-primops

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

revision 5025, Thu May 2 11:41:02 2019 UTC revision 5026, Thu May 2 11:44:23 2019 UTC
# Line 125  Line 125 
125  primop in Inline.  The next item is the primop value (using  primop in Inline.  The next item is the primop value (using
126  constructors from FLINT/kernel/primop.sml), and the final item is the  constructors from FLINT/kernel/primop.sml), and the final item is the
127  "intrinsic type" of the primop, i.e. the type it is assigned in the  "intrinsic type" of the primop, i.e. the type it is assigned in the
128  InLine structure (Semant/statenv/prim.sml). The following indented  Inline structure (Semant/statenv/prim.sml). The following indented
129  lines, if present, give secondary bindings of the primop in  lines, if present, give secondary bindings of the primop in
130  intermediate structures like InlineT.IntInf, with their types, which  intermediate structures like InlineT.IntInf, with their types, which
131  may be specializations of the intrinsic type if the intrinsic type is  may be specializations of the intrinsic type if the intrinsic type is

Legend:
Removed from v.5025  
changed lines
  Added in v.5026

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