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

Diff of /typing/typed.ml

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

revision 47 by abate, Tue Jul 10 17:00:52 2007 UTC revision 54 by abate, Tue Jul 10 17:01:32 2007 UTC
# Line 21  Line 21 
21  and  texpr' =  and  texpr' =
22    | DebugTyper of ttyp    | DebugTyper of ttyp
23    
24      | Forget of texpr * ttyp
25    (* CDuce is a Lambda-calculus ... *)    (* CDuce is a Lambda-calculus ... *)
26    | Var of string    | Var of string
27    | Apply of texpr * texpr    | Apply of texpr * texpr

Legend:
Removed from v.47  
changed lines
  Added in v.54

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5