diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux')
| -rw-r--r-- | stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux index d71ad7c71..6c94f14bd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux @@ -22,7 +22,8 @@ ["/[1]" // "_" ["[1][0]" extension] [// - ["/" analysis {"+" Tag Analysis Operation Phase}] + ["/" analysis {"+" Analysis Operation Phase} + [composite {"+" Tag}]] [/// ["[1]" phase ("[1]#[0]" monad)] [meta @@ -248,7 +249,7 @@ ... Turns a variant type into the kind of function type suitable for inference. (def: .public (variant tag expected_size inferT) - (-> Nat Nat Type (Operation Type)) + (-> Tag Nat Type (Operation Type)) (loop [depth 0 currentT inferT] (case currentT |