/[svn]/compile/operators.ml
ViewVC logotype

Diff of /compile/operators.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 1497 by abate, Tue Jul 10 18:56:42 2007 UTC
# Line 46  Line 46 
46  let register_fun op dom codom eval =  let register_fun op dom codom eval =
47    register_cst op    register_cst op
48      (Types.arrow (Types.cons dom) (Types.cons codom))      (Types.arrow (Types.cons dom) (Types.cons codom))
49      (Value.Abstraction ([(dom,codom)],eval))      (Value.Abstraction (Some [(dom,codom)],eval))
50    
51  let register_op op ?(expect=Types.any) typ eval =  let register_op op ?(expect=Types.any) typ eval =
52    register_unary op    register_unary op
Legend:
Removed from v.1239  
changed lines
  Added in v.1497
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5