diff options
author | Eduardo Julian | 2023-01-07 18:55:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2023-01-07 18:55:20 -0400 |
commit | ae2d5697d93a45dcbff768c32c4dc8fb291096cd (patch) | |
tree | 027d732be6a126d41d6265e595627b768daac29a /stdlib/source/specification/compositor.lux | |
parent | 06f5b1c544ad27eecfbc7cc9b3bd7591f9e33423 (diff) |
Now wrapping C++ values inside a universal box.
Diffstat (limited to 'stdlib/source/specification/compositor.lux')
-rw-r--r-- | stdlib/source/specification/compositor.lux | 69 |
1 files changed, 0 insertions, 69 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux deleted file mode 100644 index f6fb3f280..000000000 --- a/stdlib/source/specification/compositor.lux +++ /dev/null @@ -1,69 +0,0 @@ -(.require - [library - [lux (.except) - [abstract - [monad (.only do)]] - [control - ["[0]" io (.only IO)] - ["[0]" try]] - [math - ["r" random]] - [meta - [compiler - ["[0]" analysis] - ["[0]" declaration] - [phase - [macro (.only Expander)] - [translation (.only Bundle)]] - [default - [platform (.only Platform)]]]] - [test - ["_" property (.only Test)]]]] - ["[0]" / - ["[1][0]" common (.only Runner Definer)] - ["[1]./" analysis - ["[1][0]" type]] - ["[1]./" translation - ["[1][0]" primitive] - ["[1][0]" structure] - ["[1][0]" reference] - ["[1][0]" when] - ["[1][0]" function] - ["[1][0]" common]]]) - -(def (test runner definer state expander) - (-> Runner Definer analysis.State Expander Test) - (all _.and - (/analysis/type.spec expander state) - (/translation/primitive.spec runner) - (/translation/structure.spec runner) - (/translation/reference.spec runner definer) - (/translation/when.spec runner) - (/translation/function.spec runner) - (/translation/common.spec runner) - )) - -(def .public (spec platform bundle expander program) - (All (_ anchor expression declaration) - (-> (IO (Platform IO anchor expression declaration)) - (Bundle anchor expression declaration) - Expander - (-> expression declaration) - Test)) - (do r.monad - [_ (in []) - .let [?state,runner,definer (<| io.run! - (do io.monad - [platform platform]) - (/common.executors platform - bundle - expander - program))]] - (when ?state,runner,definer - {try.#Success [[declaration_bundle declaration_state] runner definer]} - (..test runner definer - (the [declaration.#analysis declaration.#state] declaration_state) - expander) - - {try.#Failure error} - (_.failure error)))) |