summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorsimonpj@microsoft.com <unknown>2010-12-02 10:27:06 +0000
committersimonpj@microsoft.com <unknown>2010-12-02 10:27:06 +0000
commitb9117bfdfc1c22ed594f33cdae5bdda5813b78a3 (patch)
tree2e49ce9a9874879babc256250499c202235ded7d /compiler
parentaae915d6743e4c0986625f142df1fbc1384ff8df (diff)
downloadhaskell-b9117bfdfc1c22ed594f33cdae5bdda5813b78a3.tar.gz
Improve error message (Trac #4799)
Diffstat (limited to 'compiler')
-rw-r--r--compiler/typecheck/TcBinds.lhs4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index 4872a80d7e..9f11ade302 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