returnM (combiner (mkMonoBind Recursive (poly_binds `andMonoBinds` prag_binds))
thing)
- NotTopLevel -- For nested bindings we must
+ NotTopLevel -- For nested bindings we must do teh bindInstsOfLocalFuns thing
-> getLIE (tc_body poly_ids) `thenM` \ ((prag_binds, thing), lie) ->
-- Create specialisations of functions bound here
where
tc_body poly_ids -- Type check the pragmas and "thing inside"
= -- Extend the environment to bind the new polymorphic Ids
- tcExtendLocalValEnv poly_ids $
+ tcExtendLocalValEnv poly_ids $
-- Build bindings and IdInfos corresponding to user pragmas
tcSpecSigs sigs `thenM` \ prag_binds ->
-- Glue them on the front of the remaining decls and loop
(tc_envs, src_dus2) <- tc_rn_src_decls (spliced_decls ++ rest_ds) ;
- return (tcg_envs, src_dus1 `plusDU` usesOnly splice_fvs `plusDU` src_dus2)
+ return (tc_envs, src_dus1 `plusDU` usesOnly splice_fvs `plusDU` src_dus2)
}
#endif /* GHCI */
}}}