changeset | 28a541bd2d23 |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Use referenced (rather than all) free variables as keys for pure caches. |
files |
changeset | 6f2ea4ed573a |
---|---|
branch | |
bookmark | |
tag | |
user | Ziv Scully <ziv@mit.edu> |
description | Pure caching sort of works. |
files |
changeset | d328983dc5a6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL |
files |
changeset | 10114d7b7477 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SELECT DISTINCT; eta expansion during Cjrization |
files |
changeset | 1901db85acb4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of JsComp |
files |
changeset | c0ea24dcb86f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Optimizing 'case' in Mono_reduce |
files |
changeset | 3bbed533fbd2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Cases through monoize |
files |
changeset | eb3f9913bf31 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First part of getting cases through monoize |
files |
changeset | 25b169416ea8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Storing datatype constructors in type references past monoize |
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 |
changeset | d3cc191cb25f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Separate compilation and automatic basis importation |
files |
changeset | 0a762c73824d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Monoize |
files |