log src/urweb.lex

age author description
2011-11-23 Karn Kallio Add LIKE operator to SQL sublanguage.
2011-11-19 Adam Chlipala COALESCE
2011-11-05 Adam Chlipala Support the full set of XHTML character entities
2011-11-05 Adam Chlipala Adjust for different ml-lex behavior between SML/NJ and MLton
2011-10-14 Karn Kallio IF THEN ELSE conditional for SQL.
2011-03-11 Adam Chlipala Cope with DOS-format line breaks in source code
2010-12-24 Adam Chlipala JavaScript compilation of time comparison; fix lexing of XML that includes open parens
2010-10-11 Adam Chlipala :::_ notation; switch to TooDeep error message
2010-10-10 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
2010-09-16 Adam Chlipala Fix typing of cut operators; fix lexing of XML comments
2010-08-10 Adam Chlipala Better UTF-8 escaping for JavaScript and SQL literals
2010-08-10 Adam Chlipala HTML comments
2010-08-10 Adam Chlipala ML-style comments inside XML
2010-04-04 Adam Chlipala Pushing policies through
2010-01-12 Adam Chlipala Allow escaped backslashes in literals; conversion betwixt int and char
2009-12-29 Adam Chlipala Octal and hexidecimal string escapes
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-13 Adam Chlipala Better record summary error messages; more tweaking SQL usability
2009-12-12 Adam Chlipala Fix lexing of string literals in XML; treat EError as impure in MonoReduce
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
2009-06-07 Adam Chlipala && and ||
2009-06-02 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
2009-05-26 Adam Chlipala Chars and more string operations
2009-04-30 Adam Chlipala Lexing character entities
2009-04-28 Adam Chlipala A view query works
2009-04-28 Adam Chlipala RIGHT and FULL JOIN
2009-04-28 Adam Chlipala LEFT JOIN
2009-04-28 Adam Chlipala INNER JOIN
2009-04-12 Adam Chlipala style declarations
2009-04-09 Adam Chlipala CHECK constraints
2009-04-07 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala UNIQUE constraints
2009-03-26 Adam Chlipala Type class reductions, but no inclusions yet
2009-02-24 Adam Chlipala Top.Fold.concat elaborates
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2008-11-12 Adam Chlipala Add CutMulti
2008-11-06 Adam Chlipala Tree demo works
2008-11-06 Adam Chlipala Inserted a NULL value
2008-11-06 Adam Chlipala Cookies through elaborate
2008-11-01 Adam Chlipala Parsing 'let'
2008-10-31 Adam Chlipala Replace 'with' with '++'
2008-10-30 Adam Chlipala CURRENT_TIMESTAMP
2008-10-21 Adam Chlipala New implicit argument handling
2008-10-21 Adam Chlipala num working for int
2008-10-14 Adam Chlipala Syntax highlighting for embedded XML
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-14 Adam Chlipala SQL sequences
2008-09-11 Adam Chlipala Unpolyed a polymorphic function of two arguments
2008-09-07 Adam Chlipala Parsing INSERT
2008-08-31 Adam Chlipala Monoize ASC/DESC
2008-08-31 Adam Chlipala Laconic -> Ur base src/lacweb.lex@44c3d5dbe034