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
|