X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Ftypecheck%2FTcBinds.lhs;h=9f11ade302005b8fe54f4e16980b8f5b2c6bcf0f;hb=b9117bfdfc1c22ed594f33cdae5bdda5813b78a3;hp=4872a80d7e442c5f71a858b5f714a13b052263e2;hpb=aae915d6743e4c0986625f142df1fbc1384ff8df;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index 4872a80..9f11ade 100644
--- a/compiler/typecheck/TcBinds.lhs
+++ b/compiler/typecheck/TcBinds.lhs
@@ -583,8 +583,8 @@ tcImpSpec p = pprPanic "tcImpSpec" (ppr p)
 impSpecErr :: Name -> SDoc
 impSpecErr name
   = hang (ptext (sLit "You cannot SPECIALISE") <+> quotes (ppr name))
-       2 (ptext (sLit "because its definition has no INLINE/INLINABLE pragma"))
-
+       2 (vcat [ ptext (sLit "because its definition has no INLINE/INLINABLE pragma")
+               , ptext (sLit "(or you compiled its definining module without -O)")])
 --------------
 -- If typechecking the binds fails, then return with each
 -- signature-less binder given type (forall a.a), to minimise