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-gkuan/compiler/FLINT/trans/absyntp.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-gkuan/compiler/FLINT/trans/absyntp.sig

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

revision 2947, Sat Feb 16 00:17:56 2008 UTC revision 2948, Sat Feb 16 18:11:07 2008 UTC
# Line 7  Line 7 
7    
8  type region  type region
9    
 datatype tycpath  
   = TP_VAR of { tdepth: DebIndex.depth, num: int, kind: LtyExtern.tkind }  
   | TP_TYC of Types.tycon  
   | TP_FCT of tycpath list * tycpath list  
   | TP_APP of tycpath * tycpath list  
   | TP_SEL of tycpath * int  
   
10  datatype exp  datatype exp
11    = VARexp of VarCon.var ref * Types.tyvar list (* instance type *)    = VARexp of VarCon.var ref * Types.tyvar list (* instance type *)
12    | CONexp of VarCon.datacon * Types.tyvar list (* instance type *)    | CONexp of VarCon.datacon * Types.tyvar list (* instance type *)
# Line 65  Line 58 
58    = VARstr of Modules.Structure    = VARstr of Modules.Structure
59    | STRstr of Bindings.binding list    | STRstr of Bindings.binding list
60    | APPstr of {oper: Modules.Functor, arg: Modules.Structure,    | APPstr of {oper: Modules.Functor, arg: Modules.Structure,
61                 argtycs: tycpath list}                 argtycs: TypesTP.tycpath list}
62    | LETstr of dec * strexp    | LETstr of dec * strexp
63    | MARKstr of strexp * region    | MARKstr of strexp * region
64    
65  and fctexp  and fctexp
66    = VARfct of Modules.Functor    = VARfct of Modules.Functor
67    | FCTfct of {param: Modules.Structure, argtycs: tycpath list,    | FCTfct of {param: Modules.Structure, argtycs: TypesTP.tycpath list,
68                 def: strexp}                 def: strexp}
69    | LETfct of dec * fctexp    | LETfct of dec * fctexp
70    | MARKfct of fctexp * region    | MARKfct of fctexp * region

Legend:
Removed from v.2947  
changed lines
  Added in v.2948

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