| 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
|