aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/synthesis.lux')
-rw-r--r--new-luxc/source/luxc/lang/synthesis.lux10
1 files changed, 6 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index f5d3f9c33..b86f49fb2 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -1,6 +1,8 @@
(;module:
lux)
+(def: #export Arity Nat)
+(def: #export Register Nat)
(def: #export Variable Int)
(type: #export (Path' s)
@@ -31,14 +33,14 @@
(#Variant Nat Bool Synthesis)
(#Tuple (List Synthesis))
(#Case Synthesis (Path' Synthesis))
- (#Function Nat (List Variable) Synthesis)
+ (#Function Arity (List Variable) Synthesis)
(#Call Synthesis (List Synthesis))
- (#Recur Nat (List Synthesis))
+ (#Recur (List Synthesis))
(#Procedure Text (List Synthesis))
(#Variable Variable)
(#Definition Ident)
- (#Let Nat Synthesis Synthesis)
+ (#Let Register Synthesis Synthesis)
(#If Synthesis Synthesis Synthesis)
- (#Loop Nat (List Synthesis) Synthesis))
+ (#Loop Register (List Synthesis) Synthesis))
(type: #export Path (Path' Synthesis))