diff --git a/nt/primitives/bootstrap/default.nix b/nt/primitives/bootstrap/default.nix index 276aa45..e87675b 100644 --- a/nt/primitives/bootstrap/default.nix +++ b/nt/primitives/bootstrap/default.nix @@ -32,7 +32,6 @@ let ./nt.nix { std = ./std/bootstrap.nix; - types = ./types/bootstrap.nix; parse = ./parse/bootstrap.nix; maybe = ./maybe.nix; diff --git a/nt/primitives/bootstrap/types/bootstrap.nix b/nt/primitives/bootstrap/types/bootstrap.nix deleted file mode 100644 index 8568a44..0000000 --- a/nt/primitives/bootstrap/types/bootstrap.nix +++ /dev/null @@ -1,6 +0,0 @@ -# WARNING: /nt/primitives/bootstrap cannot depend on mix -# WARNING: this file is strictly for bootstrapping nt -{bootstrap, ...} @ inputs: -bootstrap inputs [ - ./wrap.nix -] diff --git a/nt/primitives/bootstrap/types/wrap.nix b/nt/primitives/bootstrap/types/wrap.nix deleted file mode 100644 index e601933..0000000 --- a/nt/primitives/bootstrap/types/wrap.nix +++ /dev/null @@ -1,32 +0,0 @@ -{this, ...}: let - inherit - (this) - ntTrapdoorKey - ; - - inherit - (this.trapdoor) - mkTrapdoorFn - mkTrapdoorSet - ; -in { - # NOTE: Wrap is used to simplify parsing Type/Class declarations - # NOTE: and therefore must be implemented manually - Wrap = let - meta = instance: { - inherit instance; - sig = "nt::Wrap"; - derive = []; - ops = {}; - req = {}; - }; - in - mkTrapdoorFn ntTrapdoorKey { - default = value: - mkTrapdoorSet ntTrapdoorKey { - default = {inherit value;}; - unlock = meta true; - }; - unlock = meta false; - }; -}