Commit History

Autor SHA1 Mensaxe Data
  Andy Wingo bea8660c44 Disable eta-expansion in letrectification %!s(int64=5) %!d(string=hai) anos
  Andy Wingo b6dfc84fd4 Declarative variables optimization limits eta-expansion %!s(int64=5) %!d(string=hai) anos
  Andy Wingo 887aac28d2 At optimization level -O3, seal declarative module-private bindings %!s(int64=5) %!d(string=hai) anos
  Andy Wingo 25be9f9c31 Skip tests that don't work under letrectification %!s(int64=5) %!d(string=hai) anos
  Andy Wingo 356ea09719 Add notion of declarative modules %!s(int64=5) %!d(string=hai) anos
  Andy Wingo d7bbf6d5db Add letrectify tree-il pass %!s(int64=5) %!d(string=hai) anos