Finishing the meta-compiler [Part 1]

1 files changed, 9 insertions, 4 deletions

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