aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor.lux2
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux6
-rw-r--r--stdlib/source/specification/compositor/common.lux4
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