| Mon, 20 Jan 2014 19:47:31 +0100 |
wenzelm |
clarified scan_cartouche_depth, according to Scala version;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2012 14:37:43 +0200 |
wenzelm |
refined recovery of scan errors: longest prefix of delimited token after failure, otherwise just one symbol;
|
file |
diff |
annotate
|
| Sat, 23 Jul 2011 16:37:17 +0200 |
wenzelm |
defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||);
|
file |
diff |
annotate
|
| Sat, 20 Nov 2010 00:53:26 +0100 |
wenzelm |
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 15:19:39 +0200 |
wenzelm |
tuned messages: discontinued spurious full-stops (messages are occasionally composed unexpectedly);
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 22:20:58 +0200 |
wenzelm |
eliminated redundant bindings;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 21:13:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 21:07:55 +0200 |
wenzelm |
datatype lexicon: alternative representation using nested Symtab.table;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 13:44:47 +0200 |
wenzelm |
reorganized lexicon: allow scanning of annotated symbols, tuned representation and interfaces;
|
file |
diff |
annotate
|
| Mon, 04 Aug 2008 21:24:15 +0200 |
wenzelm |
abstract type stopper, may depend on final input;
|
file |
diff |
annotate
|
| Mon, 28 Jan 2008 22:27:19 +0100 |
wenzelm |
added ::: / @@@ scanner combinators;
|
file |
diff |
annotate
|
| Sun, 16 Sep 2007 14:52:29 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2007 20:40:31 +0200 |
wenzelm |
added :|-- (dependent projection);
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 16:45:01 +0200 |
wenzelm |
infixr || (more efficient);
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 00:43:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 10 Jul 2007 00:17:52 +0200 |
wenzelm |
nested source: explicit interactive flag for recover avoids duplicate errors;
|
file |
diff |
annotate
|
| Mon, 09 Jul 2007 23:12:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2007 22:08:21 +0100 |
wenzelm |
tuned signature of extend_lexicon;
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| Wed, 26 Apr 2006 22:38:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Mar 2006 12:18:17 +0100 |
wenzelm |
added ~$$ (negative literal);
|
file |
diff |
annotate
|
| Sat, 18 Mar 2006 20:10:50 +0100 |
wenzelm |
made $$ and "this" monomorphic (string);
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:16 +0100 |
wenzelm |
Output.error_msg;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2005 16:07:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2005 09:35:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 18 May 2005 11:30:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|