From ca238f9c89d3156842b0a3d5fe24a5d69b2eedb0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 6 Apr 2018 08:32:41 -0400
Subject: - Adapted new-luxc's code to latest stdlib changes.

---
 new-luxc/source/luxc/cache/description.lux | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'new-luxc/source/luxc/cache/description.lux')

diff --git a/new-luxc/source/luxc/cache/description.lux b/new-luxc/source/luxc/cache/description.lux
index 1bfb1209c..cce2e783d 100644
--- a/new-luxc/source/luxc/cache/description.lux
+++ b/new-luxc/source/luxc/cache/description.lux
@@ -12,7 +12,8 @@
               ["s" syntax #+ Syntax]))
   [///lang])
 
-(exception: #export Invalid-Lux-Version)
+(exception: #export (Invalid-Lux-Version {message Text})
+  message)
 
 (def: (write-type type)
   (-> Type Code)
@@ -56,20 +57,20 @@
 (def: read-type
   (Syntax Type)
   (let [tagged (: (All [a] (-> Text (Syntax a) (Syntax a)))
-                  (function [tag syntax]
+                  (function (_ tag syntax)
                     (s.form (p.after (s.this (code.text tag)) syntax))))
         binary (: (-> Text (Syntax Type) (Syntax [Type Type]))
-                  (function [tag read-type]
+                  (function (_ tag read-type)
                     (tagged tag (p.seq read-type read-type))))
         indexed (: (-> Text (Syntax Nat))
-                   (function [tag]
+                   (function (_ tag)
                      (tagged tag s.nat)))
         quantified (: (-> Text (Syntax Type) (Syntax [(List Type) Type]))
-                      (function [tag read-type]
+                      (function (_ tag read-type)
                         (tagged tag (p.seq (s.tuple (p.some read-type))
                                            read-type))))]
     (p.rec
-     (function [read-type]
+     (function (_ read-type)
        ($_ p.alt
            (tagged "Primitive" (p.seq s.text (p.some read-type)))
            (s.this (` "Void"))
-- 
cgit v1.2.3