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/ElabData/prim/primop.sml
ViewVC logotype

Diff of /sml/trunk/compiler/ElabData/prim/primop.sml

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 31  Line 31 
31     * Various primitive operations. Those that are designated "inline" (L:) in     * Various primitive operations. Those that are designated "inline" (L:) in
32     * the comments are expanded into lambda code in terms of other operators,     * the comments are expanded into lambda code in terms of other operators,
33     * as are the "checked=true" versions of NUMSUBSCRIPT and NUMUPDATE (L?:).     * as are the "checked=true" versions of NUMSUBSCRIPT and NUMUPDATE (L?:).
34     * "Environmental" primops (occurring in the InLine structure) are indicated     * "Environmental" primops (occurring in the Inline structure) are indicated
35     * by "E:" in the comment.     * by "E:" in the comment.
36     *     *
37     * See dev-notes/conversions.md for an explanation of the conversion operators.     * See dev-notes/conversions.md for an explanation of the conversion operators.
# Line 139  Line 139 
139      *)      *)
140        | RAW_RECORD of { align64 : bool }  (* E: *)        | RAW_RECORD of { align64 : bool }  (* E: *)
141    
142      (* non-environmental primops (not found in InLine) *)      (* non-environmental primops (not found in Inline) *)
143        | UNBOXEDASSIGN                   (* assignment to integer reference *)        | UNBOXEDASSIGN                   (* assignment to integer reference *)
144    
145        | WCAST                           (* ? *)        | WCAST                           (* ? *)

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