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 4841, Sun Sep 23 15:33:36 2018 UTC revision 4842, Sun Sep 23 23:37:18 2018 UTC
# Line 139  Line 139 
139    | pureName (P.extend_inf i) =  concat ["extend_", cvtParam i, "_inf"]    | pureName (P.extend_inf i) =  concat ["extend_", cvtParam i, "_inf"]
140    | pureName (P.real{fromkind=P.FLOAT 64,tokind=P.INT 31}) = "real"    | pureName (P.real{fromkind=P.FLOAT 64,tokind=P.INT 31}) = "real"
141    | pureName (P.real{fromkind,tokind}) =    | pureName (P.real{fromkind,tokind}) =
142      ("real" ^ numkindName fromkind ^ "_" ^ numkindName tokind)        concat ["real", numkindName fromkind, "_", numkindName tokind]
143    | pureName P.subscriptv = "subscriptv"    | pureName P.subscriptv = "subscriptv"
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"
   | pureName P.box = "box"  
   | pureName P.unbox = "unbox"  
147    | pureName P.cast = "cast"    | pureName P.cast = "cast"
148    | pureName P.getcon = "getcon"    | pureName P.getcon = "getcon"
149    | pureName P.getexn = "getexn"    | pureName P.getexn = "getexn"
150    | pureName P.fwrap = "fwrap"    | pureName P.box = "box"
151    | pureName P.funwrap = "funwrap"    | pureName P.unbox = "unbox"
152    | pureName P.iwrap = "iwrap"    | pureName (P.wrap kind) = "wrap_" ^ numkindName kind
153    | pureName P.iunwrap = "iunwrap"    | pureName (P.unwrap kind) = "unwrap_" ^ numkindName kind
   | pureName P.i32wrap = "i32wrap"              (* 64BIT: FIXME *)  
   | pureName P.i32unwrap = "i32unwrap"          (* 64BIT: FIXME *)  
154    | pureName P.getseqdata = "getseqdata"    | pureName P.getseqdata = "getseqdata"
155    | pureName P.recsubscript = "recsubscript"    | pureName P.recsubscript = "recsubscript"
156    | pureName P.raw64subscript = "raw64subscript"    | pureName P.raw64subscript = "raw64subscript"

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

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