diff options
author | Eduardo Julian | 2017-11-13 23:45:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-11-13 23:45:12 -0400 |
commit | 530a14bfe7714f94babdb34c237b88321408a685 (patch) | |
tree | e91f3059694f707a8b70c4b4adac2e3b6ec1553b /new-luxc/source/luxc/lang/analysis/structure.lux | |
parent | 70005a6dee1eba3e3f5694aa4903e95988dcaa3d (diff) |
- More refactoring.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/analysis/structure.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/structure.lux b/new-luxc/source/luxc/lang/analysis/structure.lux index b7047e105..e1f4de1d7 100644 --- a/new-luxc/source/luxc/lang/analysis/structure.lux +++ b/new-luxc/source/luxc/lang/analysis/structure.lux @@ -217,7 +217,7 @@ (do @ [#let [case-size (list;size group)] inferenceT (&inference;variant idx case-size variantT) - [inferredT valueA+] (&inference;apply-function analyse inferenceT (list valueC)) + [inferredT valueA+] (&inference;general analyse inferenceT (list valueC)) temp &scope;next-local] (wrap (la;sum idx case-size temp (|> valueA+ list;head maybe;assume)))) @@ -303,7 +303,7 @@ (#;Var _) (do @ [inferenceT (&inference;record recordT) - [inferredT membersA] (&inference;apply-function analyse inferenceT membersC)] + [inferredT membersA] (&inference;general analyse inferenceT membersC)] (wrap (la;product membersA))) _ |