Auteur | SHA1 Message | Date |
---|---|---|
|
bea8660c44 Disable eta-expansion in letrectification | il y a 5 ans |
|
b6dfc84fd4 Declarative variables optimization limits eta-expansion | il y a 5 ans |
|
887aac28d2 At optimization level -O3, seal declarative module-private bindings | il y a 5 ans |
|
25be9f9c31 Skip tests that don't work under letrectification | il y a 5 ans |
|
356ea09719 Add notion of declarative modules | il y a 5 ans |
|
d7bbf6d5db Add letrectify tree-il pass | il y a 5 ans |