2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1995
4 \section[Errors]{Error reporting}
6 This module now merely re-exports the work of @ErrsRn@ and @ErrsTc@;
7 this is the public interface. (WDP 94/06)
10 #include "HsVersions.h"
21 derivingNonStdClassErr,
25 duplicateImportsInInterfaceErr,
26 inlineInRecursiveBindsErr,
28 -- mismatchedPragmasErr, UNUSED
32 weirdImportExportConstraintErr,
34 -- typechecker errors:
45 derivingWhenInstanceExistsErr,
46 -- derivingNoSuperClassInstanceErr, UNUSED
48 -- extraMethodsErr, UNUSED
50 -- genPrimTyVarErr, UNUSED
54 -- methodInstErr, UNUSED
57 methodTypeLacksTyVarErr,
58 -- missingClassOpErr, UNUSED
59 naughtyCCallContextErr,
62 -- patMatchWithPrimErr, UNUSED
64 -- purelyLocalErr, UNUSED
68 specCtxtGroundnessErr,
71 specInstUnspecInstNotFoundErr,
72 topLevelUnboxedDeclErr,
81 #endif {- Data Parallel Haskell -}
86 -- and to make the interface self-sufficient
87 Bag, Class, ClassOp, MonoBinds, ProtoNameMonoBinds(..), Sig,
88 RenamedSig(..), Expr, RenamedExpr(..), GRHS, RenamedGRHS(..),
89 GRHSsAndBinds, RenamedGRHSsAndBinds(..), Match, IE,
90 RenamedMatch(..), InPat, ProtoNamePat(..), RenamedPat(..),
91 GenPragmas, Id, Inst, Name, PprStyle, Pretty(..), PrettyRep,
92 ProtoName, SrcLoc, TyCon, TyVar, TyVarTemplate, UniType,
93 TauType(..), Maybe, SignatureInfo, TypecheckedPat,
97 -- I don't know how much of this is needed... (WDP 94/06)
103 import AbsSyn -- we print a bunch of stuff in here
104 import UniType ( UniType(..) ) -- Concrete, to make some errors
106 import AbsUniType ( TyVar, TyVarTemplate, TyCon,
107 TauType(..), Class, ClassOp
108 IF_ATTACK_PRAGMAS(COMMA pprUniType)
110 import Bag ( Bag, bagToList )
111 import GenSpecEtc ( SignatureInfo(..) )
112 import HsMatches ( pprMatches, pprMatch, pprGRHS )
113 import Id ( getIdUniType, Id, isSysLocalId )
114 import Inst ( getInstOrigin, getDictClassAndType, Inst )
115 import Maybes ( Maybe(..) )
116 import Name ( cmpName )
118 import Pretty -- to pretty-print error messages
120 import PodizeMonad ( PodWarning(..) )
121 #endif {- Data Parallel Haskell -}
122 import SrcLoc ( mkUnknownSrcLoc, SrcLoc )