src/Pure/General/scan.scala
Wed, 18 Jul 2012 20:55:19 +0200 wenzelm tuned import;
Mon, 27 Feb 2012 17:13:25 +0100 wenzelm prefer final ADTs -- prevent ooddities;
Thu, 23 Feb 2012 20:40:20 +0100 wenzelm avoid trait Addable, which is deprecated in scala-2.9.x;
Fri, 16 Dec 2011 13:37:08 +0100 wenzelm prefer sorting from Scala library;
Sat, 22 Oct 2011 23:43:01 +0200 wenzelm class Lexicon as abstract datatype;
Thu, 07 Jul 2011 14:10:50 +0200 wenzelm explicit indication of type Symbol.Symbol;
Thu, 07 Jul 2011 13:48:30 +0200 wenzelm simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
Fri, 17 Jun 2011 14:31:13 +0200 wenzelm unconditional recovery from bad context (e.g. Quoted with malformed quoted_body);
Thu, 16 Jun 2011 18:00:56 +0200 wenzelm partial scans of nested comments;
Thu, 16 Jun 2011 17:25:16 +0200 wenzelm some support for partial scans with explicit context;
Thu, 12 May 2011 16:28:46 +0200 wenzelm minor adaption for scala-2.9.0.final;
Thu, 21 Apr 2011 16:03:13 +0200 wenzelm more robust scanning of iterated comments, such as "(* (**) (**) *)";
Sat, 13 Nov 2010 19:21:53 +0100 wenzelm simplified/robustified treatment of malformed symbols, which are now fully internalized (total Symbol.explode etc.);
Sat, 30 Oct 2010 15:26:40 +0200 wenzelm support for floating-point tokens in outer syntax (coinciding with inner syntax version);
Thu, 12 Aug 2010 17:55:23 +0200 wenzelm more basic notion of unparsed input;
Mon, 17 May 2010 14:23:54 +0200 wenzelm renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
Wed, 05 May 2010 23:41:59 +0200 wenzelm use IndexedSeq instead of deprecated RandomAccessSeq, which is merely an alias;
Mon, 29 Mar 2010 22:55:57 +0200 wenzelm replaced some deprecated methods;
Mon, 29 Mar 2010 22:43:56 +0200 wenzelm adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
Mon, 11 Jan 2010 21:37:48 +0100 wenzelm clarified Symbol.is_plain/is_wellformed -- is_closed was rejecting plain backslashes;
Sun, 10 Jan 2010 17:29:09 +0100 wenzelm tuned;
Tue, 05 Jan 2010 16:29:03 +0100 wenzelm more accurate scanning of bad input;
Tue, 05 Jan 2010 15:43:44 +0100 wenzelm tuned;
Sun, 27 Dec 2009 22:16:41 +0100 wenzelm quoted_content: handle escapes;
Sun, 27 Dec 2009 21:33:35 +0100 wenzelm added byte_reader, which works without decoding and enables efficient length operation (for scala.util.parsing.input.Reader);
Tue, 22 Dec 2009 14:58:13 +0100 wenzelm explicit representation of Token_Kind -- cannot really depend on runtime types due to erasure;
Sun, 20 Dec 2009 18:02:13 +0100 wenzelm improve performance by reordering of parser combinators;
Sun, 20 Dec 2009 17:47:59 +0100 wenzelm added nested comments;
Sun, 20 Dec 2009 15:42:40 +0100 wenzelm simplified result of keyword and symbols parser;
Sat, 19 Dec 2009 16:51:32 +0100 wenzelm refined some Symbol operations/signatures;
Sat, 19 Dec 2009 11:48:11 +0100 wenzelm indicate final state of keywords;
Sat, 29 Aug 2009 14:31:39 +0200 wenzelm misc tuning;
Tue, 23 Jun 2009 17:43:51 +0200 wenzelm moved string utilities to completion.scala;
Tue, 23 Jun 2009 12:42:45 +0200 wenzelm more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++;
Mon, 22 Jun 2009 20:31:08 +0200 wenzelm Lexicon: removed unused max_entry;
Thu, 18 Jun 2009 15:02:18 +0200 wenzelm subSequence: bounds checking;
Thu, 18 Jun 2009 14:02:47 +0200 wenzelm added reverse CharSequence;
Tue, 16 Jun 2009 21:45:35 +0200 wenzelm added completions;
Tue, 16 Jun 2009 18:47:45 +0200 wenzelm reorganized and abstracted version, via Set trait;
Tue, 16 Jun 2009 15:25:32 +0200 wenzelm Efficient scanning of literals.
less more (0) tip