Commit b9117bfd authored by's avatar

Improve error message (Trac #4799)

parent aae915d6
......@@ -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
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