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/spec | |
| parent | 07d346632a6aff8ce2b66b39b818c298de48df5a (diff) | |
Clean-up after format change for extensions [part 2]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/compositor.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/specification/compositor/analysis/type.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/specification/compositor/common.lux | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 8526daba4..7afe706c1 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -32,7 +32,7 @@ ["[1][0]" common]]]) (def (test runner definer state expander) - (-> Runner Definer analysis.State+ Expander Test) + (-> Runner Definer analysis.State Expander Test) (all _.and (/analysis/type.spec expander state) (/generation/primitive.spec runner) 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] diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 2a3e6fb45..f72bb20bc 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -28,7 +28,7 @@ (type .public (Instancer what) (All (_ anchor expression declaration) (-> (Platform IO anchor expression declaration) - (generation.State+ anchor expression declaration) + (generation.State anchor expression declaration) what))) (def (runner (open "[0]") state) @@ -65,7 +65,7 @@ (generation.Bundle anchor expression declaration) (declaration.Bundle anchor expression declaration) (-> expression declaration) Extender - (IO (Try [(declaration.State+ anchor expression declaration) + (IO (Try [(declaration.State anchor expression declaration) Runner Definer])))) (do io.monad |