diff options
Diffstat (limited to 'stdlib/source/library/lux/type/check.lux')
-rw-r--r-- | stdlib/source/library/lux/type/check.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux index 10fe700e8..2048e1159 100644 --- a/stdlib/source/library/lux/type/check.lux +++ b/stdlib/source/library/lux/type/check.lux @@ -310,14 +310,14 @@ (-> Var (Check Ring)) (function (_ context) (loop [current start - output (set.add start empty_ring)] + output (set.has start empty_ring)] (case (|> context (get@ #.var_bindings) (var::get current)) (#.Some (#.Some type)) (case type (#.Var post) (if (!n\= start post) (#try.Success [context output]) - (recur post (set.add post output))) + (recur post (set.has post output))) _ (#try.Success [context empty_ring])) |