diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/cache/description.lux | 13 |
1 files changed, 7 insertions, 6 deletions
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")) |