src/Tools/Code/code_runtime.ML
Thu, 09 Dec 2010 09:58:33 +0100 haftmann tracing of term to be evaluated
Fri, 26 Nov 2010 22:33:21 +0100 haftmann keep type variable arguments of datatype constructors in bookkeeping
Fri, 26 Nov 2010 12:03:18 +0100 haftmann globbing constant expressions use more idiomatic underscore rather than star
Mon, 08 Nov 2010 10:56:48 +0100 haftmann corrected slip: must keep constant map, not type map; tuned code
Mon, 08 Nov 2010 10:43:24 +0100 haftmann constructors to datatypes in code_reflect can be globbed; dropped unused code
Wed, 03 Nov 2010 10:44:53 +0100 haftmann polyml_as_definition does not require explicit dependencies on external ML files
Fri, 29 Oct 2010 11:35:28 +0200 haftmann actually pass "verbose" argument
Thu, 28 Oct 2010 22:04:00 +0200 wenzelm use Exn.interruptible_capture to keep user-code interruptible (Exn.capture not immediately followed by Exn.release here);
Tue, 26 Oct 2010 11:20:14 +0200 haftmann Code_Runtime.trace
Fri, 01 Oct 2010 22:44:36 +0200 haftmann merged
Fri, 01 Oct 2010 17:06:49 +0200 haftmann avoid antiquotation processing for code_reflect; moved ML_Context.value to Code_Runtime
Fri, 01 Oct 2010 17:23:26 +0200 wenzelm made SML/NJ happy;
Fri, 01 Oct 2010 11:46:09 +0200 haftmann added polyml_as_definition -- using external SML files as substitute for proper definitions -- only for polyml!
Tue, 21 Sep 2010 15:46:06 +0200 haftmann reject term variables explicitly
Mon, 20 Sep 2010 08:53:37 +0200 haftmann made smlnj happy
Fri, 17 Sep 2010 10:00:01 +0200 haftmann closures preserve static serializer context for static evaluation; tuned
Fri, 17 Sep 2010 08:41:07 +0200 haftmann made sml/nj happy
Thu, 16 Sep 2010 16:51:34 +0200 haftmann dynamic and static value computation; built-in evaluation of propositions
Wed, 15 Sep 2010 16:56:31 +0200 haftmann proper interface for code_reflect
Wed, 15 Sep 2010 15:40:36 +0200 haftmann Code_Runtime.value, corresponding to ML_Context.value; tuned
Wed, 15 Sep 2010 15:31:32 +0200 haftmann code_eval renamed to code_runtime
less more (0) tip