diff options
Diffstat (limited to 'stdlib/source/specification/compositor/analysis/type.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/analysis/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index 3eab3d50d..726e438c9 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -12,7 +12,7 @@ [meta ["[0]" code] [compiler - [analysis (.only State+)] + [analysis (.only State)] ["[0]" phase [macro (.only Expander)] ["[0]" analysis @@ -22,7 +22,7 @@ ["_" property (.only Test)]]]]) (def (check_success+ expander state extension params output_type) - (-> Expander State+ Text (List Code) Type Bit) + (-> Expander State Text (List Code) Type Bit) (|> (analysis/scope.with_scope "" (analysis/type.with_type output_type (analysis.phase expander (` ((, (code.text extension)) (,* params)))))) @@ -53,7 +53,7 @@ ))))) (def .public (spec expander state) - (-> Expander State+ Test) + (-> Expander State Test) (do r.monad [[typeC exprT exprC] ..check [other_typeC other_exprT other_exprC] ..check] |