New type for Type (part 2).

LuxLang · May 5, 2024 · 3514c95 · 3514c95
1 parent f634d43
commit 3514c95
Show file tree

Hide file tree

Showing 21 changed files with 631 additions and 705 deletions.
diff --git a/stdlib/source/injection/lux/data/binary.lux b/stdlib/source/injection/lux/data/binary.lux
@@ -19,6 +19,7 @@
      ["[0]" list (.use "[1]#[0]" functor)]
      ["[0]" sequence (.only Sequence) (.use "[1]#[0]" functor)]
      ["[0]" set (.only Set)]
+     ... TODO: Remove ASAP
      [array
       [\\unsafe (.only)]]]]
    [math
@@ -302,8 +303,7 @@
   (Injection Type)
   (..rec
    (function (_ again)
-     (let [pair (..and again again)
-           indexed ..natural
+     (let [indexed ..natural
            quantified (..and (..stack again) again)]
        (function (_ altV)
          (`` (when altV
@@ -317,17 +317,14 @@
                                [(.++ offset)]
                                caseT))])]
 
-                     [00 .#Nominal (..and ..text (..list (..and ..bit again)))]
-                     [01 .#Sum pair]
-                     [02 .#Product pair]
-                     [03 .#Function pair]
-                     [04 .#Parameter indexed]
-                     [05 .#Variable indexed]
-                     [06 .#Opaque indexed]
-                     [07 .#Universal quantified]
-                     [08 .#Existential quantified]
-                     [09 .#Reification pair]
-                     [10 .#Named (..and ..name again)]))
+                     [0 .#Nominal (..and ..text (..list (..and ..bit again)))]
+                     [1 .#Parameter indexed]
+                     [2 .#Variable indexed]
+                     [3 .#Opaque indexed]
+                     [4 .#Universal quantified]
+                     [5 .#Existential quantified]
+                     [6 .#Reification (..and again again)]
+                     [7 .#Named (..and ..name again)]))
                )))))))
 
 (the .public provenance