log src/urweb.lex

age author description
Sun, 19 Jul 2015 19:05:16 -0700 Ziv Scully Merge.
Fri, 27 Mar 2015 11:26:06 -0400 Ziv Scully Merge.
Sat, 29 Nov 2014 03:38:26 -0500 Ziv Scully Merge.
Sat, 29 Nov 2014 03:37:59 -0500 Ziv Scully Basic field-resolution invalidation.
Thu, 11 Jun 2015 19:06:32 -0400 Adam Chlipala Allow apostrophes in capitalized identifiers
Wed, 03 Jun 2015 08:34:23 +0200 Gabriel Riba Faura location literal _LOC_
Thu, 28 May 2015 10:28:15 -0400 Adam Chlipala Remove duplicate lexer line
Thu, 28 May 2015 10:23:43 -0400 Adam Chlipala Handling overflow in integer literals (contributed by Gabriel Riba)
Thu, 05 Mar 2015 15:03:04 -0500 Adam Chlipala Hexadecimal integer literals, contributed by Gabriel Riba
Thu, 05 Mar 2015 14:50:31 -0500 Adam Chlipala Some new infix operators, contributed by Gabriel Riba
Tue, 25 Nov 2014 08:21:09 -0500 Adam Chlipala Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
Sun, 16 Nov 2014 14:39:38 -0500 Adam Chlipala Some more HTML5 input types
Fri, 02 May 2014 19:19:09 -0400 Adam Chlipala New lessSafeFfi
Thu, 27 Dec 2012 15:34:11 -0500 Adam Chlipala Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes
Sun, 03 Jun 2012 11:29:31 -0400 Adam Chlipala Lighter-weight encoding of window function use
Sat, 02 Jun 2012 16:00:50 -0400 Adam Chlipala Compiled a window function use
Fri, 04 May 2012 10:07:27 -0400 Adam Chlipala Reinitialize lexer state properly
Sun, 29 Apr 2012 13:17:31 -0400 Adam Chlipala Initial support for reusing elaboration results
Thu, 02 Feb 2012 11:40:10 -0500 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Wed, 23 Nov 2011 13:17:40 -0430 Karn Kallio Add LIKE operator to SQL sublanguage.
Sat, 19 Nov 2011 10:43:57 -0500 Adam Chlipala COALESCE
Sat, 05 Nov 2011 15:05:13 -0400 Adam Chlipala Support the full set of XHTML character entities
Sat, 05 Nov 2011 12:32:20 -0400 Adam Chlipala Adjust for different ml-lex behavior between SML/NJ and MLton
Fri, 14 Oct 2011 02:33:03 -0430 Karn Kallio IF THEN ELSE conditional for SQL.
Thu, 10 Mar 2011 19:26:35 -0500 Adam Chlipala Cope with DOS-format line breaks in source code
Fri, 24 Dec 2010 18:55:13 -0500 Adam Chlipala JavaScript compilation of time comparison; fix lexing of XML that includes open parens
Sun, 10 Oct 2010 20:33:10 -0400 Adam Chlipala :::_ notation; switch to TooDeep error message
Sun, 10 Oct 2010 13:07:38 -0400 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
Thu, 16 Sep 2010 15:34:50 -0400 Adam Chlipala Fix typing of cut operators; fix lexing of XML comments
Tue, 10 Aug 2010 15:55:43 -0400 Adam Chlipala Better UTF-8 escaping for JavaScript and SQL literals
Tue, 10 Aug 2010 14:52:33 -0400 Adam Chlipala HTML comments
Tue, 10 Aug 2010 14:44:26 -0400 Adam Chlipala ML-style comments inside XML
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Tue, 12 Jan 2010 16:09:13 -0500 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
Tue, 29 Dec 2009 12:55:26 -0500 Adam Chlipala Octal and hexidecimal string escapes
Tue, 15 Dec 2009 10:19:05 -0500 Adam Chlipala Convert to task syntax
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
Sun, 13 Dec 2009 11:28:47 -0500 Adam Chlipala Better record summary error messages; more tweaking SQL usability
Sat, 12 Dec 2009 14:51:10 -0500 Adam Chlipala Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Tue, 06 Oct 2009 15:39:27 -0400 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
Sun, 07 Jun 2009 12:01:55 -0400 Adam Chlipala && and ||
Tue, 02 Jun 2009 19:28:25 -0400 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Thu, 30 Apr 2009 16:25:27 -0400 Adam Chlipala Lexing character entities
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 11:14:24 -0400 Adam Chlipala RIGHT and FULL JOIN
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Tue, 28 Apr 2009 10:11:56 -0400 Adam Chlipala INNER JOIN
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 15:30:15 -0400 Adam Chlipala CHECK constraints
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Thu, 26 Mar 2009 14:37:31 -0400 Adam Chlipala Type class reductions, but no inclusions yet
Tue, 24 Feb 2009 13:46:08 -0500 Adam Chlipala Top.Fold.concat elaborates
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value