diff options
| author | Eduardo Julian | 2017-11-13 20:02:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-13 20:02:18 -0400 |
| commit | 2a3946e713821880ecc47580e754315349f2fe73 (patch) | |
| tree | 7c32a522dff9d09293a5265baa968bc04137c944 /new-luxc/source/luxc/lang/analysis/case.lux | |
| parent | ca297162d5416a8c7b8af5f27757900d82d3ad03 (diff) | |
- Type-vars no longer get deleted.
- Fixed some bugs.
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis/case.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/analysis/case.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/case.lux b/new-luxc/source/luxc/lang/analysis/case.lux index f68733d7f..5f8ed344f 100644 --- a/new-luxc/source/luxc/lang/analysis/case.lux +++ b/new-luxc/source/luxc/lang/analysis/case.lux @@ -46,7 +46,7 @@ (#;Var id) (do meta;Monad<Meta> [? (&;with-type-env - (tc;bound? id))] + (tc;concrete? id))] (if ? (do @ [type' (&;with-type-env |