diff options
| author | Eduardo Julian | 2017-10-11 18:57:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-11 18:57:44 -0400 |
| commit | 74a835634fc9ee5457f3cc7109af069dad9f2d2f (patch) | |
| tree | dec444467ecde32ac165627f782f315ac41567e8 /new-luxc/source/luxc/analyser/primitive.lux | |
| parent | ccabfc6a5e41650788199cb8fd5d87731f094bcd (diff) | |
- Migrated new-luxc to latest version of stdlib.
- Some refactoring.
Diffstat (limited to 'new-luxc/source/luxc/analyser/primitive.lux')
| -rw-r--r-- | new-luxc/source/luxc/analyser/primitive.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/analyser/primitive.lux b/new-luxc/source/luxc/analyser/primitive.lux index 69e4f2b07..127e5896c 100644 --- a/new-luxc/source/luxc/analyser/primitive.lux +++ b/new-luxc/source/luxc/analyser/primitive.lux @@ -12,8 +12,8 @@ (-> <type> (Lux Analysis)) (do Monad<Lux> [expected macro;expected-type - _ (&;within-type-env - (TC;check expected <type>))] + _ (&;with-type-env + (TC;check expected <type>))] (wrap (<tag> value))))] [analyse-bool Bool #la;Bool] @@ -28,6 +28,6 @@ (Lux Analysis) (do Monad<Lux> [expected macro;expected-type - _ (&;within-type-env - (TC;check expected Unit))] + _ (&;with-type-env + (TC;check expected Unit))] (wrap #la;Unit))) |