tcGenPragmas
) where
-import TcMonad -- typechecking monadic machinery
+import TcMonad hiding ( rnMtoTcM )
import HsSyn -- the stuff being typechecked
import PrelInfo ( PrimOp(..) -- to see CCallOp
- IF_ATTACK_PRAGMAS(COMMA tagOf_PrimOp)
- IF_ATTACK_PRAGMAS(COMMA pprPrimOp)
)
import Type
import CmdLineOpts
clas = lookupCE rec_ce c
super_clas = lookupCE rec_ce sc
in
- returnB_Tc (getSuperDictSelId clas super_clas)
+ returnB_Tc (classSuperDictSelId clas super_clas)
tc_uf_Id lve (ClassOpUfId c op_name)
= let
clas = lookupCE rec_ce c
op = lookup_class_op clas op_name
in
- returnB_Tc (getClassOpId clas op)
+ returnB_Tc (classOpId clas op)
tc_uf_Id lve (DefaultMethodUfId c op_name)
= let
clas = lookupCE rec_ce c
op = lookup_class_op clas op_name
in
- returnB_Tc (getDefaultMethodId clas op)
+ returnB_Tc (classDefaultMethodId clas op)
tc_uf_Id lve uf_id@(DictFunUfId c ty)
= tc_uf_type nullTVE ty `thenB_Tc` \ new_ty ->
---------------
lookup_class_op clas (ClassOpName _ _ _ tag)
- = getClassOps clas !! (tag - 1)
+ = classOps clas !! (tag - 1)
---------------------------------------------------------------------
tc_uf_type :: TVE -> UnfoldingType Name -> Baby_TcM Type