From 290de8ebcb7edc92877f2ccc333171214e5eae23 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 6 Feb 2022 03:15:39 -0400
Subject: Finishing the meta-compiler [Part 1]

---
 stdlib/source/library/lux.lux | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 4f14a2ada..e6a3e5e6f 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -427,13 +427,15 @@
 ...   {#Captured Nat})
 ("lux def type tagged" Ref
  {#Named [..prelude_module "Ref"]
-         {#Sum ... Local
+         {#Sum
+          ... Local
           Nat
           ... Captured
           Nat}}
  {"#Local" "#Captured"}
  .public)
 
+... TODO: Get rid of both #name & #inner
 ... (type: .public Scope
 ...   (Record
 ...    [#name     (List Text)
@@ -442,11 +444,14 @@
 ...     #captured (Bindings Text [Type Ref])]))
 ("lux def type tagged" Scope
  {#Named [..prelude_module "Scope"]
-         {#Product ... name
+         {#Product
+          ... name
           {#Apply Text List}
-          {#Product ... inner
+          {#Product
+           ... inner
            Nat
-           {#Product ... locals
+           {#Product
+            ... locals
             {#Apply {#Product Type Nat} {#Apply Text Bindings}}
             ... captured
             {#Apply {#Product Type Ref} {#Apply Text Bindings}}}}}}
-- 
cgit v1.2.3