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

Diff of /typing/typed.ml

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

revision 17 by abate, Tue Jul 10 16:58:05 2007 UTC revision 18 by abate, Tue Jul 10 16:58:28 2007 UTC
# Line 19  Line 19 
19                  exp_descr : texpr';                  exp_descr : texpr';
20                }                }
21  and  texpr' =  and  texpr' =
22      | DebugTyper of ttyp
23    
24    (* CDuce is a Lambda-calculus ... *)    (* CDuce is a Lambda-calculus ... *)
25    | Var of string    | Var of string
26    | Apply of texpr * texpr    | Apply of texpr * texpr

Legend:
Removed from v.17  
changed lines
  Added in v.18

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