diff options
author | Eduardo Julian | 2018-06-15 00:11:33 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-06-15 00:11:33 -0400 |
commit | bcd3d9ee8f6797f758a2abea98d5cb6a74cc7df0 (patch) | |
tree | b122b9ecf2d5333ba97cffbadfeee00eba2e1cf8 /new-luxc/source/luxc/lang/synthesis | |
parent | 0190e084c6f44be32ea2bc5a89ef55b52bdc789b (diff) |
- WIP: Adjustments to new-luxc based on recent changes to stdlib.
Diffstat (limited to 'new-luxc/source/luxc/lang/synthesis')
-rw-r--r-- | new-luxc/source/luxc/lang/synthesis/variable.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis/variable.lux b/new-luxc/source/luxc/lang/synthesis/variable.lux index b1988018d..4a3317d9f 100644 --- a/new-luxc/source/luxc/lang/synthesis/variable.lux +++ b/new-luxc/source/luxc/lang/synthesis/variable.lux @@ -11,7 +11,7 @@ (-> ls.Path (List Variable)) (case path (#ls.BindP register) - (list (nat-to-int register)) + (list (.int register)) (^or (#ls.SeqP pre post) (#ls.AltP pre post)) (list/compose (bound-vars pre) (bound-vars post)) @@ -37,7 +37,7 @@ (def: (non-arg? arity var) (-> ls.Arity Variable Bool) (and (variableL.local? var) - (n/> arity (int-to-nat var)))) + (n/> arity (.nat var)))) (type: Tracker (s.Set Variable)) |