Make impossible error more specific

2013-08-12 14:30:32 -07:00 · 2013-08-12 14:30:32 -07:00 · e4fc35c901
commit e4fc35c901
parent a3f62bdd14
1 changed files with 2 additions and 1 deletions
--- a/compiler/Type/State.hs
+++ b/compiler/Type/State.hs
@ -139,7 +139,8 @@ makeCopy alreadyCopied variable = do
    () | mark desc == alreadyCopied ->
           case copy desc of
             Just v -> return v
-             Nothing -> error "This should be impossible."
+             Nothing -> error $ "Error copying type variable. This should be impossible." ++
+                                " Please report an error to the github repo!"

       | rank desc /= noRank || flex desc == Constant ->
           return variable