diff options
| author | Eduardo Julian | 2022-10-21 14:37:09 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-21 14:37:09 -0400 |
| commit | 74e8954ee269aa5dea39f1e4e3c55e8d387384a8 (patch) | |
| tree | 2e29609e1c57a130c5a7851db67426bb9feebcbc /stdlib/source/specification/compositor/analysis/type.lux | |
| parent | 07d346632a6aff8ce2b66b39b818c298de48df5a (diff) | |
Clean-up after format change for extensions [part 2]
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] |