Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-11-03 11:06:12 -0700 (Sat, 03 Nov 2007)
Revision: 12514
Log message:
Generalize the parameters a bit, so that a parameter is an arbitrary variable.
Need this because params alpha-vary in var3, so for example,
# This is _not_ build/C::CFLAGS
f(CFLAGS) =
...
The kind of variable is chosen in Omake_ir_ast.senv_add_params. It would be
possible to have it so that the kind could be specified by the programmer.
f(private.X) = ...
For orthogonality, it might be good, but it isn't implemented for now.
| Changes | Path(relative to omake-branches/0.9.8.x/src) |
| +28 -4 | env/omake_command_digest.ml |
| +43 -57 | env/omake_env.ml |
| +4 -4 | env/omake_env.mli |
| +5 -5 | env/omake_ir_ast.ml |
| +3 -3 | env/omake_ir_semant.ml |
| +10 -10 | eval/omake_eval.ml |
| +3 -16 | ir/omake_ir.ml |
| +4 -6 | ir/omake_ir_free_vars.ml |
| +14 -13 | ir/omake_ir_print.ml |
| +4 -3 | ir/omake_value_type.ml |