projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0fd760c
)
[project @ 2002-04-02 13:07:48 by simonpj]
author
simonpj
<unknown>
Tue, 2 Apr 2002 13:07:48 +0000
(13:07 +0000)
committer
simonpj
<unknown>
Tue, 2 Apr 2002 13:07:48 +0000
(13:07 +0000)
Error message tidy up
ghc/compiler/typecheck/TcMType.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcMType.lhs
b/ghc/compiler/typecheck/TcMType.lhs
index
6f97acb
..
15d4150
100644
(file)
--- a/
ghc/compiler/typecheck/TcMType.lhs
+++ b/
ghc/compiler/typecheck/TcMType.lhs
@@
-844,7
+844,7
@@
checkFreeness forall_tyvars theta
freeErr pred
= sep [ptext SLIT("All of the type variables in the constraint") <+> quotes (pprPred pred) <+>
ptext SLIT("are already in scope"),
freeErr pred
= sep [ptext SLIT("All of the type variables in the constraint") <+> quotes (pprPred pred) <+>
ptext SLIT("are already in scope"),
- nest 4 (ptext SLIT("At least one must be universally quantified here"))
+ nest 4 (ptext SLIT("(at least one must be universally quantified here)"))
]
\end{code}
]
\end{code}
@@
-1007,7
+1007,7
@@
fieldTypeMisMatch field_name
= sep [ptext SLIT("Different constructors give different types for field"), quotes (ppr field_name)]
existentialCtxt con = ptext SLIT("When checking the existential context of constructor")
= sep [ptext SLIT("Different constructors give different types for field"), quotes (ppr field_name)]
existentialCtxt con = ptext SLIT("When checking the existential context of constructor")
- <+> ppr con
+ <+> quotes (ppr con)
\end{code}
\end{code}