import HsCore ( HsIdInfo(..), UfExpr(..), toUfExpr, toUfBndr )
import HsTypes ( toHsTyVars )
import BasicTypes ( Fixity(..), NewOrData(..),
- Version, initialVersion, bumpVersion, isLoopBreaker
+ Version, initialVersion, bumpVersion,
)
import RnMonad
import RnHsSyn ( RenamedInstDecl, RenamedTyClDecl )
)
import CmdLineOpts
-import Id ( Id, idType, idInfo, omitIfaceSigForId, isDictFunId,
+import Id ( Id, idType, idInfo, isImplicitId, isDictFunId,
idSpecialisation, setIdInfo, isLocalId, idName, hasNoBinding
)
import Var ( isId )
= ([getName field_label], mk_bang_ty strict_mark (fieldLabelType field_label))
ifaceTyCls (AnId id) so_far
- | omitIfaceSigForId id = so_far
- | otherwise = iface_sig : so_far
+ | isImplicitId id = so_far
+ | otherwise = iface_sig : so_far
where
iface_sig = IfaceSig { tcdName = getName id,
tcdType = toHsType id_type,
NoStrictnessInfo -> []
info -> [HsStrictness info]
-
------------ Worker --------------
work_info = workerInfo id_info
has_worker = case work_info of { HasWorker _ _ -> True; other -> False }