index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
urweb.lex
Commit message (
Collapse
)
Author
Age
*
Basic field-resolution invalidation.
Ziv Scully
2014-11-29
|
*
Some more HTML5 input types
Adam Chlipala
2014-11-16
|
*
New lessSafeFfi
Adam Chlipala
2014-05-02
|
*
Add some name-mangling rules to allow XML attribute 'name' and attributes ↵
Adam Chlipala
2012-12-27
|
|
|
|
with dashes
*
Lighter-weight encoding of window function use
Adam Chlipala
2012-06-03
|
*
Compiled a window function use
Adam Chlipala
2012-06-02
|
*
Reinitialize lexer state properly
Adam Chlipala
2012-05-04
|
*
Initial support for reusing elaboration results
Adam Chlipala
2012-04-29
|
*
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Adam Chlipala
2012-02-02
|
*
Add LIKE operator to SQL sublanguage.
Karn Kallio
2011-11-23
|
*
COALESCE
Adam Chlipala
2011-11-19
|
*
Support the full set of XHTML character entities
Adam Chlipala
2011-11-05
|
*
Adjust for different ml-lex behavior between SML/NJ and MLton
Adam Chlipala
2011-11-05
|
*
IF THEN ELSE conditional for SQL.
Karn Kallio
2011-10-14
|
*
Cope with DOS-format line breaks in source code
Adam Chlipala
2011-03-10
|
*
JavaScript compilation of time comparison; fix lexing of XML that includes ↵
Adam Chlipala
2010-12-24
|
|
|
|
open parens
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
|
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
|
*
Fix typing of cut operators; fix lexing of XML comments
Adam Chlipala
2010-09-16
|
*
Better UTF-8 escaping for JavaScript and SQL literals
Adam Chlipala
2010-08-10
|
*
HTML comments
Adam Chlipala
2010-08-10
|
*
ML-style comments inside XML
Adam Chlipala
2010-08-10
|
*
Pushing policies through
Adam Chlipala
2010-04-04
|
*
Allow escaped backslashes in literals; conversion betwixt int and char
Adam Chlipala
2010-01-12
|
*
Octal and hexidecimal string escapes
Adam Chlipala
2009-12-29
|
*
Convert to task syntax
Adam Chlipala
2009-12-15
|
*
Initializers and setval
Adam Chlipala
2009-12-13
|
*
Better record summary error messages; more tweaking SQL usability
Adam Chlipala
2009-12-13
|
*
Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Adam Chlipala
2009-12-12
|
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
|
*
&& and ||
Adam Chlipala
2009-06-07
|
*
Lexing some more string escape sequences; JS versions of number read; fix ↵
Adam Chlipala
2009-06-02
|
|
|
|
problem with signature unification; escape < more often in Jscomp
*
Chars and more string operations
Adam Chlipala
2009-05-26
|
*
Lexing character entities
Adam Chlipala
2009-04-30
|
*
A view query works
Adam Chlipala
2009-04-28
|
*
RIGHT and FULL JOIN
Adam Chlipala
2009-04-28
|
*
LEFT JOIN
Adam Chlipala
2009-04-28
|
*
INNER JOIN
Adam Chlipala
2009-04-28
|
*
style declarations
Adam Chlipala
2009-04-12
|
*
CHECK constraints
Adam Chlipala
2009-04-09
|
*
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵
Adam Chlipala
2009-04-07
|
|
|
|
lingering problems in row inference)
*
PRIMARY KEY
Adam Chlipala
2009-04-07
|
*
UNIQUE constraints
Adam Chlipala
2009-04-07
|
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
|
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
|
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
|
*
Add CutMulti
Adam Chlipala
2008-11-11
|
*
Tree demo works
Adam Chlipala
2008-11-06
|
*
Inserted a NULL value
Adam Chlipala
2008-11-06
|
[next]