New type for Type (part 4).

LuxLang · May 7, 2024 · 006a97b · 006a97b
1 parent 2630555
commit 006a97b
Show file tree

Hide file tree

Showing 16 changed files with 425 additions and 556 deletions.
diff --git a/stdlib/source/injection/lux/data/binary.lux b/stdlib/source/injection/lux/data/binary.lux
@@ -303,8 +303,7 @@
   (Injection Type)
   (..rec
    (function (_ again)
-     (let [indexed ..natural
-           quantified (..and (..stack again) again)]
+     (let [indexed ..natural]
        (function (_ altV)
          (`` (when altV
                (,, (template.with [<number> <tag> <injection>]
@@ -321,10 +320,9 @@
                      [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)]))
+                     [4 .#Quantification (all ..and ..bit (..stack again) again)]
+                     [5 .#Reification (..and again again)]
+                     [6 .#Named (..and ..name again)]))
                )))))))
 
 (the .public provenance