diff options
| author | Iavor S. Diatchki <diatchki@galois.com> | 2015-03-06 11:33:31 -0800 |
|---|---|---|
| committer | Iavor S. Diatchki <diatchki@galois.com> | 2015-03-06 11:33:31 -0800 |
| commit | e63a277d2b1bfd01e5a53566f8f72a13ad7c0f86 (patch) | |
| tree | d88b15f31bac4fdb1fba065f98c2559bd55052c4 | |
| parent | 8447183280f775c6af7b441b1c32b5bb0685a748 (diff) | |
| download | haskell-typeable-with-kinds.tar.gz | |
Always use a fresh wanted variable, as otherwise we could get into loops.typeable-with-kinds
| -rw-r--r-- | compiler/typecheck/TcInteract.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs index 53ef0e6360..11c917dea2 100644 --- a/compiler/typecheck/TcInteract.hs +++ b/compiler/typecheck/TcInteract.hs @@ -1836,7 +1836,7 @@ matchTypeableClass clas k t loc -- Emit a `Typeable` constraint for the given type. subGoal ty = do let goal = mkClassPred clas [ typeKind ty, ty ] - (ev,_) <- newWantedEvVar loc goal + ev <- newWantedEvVarNC loc goal return ev |