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/base.lux | |
| parent | ccabfc6a5e41650788199cb8fd5d87731f094bcd (diff) | |
- Migrated new-luxc to latest version of stdlib.
- Some refactoring.
Diffstat (limited to 'new-luxc/source/luxc/base.lux')
| -rw-r--r-- | new-luxc/source/luxc/base.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/base.lux b/new-luxc/source/luxc/base.lux index c0108da7e..fe57cc1dd 100644 --- a/new-luxc/source/luxc/base.lux +++ b/new-luxc/source/luxc/base.lux @@ -57,7 +57,7 @@ (#R;Error error) (#R;Error error)))) -(def: #export (within-type-env action) +(def: #export (with-type-env action) (All [a] (-> (tc;Check a) (Lux a))) (function [compiler] (case (action (get@ #;type-context compiler)) @@ -72,8 +72,8 @@ (-> Type (Lux Unit)) (do macro;Monad<Lux> [expectedT macro;expected-type] - (within-type-env - (tc;check expectedT actualT)))) + (with-type-env + (tc;check expectedT actualT)))) (def: #export (pl-get key table) (All [a] (-> Text (List [Text a]) (Maybe a))) |