diff options
| author | Eduardo Julian | 2017-05-20 20:23:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-20 20:23:32 -0400 |
| commit | d1171dc59edd34418e1b8b4da432c78cd59a9cb4 (patch) | |
| tree | c76bd1a825197069ec380ac81b00a447a2c7fbf3 /new-luxc/source/luxc/analyser.lux | |
| parent | 8f88e4bf4b380e2f09d046fbef05fca452eae62c (diff) | |
- Simplified the analytic model of tuples into products, and variants into sums.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/analyser.lux | 6 |
1 files changed, 3 insertions, 3 deletions
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<Lux> |