diff options
Diffstat (limited to 'compiler/types/Unify.hs')
-rw-r--r-- | compiler/types/Unify.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs index 63f024a824..0e41ca66ac 100644 --- a/compiler/types/Unify.hs +++ b/compiler/types/Unify.hs @@ -922,7 +922,7 @@ we invoke Although we have unified k and j, it's very important that we put (Refl j), /not/ (Refl k) as the fourth argument to unify_tys. -If we put (Refl k) we'd end up with teh substitution +If we put (Refl k) we'd end up with the substitution a :-> b |> Refl k which is bogus because one of the template variables, k, appears in the range of the substitution. Eek. |