diff options
Diffstat (limited to 'stdlib/source/lux/compiler/default/phase/extension')
-rw-r--r-- | stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux b/stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux index 3272f8a29..24f22df3c 100644 --- a/stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux +++ b/stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux @@ -9,7 +9,6 @@ format] [collection ["." list ("list/." Functor<List>)] - ["." array] ["dict" dictionary (#+ Dictionary)]]] [type ["." check]] @@ -203,41 +202,6 @@ (bundle.install "clip" (trinary Text Nat Nat (type (Maybe Text)))) ))) -(def: array::get - Handler - (function (_ extension-name analyse args) - (do ////.Monad<Operation> - [[var-id varT] (typeA.with-env check.var)] - ((binary (type (Array varT)) Nat (type (Maybe varT)) extension-name) - analyse args)))) - -(def: array::put - Handler - (function (_ extension-name analyse args) - (do ////.Monad<Operation> - [[var-id varT] (typeA.with-env check.var)] - ((trinary (type (Array varT)) Nat varT (type (Array varT)) extension-name) - analyse args)))) - -(def: array::remove - Handler - (function (_ extension-name analyse args) - (do ////.Monad<Operation> - [[var-id varT] (typeA.with-env check.var)] - ((binary (type (Array varT)) Nat (type (Array varT)) extension-name) - analyse args)))) - -(def: bundle::array - Bundle - (<| (bundle.prefix "array") - (|> bundle.empty - (bundle.install "new" (unary Nat Array)) - (bundle.install "get" array::get) - (bundle.install "put" array::put) - (bundle.install "remove" array::remove) - (bundle.install "size" (unary (type (Ex [a] (Array a))) Nat)) - ))) - (def: box::new Handler (function (_ extension-name analyse args) @@ -289,7 +253,6 @@ (dict.merge bundle::int) (dict.merge bundle::frac) (dict.merge bundle::text) - (dict.merge bundle::array) (dict.merge bundle::box) (dict.merge bundle::io) ))) |