diff options
| author | Eduardo Julian | 2015-04-25 17:30:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-04-25 17:30:54 -0400 |
| commit | cc8f12a30f0f7144e9ce0a2846b30d4d9c36d0eb (patch) | |
| tree | 8212f3e71a7e2ce0f672cce118ba703153bfe3de /src/lang/parser.clj | |
| parent | d366abe19aaf9b688312d2f845f6771b8478cc0c (diff) | |
- More accurate AllT environment management by using (Maybe TypeEnv) instead of TypeEnv. The performance of the type-checker also improved thanks to that.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions