From d1171dc59edd34418e1b8b4da432c78cd59a9cb4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 20 May 2017 20:23:32 -0400 Subject: - Simplified the analytic model of tuples into products, and variants into sums. --- new-luxc/source/luxc/analyser.lux | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'new-luxc/source/luxc/analyser.lux') diff --git a/new-luxc/source/luxc/analyser.lux b/new-luxc/source/luxc/analyser.lux index 90140afb4..2be2b6da6 100644 --- a/new-luxc/source/luxc/analyser.lux +++ b/new-luxc/source/luxc/analyser.lux @@ -61,7 +61,7 @@ (analyse singleton) (^ (#;Tuple elems)) - (&&struct;analyse-tuple analyse elems) + (&&struct;analyse-product analyse elems) (^ (#;Record pairs)) (&&struct;analyse-record analyse pairs) @@ -93,11 +93,11 @@ (^ (#;Form (list [_ (#;Nat tag)] value))) - (&&struct;analyse-variant analyse tag value) + (&&struct;analyse-sum analyse tag value) (^ (#;Form (list [_ (#;Tag tag)] value))) - (&&struct;analyse-tagged-variant analyse tag value) + (&&struct;analyse-tagged-sum analyse tag value) (^ (#;Form (list& func args))) (do Monad -- cgit v1.2.3