Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-08-08 16:02:01 -0700 (Wed, 08 Aug 2007)
Revision: 11932
Log message:

      This adds just the main evaluation of curried functions, where
     application must be total.
     
     Note, the way it is implemented now, the application must be
     total for all nested curried functions.  For example, suppose
     you write,
     
        curry.f(x) =
           curry.g(y) =
              add($x, $y)
        # The following is a partial application, illegal
        f(0)
     
     We may wish to make this legal (pretty easy to do).
     
     TODO: make it possible to _define_ curried functions.
     TODO: augment "apply" to allow partial applications.
     TODO: check that path exports in eval_apply_method_export_exp are working correctly.

Changes  Path(relative to omake-branches/jumbo/curry/src)
+4 -0 builtin/omake_builtin_object.ml
+11 -0 env/omake_command_digest.ml
+36 -0 env/omake_env.ml
+4 -0 env/omake_env.mli
+66 -2 eval/omake_eval.ml
+8 -0 eval/omake_value.ml
+4 -0 ir/omake_value_print.ml
+1 -0 ir/omake_value_type.ml
+1 -0 main/omake_shell.ml