From 4e10fb3fda7cacaf638419160cf5a8ce54dcfd79 Mon Sep 17 00:00:00 2001
From: Gleb Koval <gleb@koval.net>
Date: Fri, 7 Feb 2025 12:26:04 +0000
Subject: [PATCH] refactor: fail on `?` snd or fst type-check result

---
 src/main/wacc/typeChecker.scala | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/main/wacc/typeChecker.scala b/src/main/wacc/typeChecker.scala
index 5c20ec0..38b34e3 100644
--- a/src/main/wacc/typeChecker.scala
+++ b/src/main/wacc/typeChecker.scala
@@ -203,7 +203,6 @@ object typeChecker {
       ) match {
         case what @ KnownType.Pair(left, _) =>
           left.satisfies(constraint, elem.pos)
-        case ? => ?.satisfies(constraint, elem.pos)
         case _ => ctx.error(Error.InternalError(elem.pos, "fst must be applied to a pair"))
       } // satisfies constraint
     case Snd(elem) =>
@@ -212,7 +211,6 @@ object typeChecker {
         Constraint.Is(KnownType.Pair(?, ?), "snd must be applied to a pair")
       ) match {
         case KnownType.Pair(_, right) => right.satisfies(constraint, elem.pos)
-        case ?                        => ?.satisfies(constraint, elem.pos)
         case _ => ctx.error(Error.InternalError(elem.pos, "snd must be applied to a pair"))
       }