/[svn]/parser/ast.ml
ViewVC logotype

Diff of /parser/ast.ml

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

revision 702 by abate, Tue Jul 10 17:56:56 2007 UTC revision 713 by abate, Tue Jul 10 17:58:04 2007 UTC
# Line 14  Line 14 
14    | LetDecl of ppat * pexpr    | LetDecl of ppat * pexpr
15    | FunDecl of pexpr    | FunDecl of pexpr
16    | Namespace of U.t * Ns.t    | Namespace of U.t * Ns.t
17      | Using of U.t * Types.CompUnit.t
18    | EvalStatement of pexpr    | EvalStatement of pexpr
19    | Debug of debug_directive    | Debug of debug_directive
20    | Directive of toplevel_directive    | Directive of toplevel_directive
# Line 37  Line 38 
38    | LocatedExpr of loc * pexpr    | LocatedExpr of loc * pexpr
39    
40    (* CDuce is a Lambda-calculus ... *)    (* CDuce is a Lambda-calculus ... *)
41    | Var of id    | Var of U.t
42    | Apply of pexpr * pexpr    | Apply of pexpr * pexpr
43    | Abstraction of abstr    | Abstraction of abstr
44    
# Line 84  Line 85 
85    
86  and ppat = ppat' located  and ppat = ppat' located
87  and ppat' =  and ppat' =
88    | PatVar of id    | PatVar of U.t
89    | SchemaVar of  (* type/pattern schema variable *)    | SchemaVar of  (* type/pattern schema variable *)
90        schema_item_kind * string * string        schema_item_kind * string * string
91    | Cst of pexpr    | Cst of pexpr
Legend:
Removed from v.702  
changed lines
  Added in v.713
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5