X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyClsDecls.lhs;h=1a9d4c075229d3f0d5e131365c23e489da748984;hp=9e0b6cc6ed14a7a5f01da0a9a853d6d5fa7c60e0;hb=5edf58c10a0144fa8b328e18d0b7fffec2319424;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1 diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs index 9e0b6cc..1a9d4c0 100644 --- a/compiler/typecheck/TcTyClsDecls.lhs +++ b/compiler/typecheck/TcTyClsDecls.lhs @@ -301,7 +301,7 @@ kcTyClDecl decl@(TyData {tcdND = new_or_data, tcdCtxt = ctxt, tcdCons = cons}) details' <- kc_con_details details res' <- case res of ResTyH98 -> return ResTyH98 - ResTyGADT ty -> return . ResTyGADT =<< kcHsSigType ty + ResTyGADT ty -> do { ty' <- kcHsSigType ty; return (ResTyGADT ty') } return (ConDecl name expl ex_tvs' ex_ctxt' details' res') kc_con_details (PrefixCon btys)