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.grm
Commit message (
Collapse
)
Author
Age
*
Fix parsing conflict
Adam Chlipala
2011-10-15
|
*
Extend and document 'con' syntax with arguments
Adam Chlipala
2011-10-15
|
*
IF THEN ELSE conditional for SQL.
Karn Kallio
2011-10-14
|
*
Resugar tag names before printing parse errors
Adam Chlipala
2011-09-22
|
*
Add antiquote for ORDER BY directions
Adam Chlipala
2011-08-19
|
*
sql_arith_option; 'ALL' for relational operators
Adam Chlipala
2011-02-25
|
*
Syntactic sugar for grouping by variable numbers of columns
Adam Chlipala
2011-02-17
|
*
More information in error message about select of field from unbound table
Adam Chlipala
2011-02-17
|
*
Allow negative int patterns
Adam Chlipala
2011-02-03
|
*
Allow CSS class specification for <form>
Adam Chlipala
2011-01-23
|
*
Error message when FOREIGN KEY listts have different lengths
Adam Chlipala
2011-01-16
|
*
[De]serialization of times in JavaScript; proper integer division in ↵
Adam Chlipala
2010-12-23
|
|
|
|
JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
|
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
|
*
Consider view declarations while shaking
Adam Chlipala
2010-05-27
|
*
Pushing policies through
Adam Chlipala
2010-04-04
|
*
'AS' clauses for expression columns may be omitted
Adam Chlipala
2010-03-25
|
*
Subquery FROM items
Adam Chlipala
2010-03-25
|
*
Subquery expressions
Adam Chlipala
2010-03-25
|
*
More informative tag mismatch error message
Adam Chlipala
2010-03-16
|
*
COUNT(col)
Adam Chlipala
2010-03-16
|
*
Loosen parsing of multiplication
Adam Chlipala
2010-01-05
|
*
Make summary unification more conservative; infer implicit arguments after ↵
Adam Chlipala
2009-12-26
|
|
|
|
applications
*
Allow same constructor shorthand for 'view' sig items as for 'table'
Adam Chlipala
2009-12-15
|
*
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
|
*
Tweaking SQL parsing and typing
Adam Chlipala
2009-12-13
|
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
|
*
Add tuple pattern-matching at the constructor level
Adam Chlipala
2009-10-20
|
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
|
*
Paging mostly working; just need to get it working properly with filtering
Adam Chlipala
2009-09-19
|
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
|
*
List.all; fix ANDALSO/ORELSE parsing precedence
Adam Chlipala
2009-06-07
|
*
&& 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
*
Tweak -- precedence; use right env for final exhaustiveness errors
Adam Chlipala
2009-06-02
|
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
|
*
Demo compiles with pattern-matching-fu
Adam Chlipala
2009-05-28
|
*
fn-pattern code in but not tested yet; hello compiles
Adam Chlipala
2009-05-28
|
*
Chars and more string operations
Adam Chlipala
2009-05-26
|
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
|
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
|
*
List notations
Adam Chlipala
2009-04-30
|
*
Subforms type-checks; lists urlified and unurlified
Adam Chlipala
2009-04-30
|
*
Subforms
Adam Chlipala
2009-04-28
|
*
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
|
[next]