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/ElabData/syntax/absyn.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/ElabData/syntax/absyn.sig

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

revision 1640, Fri Oct 1 15:20:40 2004 UTC revision 1641, Wed Oct 6 20:18:55 2004 UTC
# Line 22  Line 22 
22    | VECTORexp of exp list * Types.ty    | VECTORexp of exp list * Types.ty
23    | PACKexp of exp * Types.ty * Types.tycon list    | PACKexp of exp * Types.ty * Types.tycon list
24    | APPexp of exp * exp    | APPexp of exp * exp
25    | HANDLEexp of exp * handler    | HANDLEexp of exp * fnrules
26    | RAISEexp of exp * Types.ty    | RAISEexp of exp * Types.ty
27    | CASEexp of exp * rule list * bool    | CASEexp of exp * rule list * bool
28    | IFexp of { test: exp, thenCase: exp, elseCase: exp }    | IFexp of { test: exp, thenCase: exp, elseCase: exp }
29    | ANDALSOexp of exp * exp    | ANDALSOexp of exp * exp
30    | ORELSEexp of exp * exp    | ORELSEexp of exp * exp
31    | WHILEexp of { test: exp, expr: exp }    | WHILEexp of { test: exp, expr: exp }
32    | FNexp of rule list * Types.ty    | FNexp of fnrules
33    | LETexp of dec * exp    | LETexp of dec * exp
34    | SEQexp of exp list    | SEQexp of exp list
35    | CONSTRAINTexp of exp * Types.ty    | CONSTRAINTexp of exp * Types.ty
# Line 37  Line 37 
37    
38  and rule = RULE of pat * exp  and rule = RULE of pat * exp
39    
 and handler = HANDLER of exp  
   
40  and pat  and pat
41    = WILDpat    = WILDpat
42    | VARpat of VarCon.var    | VARpat of VarCon.var
# Line 104  Line 102 
102  and strb = STRB of {name: Symbol.symbol, str: Modules.Structure, def: strexp}  and strb = STRB of {name: Symbol.symbol, str: Modules.Structure, def: strexp}
103  and fctb = FCTB of {name: Symbol.symbol, fct: Modules.Functor, def: fctexp}  and fctb = FCTB of {name: Symbol.symbol, fct: Modules.Functor, def: fctexp}
104    
105    withtype fnrules = rule list * Types.ty
106    
107  end (* signature ABSYN *)  end (* signature ABSYN *)

Legend:
Removed from v.1640  
changed lines
  Added in v.1641

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