changeset | e976b187d73a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SQL sequences |
files |
changeset | 9601c717d2f3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | queryX |
files |
changeset | eec65c11d3e2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | foldTR2 |
files |
changeset | 58f1260f293f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Fixed a mind-numbing De Bruijn bug |
files |
changeset | 3a57f3b3a3f8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Fix bug in subsignature check for con synonyms |
files |
changeset | 950320f33232 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Crud list works |
files |
changeset | e457d8972ff1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Crud listing IDs |
files |
changeset | f387d12193ba |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatype positivity check |
files |
changeset | 77a28e7430bf |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | intToString |
files |
changeset | fdd7a698be01 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Compiling a parametrized query the inefficient way |
files |
changeset | 42dfb0d61cf0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'database' declaration threaded through compiler |
files |
changeset | e52243e20858 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'eq' type class |
files |
changeset | 69d337f186eb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Monoized GROUP BY |
files |
changeset | b6b75e6e0898 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corify transaction wrappers |
files |
changeset | 2b9dfaffb008 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Transactions and queries, at source level |
files |
changeset | 44a1663ad893 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Checking for well-formed 'val rec' |
files |
changeset | c466678af854 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SELECTing arbitrary expressions |
files |
changeset | 19e5791923d0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Resolving lingering type class constraints |
files |
changeset | bbe5899a9585 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Queries back to working as well as before, after start of refactoring to support grouping |
files |
changeset | 2b665e822e9a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SQL boolean operators |
files |
changeset | a3413288cce1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Signature ascription for type classes |
files |
changeset | 56db662ebcfd |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Fun with type classes and modules |
files |
changeset | 38b299373676 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Looking up in a type class from a module |
files |
changeset | 0343557355fc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Explifying type classes |
files |
changeset | e86411f647c6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initial type class support |
files |
changeset | f4033abd6ab1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Inferring sql_type's |
files |
changeset | 1487c712eb12 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Stub WHERE support |
files |
changeset | cc68da3801bc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Non-star SELECT |
files |
changeset | cb8493759a7b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Remove extraneous disjointness goal |
files |
changeset | cb8f69556975 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating 'SELECT *' queries |
files |
changeset | dd82457fda82 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsing and elaborating 'table' |
files |
changeset | df5fd8f6913a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | A multi-parameter datatype all the way through |
files |
changeset | aa54250f58ac |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parametrized datatypes through explify |
files |
changeset | 8e9f97508f0d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatype representation optimization |
files |
changeset | d11754ffe252 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Compiled pattern matching to C |
files |
changeset | 33d4a8eea484 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Case through explify |
files |
changeset | b2d752455182 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating record patterns |
files |
changeset | 7ee424760d2f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating module constructor patterns; parsing record patterns |
files |
changeset | 8221b95cc24c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Patterns for int and string constants |
files |
changeset | 021f5beb6f8d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Pattern match coverage checking |
files |
changeset | c7a6e6dbc318 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating some basic pattern matching |
files |
changeset | a158f8c5aa55 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsing basic patterns |
files |
changeset | 06a98129b23f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Add datatype import constructor annotations; datatypes through explify |
files |
changeset | a5ae7b3e37a4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Normalize datatype choice during SgiDatatypeImp elaboration |
files |
changeset | 870e8abbe3b9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatype import signature-matches abstract datatype |
files |
changeset | 1e382d10e832 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Abstracting datatypes with signature ascription |
files |
changeset | b4b70de488e9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | More datatype module stuff |
files |
changeset | adc4e42e3adc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Basic datatype importing works |
files |
changeset | 34ccd7d2bea8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of datatype support |
files |
changeset | cfe6f9db74aa |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | radio and radioOption |
files |
changeset | 67ab26888839 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | textarea |
files |
changeset | 7420fa18d657 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Record cut |
files |
changeset | eb16f2aadbe9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Meta-programming forms |
files |
changeset | 80ac94b54e41 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Fix opening and corifying of functors |
files |
changeset | 63c699450281 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initial form support |
files |
changeset | f214c535d253 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | A simpler context encoding |
files |
changeset | adfa2c7a75da |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Form binding parameters threaded through |
files |
changeset | e3041657d653 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsing and elaborating (non-mutual) 'val rec' |
files |
changeset | 3739af9e727a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Starting with closure links |
files |
changeset | 813e5a52063d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
files |