- let foo_name = mkRdrName "Types.Data.Num" "foo"
- let foo_bind_name = RdrName.mkRdrUnqual $ OccName.mkVarOcc "foo"
- let binds = Bag.listToBag [SrcLoc.noLoc $ HsBinds.VarBind foo_bind_name (SrcLoc.noLoc $ HsExpr.HsVar foo_name)]
- let letexpr = HsExpr.HsLet
- (HsBinds.HsValBinds $ (HsBinds.ValBindsIn binds) [])
- (SrcLoc.noLoc expr)
-
- let modules = map GHC.mkModuleName ["Types.Data.Num"]
- core <- toCore modules expr