diff options
| author | simonpj@microsoft.com <unknown> | 2006-12-11 16:05:17 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2006-12-11 16:05:17 +0000 |
| commit | 536ef736dfc1568670d44072abfb4f16c84bcdb8 (patch) | |
| tree | 12d926e9857b62f40c02ef9f19da22d43f8641f9 | |
| parent | 4e5faff9152918cd00dcdad9068b0f1eba1fcd68 (diff) | |
| download | haskell-536ef736dfc1568670d44072abfb4f16c84bcdb8.tar.gz | |
Suggests -fglasgow-exts for contexts-differ-in-length error
| -rw-r--r-- | compiler/typecheck/TcUnify.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index 5fcaea6cf1..169cf7b5c4 100644 --- a/compiler/typecheck/TcUnify.lhs +++ b/compiler/typecheck/TcUnify.lhs @@ -841,7 +841,8 @@ unifyTheta :: TcThetaType -> TcThetaType -> TcM () -- Acutal and expected types unifyTheta theta1 theta2 = do { checkTc (equalLength theta1 theta2) - (ptext SLIT("Contexts differ in length")) + (vcat [ptext SLIT("Contexts differ in length"), + nest 2 $ parens $ ptext SLIT("Use -fglasgow-exts to allow this")]) ; uList unifyPred theta1 theta2 } --------------- |