summaryrefslogtreecommitdiff
path: root/src/urweb.grm
Commit message (Collapse)AuthorAge
* Get -root working properly againGravatar Adam Chlipala2013-09-26
|
* Allow [where con] to descend within submodule structure; open submodule ↵Gravatar Adam Chlipala2013-08-19
| | | | constraints while checking later signature items
* Add some name-mangling rules to allow XML attribute 'name' and attributes ↵Gravatar Adam Chlipala2012-12-27
| | | | with dashes
* Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
|
* Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
|
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
|
* Partitioning and ordering for window functionsGravatar Adam Chlipala2012-06-02
|
* Compiled a window function useGravatar Adam Chlipala2012-06-02
|
* Fix hyphenation for demos; parse CSS class 'table' as 'tabl'Gravatar Adam Chlipala2012-05-13
|
* 'dynStyle' pseudo-attributeGravatar Adam Chlipala2012-05-06
|
* 'style' attributesGravatar Adam Chlipala2012-05-06
|
* Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵Gravatar Adam Chlipala2012-05-06
| | | | parsing of 'class' values given as string literals
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
|
* Antiquote for PRIMARY KEYGravatar Adam Chlipala2012-04-21
|
* Extend and document RANDOMGravatar Adam Chlipala2012-02-04
|
* 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)Gravatar Adam Chlipala2012-02-02
|
* Add arguments to [type] declarations and signature itemsGravatar Adam Chlipala2012-01-02
|
* Error messages about applying 'dynClass' to tags that don't like itGravatar Adam Chlipala2011-12-31
|
* Get a few more source files up-to-date with change to [tag] typeGravatar Adam Chlipala2011-12-28
|
* 'dynClass' pseudo-attributeGravatar Adam Chlipala2011-12-27
|
* New 't.*' notation for SELECTGravatar Adam Chlipala2011-12-03
|
* Add LIKE operator to SQL sublanguage.Gravatar Karn Kallio2011-11-23
|
* COALESCEGravatar Adam Chlipala2011-11-19
|
* Fix parsing conflictGravatar Adam Chlipala2011-10-15
|
* Extend and document 'con' syntax with argumentsGravatar Adam Chlipala2011-10-15
|
* IF THEN ELSE conditional for SQL.Gravatar Karn Kallio2011-10-14
|
* Resugar tag names before printing parse errorsGravatar Adam Chlipala2011-09-22
|
* Add antiquote for ORDER BY directionsGravatar Adam Chlipala2011-08-19
|
* sql_arith_option; 'ALL' for relational operatorsGravatar Adam Chlipala2011-02-25
|
* Syntactic sugar for grouping by variable numbers of columnsGravatar Adam Chlipala2011-02-17
|
* More information in error message about select of field from unbound tableGravatar Adam Chlipala2011-02-17
|
* Allow negative int patternsGravatar Adam Chlipala2011-02-03
|
* Allow CSS class specification for <form>Gravatar Adam Chlipala2011-01-23
|
* Error message when FOREIGN KEY listts have different lengthsGravatar Adam Chlipala2011-01-16
|
* [De]serialization of times in JavaScript; proper integer division in ↵Gravatar Adam Chlipala2010-12-23
| | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
* :::_ notation; switch to TooDeep error messageGravatar Adam Chlipala2010-10-10
|
* Flex kinds for type-level tuples; ::_ notationGravatar Adam Chlipala2010-10-10
|
* Consider view declarations while shakingGravatar Adam Chlipala2010-05-27
|
* Pushing policies throughGravatar Adam Chlipala2010-04-04
|
* 'AS' clauses for expression columns may be omittedGravatar Adam Chlipala2010-03-25
|
* Subquery FROM itemsGravatar Adam Chlipala2010-03-25
|
* Subquery expressionsGravatar Adam Chlipala2010-03-25
|
* More informative tag mismatch error messageGravatar Adam Chlipala2010-03-16
|
* COUNT(col)Gravatar Adam Chlipala2010-03-16
|
* Loosen parsing of multiplicationGravatar Adam Chlipala2010-01-05
|
* Make summary unification more conservative; infer implicit arguments after ↵Gravatar Adam Chlipala2009-12-26
| | | | applications
* Allow same constructor shorthand for 'view' sig items as for 'table'Gravatar Adam Chlipala2009-12-15
|
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* Better record summary error messages; more tweaking SQL usabilityGravatar Adam Chlipala2009-12-13
|