diff options
| author | Eduardo Julian | 2015-09-01 11:18:26 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-09-01 11:18:26 -0400 |
| commit | 2cfaf65019015ffe34fba5d5a723b94350cd4e84 (patch) | |
| tree | 43c8582e355b3fbef5cfd011dbe24a65b17588f3 /.gitignore | |
| parent | 7f0aa70c6115f9321e13f0452d724b9b40c3f981 (diff) | |
- Added a macro to write recursive types.
- Corrected some code that still involved the old names for the list macros.
- Corrected some code in the pattern-matcher analyser to it fails properly when encountering invalid pattern-syntax.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions