diff options
Diffstat (limited to '')
9 files changed, 75 insertions, 75 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index d8d1a718c..a2569f334 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -4,30 +4,30 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." try]] + ["[0]" io {"+" [IO]}] + ["[0]" try]] [math ["r" random]] [tool [compiler - ["." analysis] - ["." directive] + ["[0]" analysis] + ["[0]" directive] [phase [macro {"+" [Expander]}] [generation {"+" [Bundle]}]] [default [platform {"+" [Platform]}]]]]] - ["." / "_" - ["#." common {"+" [Runner Definer]}] - ["#./" analysis "_" - ["#." type]] - ["#./" generation "_" - ["#." primitive] - ["#." structure] - ["#." reference] - ["#." case] - ["#." function] - ["#." common]]]) + ["[0]" / "_" + ["[1][0]" common {"+" [Runner Definer]}] + ["[1]./" analysis "_" + ["[1][0]" type]] + ["[1]./" generation "_" + ["[1][0]" primitive] + ["[1][0]" structure] + ["[1][0]" reference] + ["[1][0]" case] + ["[1][0]" function] + ["[1][0]" common]]]) (def: (test runner definer state expander) (-> Runner Definer analysis.State+ Expander Test) diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index 2ad411da0..be7677848 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -5,20 +5,20 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." io] - ["." try]] + ["[0]" io] + ["[0]" try]] [math ["r" random {"+" [Random]}]] [macro - ["." code]] + ["[0]" code]] [tool [compiler [analysis {"+" [State+]}] - ["." phase + ["[0]" phase [macro {"+" [Expander]}] - ["." analysis - ["#/." scope] - ["#/." type]]]]]]) + ["[0]" analysis + ["[1]/[0]" scope] + ["[1]/[0]" type]]]]]]) (def: (check_success+ expander state extension params output_type) (-> Expander State+ Text (List Code) Type Bit) diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index bf1236b3f..31a1675f3 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -3,21 +3,21 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." try {"+" [Try]}]] + ["[0]" io {"+" [IO]}] + ["[0]" try {"+" [Try]}]] [tool [compiler - ["." reference] - ["." analysis] - ["." synthesis {"+" [Synthesis]}] - ["." directive] - ["." phase - ["." macro {"+" [Expander]}] - ["." generation {"+" [Operation]}] + ["[0]" reference] + ["[0]" analysis] + ["[0]" synthesis {"+" [Synthesis]}] + ["[0]" directive] + ["[0]" phase + ["[0]" macro {"+" [Expander]}] + ["[0]" generation {"+" [Operation]}] [extension {"+" [Extender]} - ["." bundle]]] + ["[0]" bundle]]] [default - ["." platform {"+" [Platform]}]]]]]) + ["[0]" platform {"+" [Platform]}]]]]]) (type: .public Runner (-> Text Synthesis (Try Any))) diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index d71abc703..d699aa74b 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -5,26 +5,26 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [number ["n" nat] ["f" frac]] [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math ["r" random {"+" [Random]}]] [tool [compiler - ["." reference] - ["." analysis] - ["." synthesis {"+" [Path Synthesis]}] - ["." phase - ["#/." synthesis - ["." case]] - ["." extension/synthesis]]]]] + ["[0]" reference] + ["[0]" analysis] + ["[0]" synthesis {"+" [Path Synthesis]}] + ["[0]" phase + ["[1]/[0]" synthesis + ["[0]" case]] + ["[0]" extension/synthesis]]]]] [/// [common {"+" [Runner]}]]) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 917d830b6..c8dd72bf7 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -5,26 +5,26 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [number - ["." i64] + ["[0]" i64] ["n" nat] ["i" int] ["f" frac]] - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list]]] + ["[0]" list]]] [math ["r" random {"+" [Random]}]] [tool [compiler - ["." reference] - ["." synthesis]]]] - ["." // "_" - ["#." case] + ["[0]" reference] + ["[0]" synthesis]]]] + ["[0]" // "_" + ["[1][0]" case] [// [common {"+" [Runner]}]]]) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index f356bce90..1708264a2 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -3,24 +3,24 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." enum]] + ["[0]" enum]] [control [pipe {"+" [case>]}] - ["." maybe]] + ["[0]" maybe]] [data [number ["n" nat]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["r" random {"+" [Random]} ("#\." monad)]] + ["r" random {"+" [Random]} ("[1]\[0]" monad)]] [tool [compiler [analysis {"+" [Arity]}] - ["." reference {"+" [Register]}] - ["." synthesis {"+" [Synthesis]}]]]] - ["." // "_" - ["#." case] + ["[0]" reference {"+" [Register]}] + ["[0]" synthesis {"+" [Synthesis]}]]]] + ["[0]" // "_" + ["[1][0]" case] [// [common {"+" [Runner]}]]]) diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index a73ba6f21..ba20601a3 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -5,18 +5,18 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try]] + ["[0]" try]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [number ["f" frac]] - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math ["r" random]] [tool [compiler - ["." synthesis]]]] + ["[0]" synthesis]]]] [/// [common {"+" [Runner]}]]) diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index 37aea49fe..ce3c7332a 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -5,15 +5,15 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try]] + ["[0]" try]] [data [number ["n" nat] ["f" frac]]] [tool [compiler - ["." reference] - ["." synthesis]]] + ["[0]" reference] + ["[0]" synthesis]]] [math ["r" random {"+" [Random]}]]] [/// diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index cd86ecab2..a70e61531 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -5,24 +5,24 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." maybe] - ["." try]] + ["[0]" maybe] + ["[0]" try]] [data [number ["n" nat] ["i" int]] - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." array {"+" [Array]}] - ["." list ("#\." functor)]]] + ["[0]" array {"+" [Array]}] + ["[0]" list ("[1]\[0]" functor)]]] [math ["r" random]] - ["." ffi {"+" [import:]}] + ["[0]" ffi {"+" [import:]}] [tool [compiler - ["." analysis] - ["." synthesis]]]] + ["[0]" analysis] + ["[0]" synthesis]]]] [/// [common {"+" [Runner]}]]) |