From 11713d1ba99ec7e41682addadd2778dc767682a0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Sep 2021 13:24:23 -0400
Subject: Better type-declaration documentation.

---
 stdlib/source/library/lux.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/library/lux.lux')

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 7fad8a9a5..1043560c9 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -153,7 +153,7 @@
     ({Type
       ({Type_List
         ({Type_Pair
-          (9 #0 Nothing
+          (9 #0 (0 #0 ["" #End])
              (7 #0 #End
                 (1 #0
                    ... "lux.Primitive"
@@ -189,7 +189,7 @@
                                               (2 #0 Name Type)))))))))))))}
          ("lux type check type" (2 #0 Type Type)))}
        ("lux type check type" (9 #0 Type List)))}
-     ("lux type check type" (9 #0 (4 #0 1) (4 #0 0)))))
+     ("lux type check type" (9 #0 (0 #0 ["" #End]) (4 #0 0)))))
  [dummy_location
   (9 #1 #End)]
  ("Primitive" "Sum" "Product" "Function" "Parameter" "Var" "Ex" "UnivQ" "ExQ" "Apply" "Named")
@@ -645,7 +645,7 @@
 ("lux def type tagged" Lux
  (#Named ["library/lux" "Lux"]
          ({Lux
-           (#Apply Nothing
+           (#Apply (0 #0 ["" #End])
                    (#UnivQ #End
                            (#Product
                             ... info
@@ -688,7 +688,7 @@
                                                                         (#Sum Text (#Product Lux Any)))))
                                        ... host
                                        Any))))))))))))))}
-          (#Apply (#Parameter 1) (#Parameter 0))))
+          (#Apply (0 #0 ["" #End]) (#Parameter 0))))
  (record$ #End)
  ["info" "source" "location" "current_module" "modules" "scopes" "type_context" "expected" "seed" "scope_type_vars" "extensions" "eval" "host"]
  .public)
@@ -5556,9 +5556,9 @@
 (def: (recursive_type g!self g!dummy name body)
   (-> Code Code Text Code Code)
   (` ((.All ((~ g!self) (~ g!dummy))
-        (~ (let$ (local_identifier$ name) (` (#.Apply .Nothing (~ g!self)))
+        (~ (let$ (local_identifier$ name) (` (#.Apply (..primitive "") (~ g!self)))
                  body)))
-      .Nothing)))
+      (..primitive ""))))
 
 (macro: .public (Rec tokens)
   (case tokens
-- 
cgit v1.2.3