From 38b88d36b596edae1688e9c6b04f00ab4ccc1854 Mon Sep 17 00:00:00 2001
From: Martin Fredin <fredin.martin@gmail.com>
Date: Fri, 28 Apr 2023 14:20:24 +0200
Subject: [PATCH] Use throwError instead of error

---
 src/TypeChecker/TypeCheckerBidir.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TypeChecker/TypeCheckerBidir.hs b/src/TypeChecker/TypeCheckerBidir.hs
index 4cc8d5e..cb35bac 100644
--- a/src/TypeChecker/TypeCheckerBidir.hs
+++ b/src/TypeChecker/TypeCheckerBidir.hs
@@ -605,7 +605,7 @@ instantiateR a alpha = gets env >>= \env -> go env a alpha
         let (env_l, _) = splitOn (EnvMark epsilon') env
         putEnv env_l
 
-    go _ a alpha = error $ "Trying to instantiateR: " ++ ppT a ++ " <: "
+    go _ a alpha = throwError $ "Trying to instantiateR: " ++ ppT a ++ " <: "
                            ++ ppT (TEVar alpha)
 
 ---------------------------------------------------------------------------