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/CPS/cps/ppcps.sml
ViewVC logotype

Diff of /sml/trunk/compiler/CPS/cps/ppcps.sml

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

revision 4668, Tue Jun 12 21:57:04 2018 UTC revision 4841, Sun Sep 23 15:33:36 2018 UTC
# Line 144  Line 144 
144    | pureName (P.pure_numsubscript{kind}) = ("numsubscriptv" ^ numkindName kind)    | pureName (P.pure_numsubscript{kind}) = ("numsubscriptv" ^ numkindName kind)
145    | pureName P.gettag = "gettag"    | pureName P.gettag = "gettag"
146    | pureName P.mkspecial = "mkspecial"    | pureName P.mkspecial = "mkspecial"
147    | pureName P.wrap = "wrap"    | pureName P.box = "box"
148    | pureName P.unwrap = "unwrap"    | pureName P.unbox = "unbox"
149    | pureName P.cast = "cast"    | pureName P.cast = "cast"
150    | pureName P.getcon = "getcon"    | pureName P.getcon = "getcon"
151    | pureName P.getexn = "getexn"    | pureName P.getexn = "getexn"
# Line 153  Line 153 
153    | pureName P.funwrap = "funwrap"    | pureName P.funwrap = "funwrap"
154    | pureName P.iwrap = "iwrap"    | pureName P.iwrap = "iwrap"
155    | pureName P.iunwrap = "iunwrap"    | pureName P.iunwrap = "iunwrap"
156    | pureName P.i32wrap = "i32wrap"    | pureName P.i32wrap = "i32wrap"              (* 64BIT: FIXME *)
157    | pureName P.i32unwrap = "i32unwrap"    | pureName P.i32unwrap = "i32unwrap"          (* 64BIT: FIXME *)
158    | pureName P.getseqdata = "getseqdata"    | pureName P.getseqdata = "getseqdata"
159    | pureName P.recsubscript = "recsubscript"    | pureName P.recsubscript = "recsubscript"
160    | pureName P.raw64subscript = "raw64subscript"    | pureName P.raw64subscript = "raw64subscript"

Legend:
Removed from v.4668  
changed lines
  Added in v.4841

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