import StgSyn
-import Bag ( Bag, emptyBag, isEmptyBag, snocBag, foldBag )
+import Bag ( Bag, emptyBag, isEmptyBag, snocBag )
import Id ( Id, idType )
import VarSet
import DataCon ( DataCon, dataConArgTys, dataConRepType )
import Type ( mkFunTys, splitFunTys, splitAlgTyConApp_maybe,
isUnLiftedType, isTyVarTy, splitForAllTys, Type
)
-import TyCon ( TyCon, isDataTyCon )
+import TyCon ( TyCon )
import Util ( zipEqual )
import Outputable
(a) *some* type errors
(b) locally-defined variables used but not defined
+
+Note: unless -dverbose-stg is on, display of lint errors will result
+in "panic: bOGUS_LVs".
+
+WARNING:
+~~~~~~~~
+
+This module has suffered bit-rot; it is likely to yield lint errors
+for Stg code that is currently perfectly acceptable for code
+generation. Solution: don't use it! (KSW 2000-05).
+
+
%************************************************************************
%* *
\subsection{``lint'' for various constructs}
-- a real error out of it...
let
new_set = mkVarSet ids
-
- shadowed = scope `intersectVarSet` new_set
in
-- After adding -fliberate-case, Simon decided he likes shadowed
-- names after all. WDP 94/07