remove Wrap type

This commit is contained in:
Emile Clark-Boman 2026-01-27 12:43:56 +10:00
parent 06f21415e1
commit 2aa45a9f6b
3 changed files with 0 additions and 39 deletions

View file

@ -32,7 +32,6 @@ let
./nt.nix
{
std = ./std/bootstrap.nix;
types = ./types/bootstrap.nix;
parse = ./parse/bootstrap.nix;
maybe = ./maybe.nix;

View file

@ -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
]

View file

@ -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;
};
}