| Tue, 10 Nov 2009 23:15:20 +0100 |
wenzelm |
generalized Runtime.toplevel_error wrt. output function;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 21:30:54 +0100 |
wenzelm |
setup for official Poly/ML 5.3.0, which is now the default;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Wed, 02 Sep 2009 17:33:25 +0200 |
wenzelm |
updated Poly/ML SVN version;
|
file |
diff |
annotate
|
| Wed, 02 Sep 2009 16:51:19 +0200 |
wenzelm |
eval/location_props: always produce YXML markup, independent of print_mode;
|
file |
diff |
annotate
|
| Wed, 02 Sep 2009 14:11:45 +0200 |
wenzelm |
tuned ML message;
|
file |
diff |
annotate
|
| Mon, 22 Jun 2009 22:49:44 +0200 |
wenzelm |
eval: tuned input buffer and get_offset (which ran very hot, up to the point where AFP/FlyspeckTame would seemingly take forever);
|
file |
diff |
annotate
|
| Sat, 06 Jun 2009 21:57:50 +0200 |
wenzelm |
updated version;
|
file |
diff |
annotate
|
| Sat, 06 Jun 2009 21:47:02 +0200 |
wenzelm |
reraise exceptions to preserve position information;
|
file |
diff |
annotate
|
| Sat, 06 Jun 2009 21:11:23 +0200 |
wenzelm |
added exn_message (formerly in toplevel.ML);
|
file |
diff |
annotate
|
| Sat, 06 Jun 2009 19:58:11 +0200 |
wenzelm |
report_parse_tree: ML_open, ML_struct;
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 22:02:33 +0200 |
wenzelm |
removed unused location_of;
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 19:15:55 +0200 |
wenzelm |
more robust treatment of bootstrap source positions;
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 17:31:38 +0200 |
wenzelm |
convert explicitly between Position.T/PolyML.location, without costly registration of tokens;
|
file |
diff |
annotate
|
| Mon, 01 Jun 2009 23:28:06 +0200 |
wenzelm |
added structure ML_Compiler: runtime compilation, with advanced version for Poly/ML 5.3 (formerly ML_Test);
|
file |
diff |
annotate
|