diff options
author | Eduardo Julian | 2017-11-15 20:57:47 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-11-15 20:57:47 -0400 |
commit | b5c854fb5ac1ead274f4ae0c657da66df957f14e (patch) | |
tree | b89035466363121a58e37c62f340c75a8c7dbeb7 /new-luxc/source/luxc/lang/analysis/type.lux | |
parent | 094c0904470f85ff0d63c788e07ce1ecf355577e (diff) |
- Moved "luxc/lang/syntax" to "lux/lang/syntax".
- Minor refactoring.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/analysis/type.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux index 4184dd0c0..eb3de08de 100644 --- a/new-luxc/source/luxc/lang/analysis/type.lux +++ b/new-luxc/source/luxc/lang/analysis/type.lux @@ -15,7 +15,7 @@ [actualT (eval Type type) #let [actualT (:! Type actualT)] _ (&;infer actualT)] - (&;with-expected-type actualT + (&;with-type actualT (analyse value)))) (def: #export (analyse-coerce analyse eval type value) @@ -23,5 +23,5 @@ (do meta;Monad<Meta> [actualT (eval Type type) _ (&;infer (:! Type actualT))] - (&;with-expected-type Top + (&;with-type Top (analyse value)))) |