aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler
diff options
context:
space:
mode:
authorEduardo Julian2022-06-14 22:39:09 -0400
committerEduardo Julian2022-06-14 22:39:09 -0400
commitd5d5fcc3a85ef10081772355fc20932b387a35ab (patch)
treeeb9cda1dd67a1f157093e5e0c6adcfd97a676bcd /stdlib/source/library/lux/tool/compiler
parentda79da086a028a55130fbbbc5e08ed0ce736ff96 (diff)
De-sigil-ification: suffix : [Part 10]
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler')
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux
index f1a2943ff..dba3ad176 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux
@@ -57,7 +57,7 @@
(Operation Type)
(do phase.monad
[module (extension.lifted meta.current_module_name)
- [id _] (..check check.existential)]
+ id (extension.lifted meta.seed)]
(in (..existential' module id))))
(def: .public (expecting expected)