/[svn]/cduce/trunk/typing/typed.ml
ViewVC logotype

Diff of /cduce/trunk/typing/typed.ml

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

revision 1239 by abate, Tue Jul 10 18:34:02 2007 UTC revision 1398 by abate, Tue Jul 10 18:45:54 2007 UTC
# Line 23  Line 23 
23      }      }
24  and  texpr' =  and  texpr' =
25    | Forget of texpr * ttyp    | Forget of texpr * ttyp
26      | Check of texpr * ttyp
27    (* CDuce is a Lambda-calculus ... *)    (* CDuce is a Lambda-calculus ... *)
28    | Var of id    | Var of id
29    | ExtVar of Types.CompUnit.t * id * Types.t    | ExtVar of Types.CompUnit.t * id * Types.t
# Line 46  Line 47 
47    | RemoveField of texpr * label    | RemoveField of texpr * label
48    | Dot of texpr * label    | Dot of texpr * label
49    
50    
51    (* Exception *)    (* Exception *)
52    | Try of texpr * branches    | Try of texpr * branches
53    
Legend:
Removed from v.1239  
changed lines
  Added in v.1398
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5