From 36303d6cb2ce3ab9e36d045b9516c997bd461862 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 24 Aug 2021 05:23:45 -0400 Subject: Outsourced the syntax for labelled type definitions to macros. --- lux-r/source/luxc/lang/synthesis/variable.lux | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'lux-r/source') diff --git a/lux-r/source/luxc/lang/synthesis/variable.lux b/lux-r/source/luxc/lang/synthesis/variable.lux index 920c99057..fe599dfc7 100644 --- a/lux-r/source/luxc/lang/synthesis/variable.lux +++ b/lux-r/source/luxc/lang/synthesis/variable.lux @@ -14,7 +14,7 @@ (list (.int register)) (^or (#ls.SeqP pre post) (#ls.AltP pre post)) - (list/compose (bound-vars pre) (bound-vars post)) + (list/composite (bound-vars pre) (bound-vars post)) _ (list))) @@ -29,7 +29,7 @@ (path-bodies post) (#ls.AltP pre post) - (list/compose (path-bodies pre) (path-bodies post)) + (list/composite (path-bodies pre) (path-bodies post)) _ (list))) @@ -39,9 +39,12 @@ (and (variableL.local? var) (n/> arity (.nat var)))) -(type: Tracker (s.Set Variable)) +(type: Tracker + (s.Set Variable)) -(def: init-tracker Tracker (s.new number.Hash)) +(def: init-tracker + Tracker + (s.new number.Hash)) (def: (unused-vars current-arity bound exprS) (-> ls.Arity (List Variable) ls.Synthesis (List Variable)) -- cgit v1.2.3