X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FTyCon.lhs;h=dc7e2d3e327caff4534d6a10572fd045ebfe9a83;hp=2965f6c3e65b0a2875ca7f7e5e8d6e82aa166591;hb=59fa6266f00b6edcfc20c491c8de9a1b215dfa22;hpb=21eea25f1212ec306aac806233a2ec048212d529 diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs index 2965f6c..dc7e2d3 100644 --- a/compiler/types/TyCon.lhs +++ b/compiler/types/TyCon.lhs @@ -954,7 +954,7 @@ tcExpandTyCon_maybe _ _ = Nothing -- ^ Used to create the view /Core/ has on 'TyCon's. We expand not only closed synonyms like 'tcExpandTyCon_maybe', -- but also non-recursive @newtype@s -coreExpandTyCon_maybe (AlgTyCon {algTcRec = NonRecursive, -- Not recursive +coreExpandTyCon_maybe (AlgTyCon { algTcRhs = NewTyCon { nt_etad_rhs = etad_rhs, nt_co = Nothing }}) tys = case etad_rhs of -- Don't do this in the pattern match, lest we accidentally -- match the etad_rhs of a *recursive* newtype