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/branches/primop-branch-2/src/compiler/ElabData/syntax/absyn.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/ElabData/syntax/absyn.sml

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

revision 1954, Thu Jul 6 16:35:38 2006 UTC revision 1955, Thu Jul 6 20:10:33 2006 UTC
# Line 18  Line 18 
18  datatype numberedLabel = LABEL of {name: S.symbol, number: int}  datatype numberedLabel = LABEL of {name: S.symbol, number: int}
19    
20  datatype exp  datatype exp
21    = VARexp of var ref * ty list (* a mv list for FLINT type app parameters *)    = VARexp of var ref * ty list
22        (* the 2nd arg is a type mv list used to capture the instantiation
23           parameters for this occurence of var when its type is polymorphic.
24           FLINT will use these to provide explicit type parameters for
25           var if var is bound to a primop. *)
26    | CONexp of datacon * ty list (* ditto *)    | CONexp of datacon * ty list (* ditto *)
27    | INTexp of IntInf.int * ty    | INTexp of IntInf.int * ty
28    | WORDexp of IntInf.int * ty    | WORDexp of IntInf.int * ty

Legend:
Removed from v.1954  
changed lines
  Added in v.1955

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