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/src/compiler/MiscUtil/profile/tprof.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/MiscUtil/profile/tprof.sml

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

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 772, Thu Jan 4 15:36:41 2001 UTC
# Line 37  Line 37 
37    let val t = poly1(tupleTy[CONty(arrayTycon,[IBOUND 0]),    let val t = poly1(tupleTy[CONty(arrayTycon,[IBOUND 0]),
38                                   intTy, IBOUND 0] --> unitTy)                                   intTy, IBOUND 0] --> unitTy)
39     in VALvar{path=SP.SPATH[S.varSymbol "unboxedupdate"], typ=ref t,     in VALvar{path=SP.SPATH[S.varSymbol "unboxedupdate"], typ=ref t,
40               access=A.nullAcc, info=II.mkPrimInfo(P.UNBOXEDUPDATE, SOME t)}               access=A.nullAcc, info=II.mkPrimInfo(P.UNBOXEDUPDATE, t)}
41    end    end
42    
43  val assignop =  val assignop =
# Line 45  Line 45 
45                              intTy, IBOUND 0] --> unitTy)                              intTy, IBOUND 0] --> unitTy)
46    
47     in VALvar{path=SP.SPATH[S.varSymbol ":="], typ=ref t,     in VALvar{path=SP.SPATH[S.varSymbol ":="], typ=ref t,
48               access=A.nullAcc, info=II.mkPrimInfo(P.ASSIGN, SOME t)}               access=A.nullAcc, info=II.mkPrimInfo(P.ASSIGN, t)}
49    end    end
50    
51  val subop =  val subop =
52    let val t = poly1(tupleTy[CONty(arrayTycon,[IBOUND 0]),    let val t = poly1(tupleTy[CONty(arrayTycon,[IBOUND 0]),
53                              intTy] --> IBOUND 0)                              intTy] --> IBOUND 0)
54     in VALvar{path=SP.SPATH[S.varSymbol "subscript"], typ=ref t,     in VALvar{path=SP.SPATH[S.varSymbol "subscript"], typ=ref t,
55               access=A.nullAcc, info=II.mkPrimInfo(P.SUBSCRIPT, SOME t)}               access=A.nullAcc, info=II.mkPrimInfo(P.SUBSCRIPT, t)}
56    end    end
57    
58  val derefop =  val derefop =
59    let val t = poly1(CONty(refTycon,[IBOUND 0]) --> IBOUND 0)    let val t = poly1(CONty(refTycon,[IBOUND 0]) --> IBOUND 0)
60     in VALvar{path=SP.SPATH [S.varSymbol "!"], typ=ref t,     in VALvar{path=SP.SPATH [S.varSymbol "!"], typ=ref t,
61               access=A.nullAcc, info=II.mkPrimInfo(P.DEREF, SOME t)}               access=A.nullAcc, info=II.mkPrimInfo(P.DEREF, t)}
62    end    end
63    
64  val addop =  val addop =
65    let val t = (tupleTy[intTy,intTy] --> intTy)    let val t = (tupleTy[intTy,intTy] --> intTy)
66     in VALvar{path=SP.SPATH[S.varSymbol "iadd"], typ=ref t,     in VALvar{path=SP.SPATH[S.varSymbol "iadd"], typ=ref t,
67               access=A.nullAcc, info=II.mkPrimInfo(P.IADD, NONE)}               access=A.nullAcc, info=II.mkPrimInfo(P.IADD, t)}
68    end    end
69    
70  fun tmpvar(str,ty,mkv) =  fun tmpvar(str,ty,mkv) =

Legend:
Removed from v.651  
changed lines
  Added in v.772

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