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.sml
ViewVC logotype

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

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 30  Line 30 
30    | VECTORexp of exp list * ty    | VECTORexp of exp list * ty
31    | PACKexp of exp * ty * tycon list           (* abstraction packing *)    | PACKexp of exp * ty * tycon list           (* abstraction packing *)
32    | APPexp of exp * exp    | APPexp of exp * exp
33    | HANDLEexp of exp * handler    | HANDLEexp of exp * fnrules
34    | RAISEexp of exp * ty    | RAISEexp of exp * ty
35    | CASEexp of exp * rule list * bool     (* true: match; false: bind *)    | CASEexp of exp * rule list * bool     (* true: match; false: bind *)
36    | IFexp of { test: exp, thenCase: exp, elseCase: exp }    | IFexp of { test: exp, thenCase: exp, elseCase: exp }
37    | ANDALSOexp of exp * exp    | ANDALSOexp of exp * exp
38    | ORELSEexp of exp * exp    | ORELSEexp of exp * exp
39    | WHILEexp of { test: exp, expr: exp }    | WHILEexp of { test: exp, expr: exp }
40    | FNexp of rule list * ty    | FNexp of fnrules
41    | LETexp of dec * exp    | LETexp of dec * exp
42    | SEQexp of exp list    | SEQexp of exp list
43    | CONSTRAINTexp of exp * ty    | CONSTRAINTexp of exp * ty
# Line 45  Line 45 
45    
46  and rule = RULE of pat * exp  and rule = RULE of pat * exp
47    
 and handler = HANDLER of exp  
   
48  and pat  and pat
49    = WILDpat    = WILDpat
50    | VARpat of var    | VARpat of var
# Line 129  Line 127 
127  and strb = STRB of {name: S.symbol, str: Structure, def: strexp}  and strb = STRB of {name: S.symbol, str: Structure, def: strexp}
128  and fctb = FCTB of {name: S.symbol, fct: Functor, def: fctexp}  and fctb = FCTB of {name: S.symbol, fct: Functor, def: fctexp}
129    
130    withtype fnrules = rule list * Types.ty
131    
132  end (* local *)  end (* local *)
133  end  end

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