Commit c99941cf authored by's avatar
Browse files

Fix #8917.

FamInstEnv.normaliseTcApp should normalise arguments even when
the top-level tycon isn't a type family. This was a regression
from 7.6 -- not sure when it happened, but it was probably my
fault. Fixed now, in any case.
parent 47796026
......@@ -959,9 +959,9 @@ normaliseTcApp env role tc tys
| otherwise -- No unique matching family instance exists;
-- we do not do anything
= (Refl role ty, ty)
ty = mkTyConApp tc tys
= let (co, ntys) = normaliseTcArgs env role tc tys in
(co, mkTyConApp tc ntys)
normaliseTcArgs :: FamInstEnvs -- environment with family instances
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