Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-12-04 10:51:03 -0800 (Thu, 04 Dec 2003)
Revision: 301
Log message:

      | Added more expressive arity checking, addressing bug #124.
      |
      | Note, arity checking uses static scope.  So, for example, this
      | code will not raise an arity exception at parse time (but it will
      | at run time).
      |
      | F(a) =
      |    eprintln($(a))
      |
      | G(b) =
      |    F($(b))
      |
      | F(a, b) =
      |    eprintln($(a): $(b))
      |
      | G(fail)
      

Changes  Path
+2 -1 omake/omake_exn.ml
+2 -1 omake/omake_pos.ml
+61 -61 omake/src/build/omake_builtin_base.ml
+3 -2 omake/src/build/omake_builtin_base.mli
+17 -16 omake/src/build/omake_builtin_file.ml
+3 -2 omake/src/build/omake_builtin_file.mli
+20 -19 omake/src/build/omake_builtin_io.ml
+3 -2 omake/src/build/omake_builtin_io.mli
+7 -7 omake/src/env/omake_env.ml
+4 -4 omake/src/env/omake_env.mli
+25 -13 omake/src/env/omake_ir_ast.ml
+1 -1 omake/src/env/omake_ir_ast.mli
+1 -1 omake/src/eval/omake_eval.ml
+14 -0 omake/src/ir/omake_ir.ml
+13 -0 omake/src/ir/omake_ir_print.ml
+3 -2 omake/src/ir/omake_ir_print.mli