diff options
| author | Eduardo Julian | 2015-03-01 18:15:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-03-01 18:15:48 -0400 |
| commit | f5b2f04fec382da0d164f772ed65ae058e66d8e2 (patch) | |
| tree | c88a2d2ab7515c8dfeea7967719eadd2de31f09d /.gitignore | |
| parent | 2caf39ea09ae96669466e0e17fd2949347acda7a (diff) | |
[TODO]
- For some reason, when I fail at compilation due to mistaken use of tags/variants, I don't get the right error reported.
[Fixes]
- Solved a problem where stack values weren't being properly cleaned-up when pattern-matching on variants and branch bodies.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions