fitsinto: remove unnecessary is_pi

Fundament-Software · Dec 9, 2023 · f128a3b · f128a3b
1 parent d1740fa
commit f128a3b
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/evaluator.lua b/evaluator.lua
@@ -347,9 +347,6 @@ add_comparer("value.tuple_type", "value.tuple_type", function(a, b)
 	return true
 end)
 add_comparer("value.pi", "value.pi", function(a, b)
-	if not a:is_pi() and b:is_pi() then
-		error "both arguments must be pis"
-	end
 	if a == b then
 		return true
 	end