diff options
author | Eduardo Julian | 2015-07-26 20:57:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-07-26 20:57:21 -0400 |
commit | 9b7cfd6f5bcc93e2f2f0c3129b7ec6d62c69bb37 (patch) | |
tree | 186f2fb0f81589df819c87d37ba4a6f0961ebdc4 /.gitignore | |
parent | 4cd9b0c9242f1105e50ad9b42b7f6f5d074f14b4 (diff) |
- Fixed a pattern-matching error where generalizations of types (universal-quantification / AllT) was not being taken into account properly when destructuring.
- Fixed a compiler error wherein the types of definitions didn't generate (correctly) the structures necessary for storage inside the class _meta(data) field.
- Improved both the "open" and "import" macros with extra features.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions