diff options
Diffstat (limited to 'stdlib/source/spec/compositor.lux')
-rw-r--r-- | stdlib/source/spec/compositor.lux | 67 |
1 files changed, 0 insertions, 67 deletions
diff --git a/stdlib/source/spec/compositor.lux b/stdlib/source/spec/compositor.lux deleted file mode 100644 index 08a294282..000000000 --- a/stdlib/source/spec/compositor.lux +++ /dev/null @@ -1,67 +0,0 @@ -(.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io (#+ IO)] - ["." try]] - [math - ["r" random]] - [tool - [compiler - ["." analysis] - ["." directive] - [phase - [macro (#+ Expander)] - [generation (#+ Bundle)]] - [default - [platform (#+ Platform)]]]]] - ["." / #_ - ["#." common (#+ Runner Definer)] - ["#./" analysis #_ - ["#." type]] - ["#./" generation #_ - ["#." primitive] - ["#." structure] - ["#." reference] - ["#." case] - ["#." function] - ["#." common]]]) - -(def: (test runner definer state expander) - (-> Runner Definer analysis.State+ Expander Test) - ($_ _.and - (/analysis/type.spec expander state) - (/generation/primitive.spec runner) - (/generation/structure.spec runner) - (/generation/reference.spec runner definer) - (/generation/case.spec runner) - (/generation/function.spec runner) - (/generation/common.spec runner) - )) - -(def: #export (spec platform bundle expander program) - (All [anchor expression directive] - (-> (IO (Platform IO anchor expression directive)) - (Bundle anchor expression directive) - Expander - (-> expression directive) - Test)) - (do r.monad - [_ (wrap []) - #let [?state,runner,definer (<| io.run - (do io.monad - [platform platform]) - (/common.executors platform - bundle - expander - program))]] - (case ?state,runner,definer - (#try.Success [[directive-bundle directive-state] runner definer]) - (..test runner definer - (get@ [#directive.analysis #directive.state] directive-state) - expander) - - (#try.Failure error) - (_.fail error)))) |