Commit 4cc88265 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Fix a one-character typo (kv1 should be kv2!)

Fixes Trac #6020, #6044
parent 3b528914
......@@ -1119,7 +1119,7 @@ uKVar isFlipped unify_kind eq_res kv1 k2
| TyVarTy kv2 <- k2, kv1 == kv2
= return eq_res
| TyVarTy kv2 <- k2, isTcTyVar kv1, isMetaTyVar kv2
| TyVarTy kv2 <- k2, isTcTyVar kv2, isMetaTyVar kv2
= uKVar (not isFlipped) unify_kind eq_res kv2 (TyVarTy kv1)
| otherwise = if isFlipped
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment