Searched refs:extendInteractiveContext (Results 1 – 5 of 5) sorted by relevance
5 , extendInteractiveContext304 extendInteractiveContext :: InteractiveContext310 extendInteractiveContext ictxt new_tythings new_cls_insts new_fam_insts defaults fix_env function
81 extendInteractiveContext, extendInteractiveContextWithIds,1759 extendInteractiveContext :: InteractiveContext1765 extendInteractiveContext ictxt new_tythings new_cls_insts new_fam_insts defaults fix_env function
1752 new_ictxt = extendInteractiveContext ictxt new_tythings cls_insts
80 extendInteractiveContext, extendInteractiveContextWithIds,1806 extendInteractiveContext :: InteractiveContext1812 extendInteractiveContext ictxt new_tythings new_cls_insts new_fam_insts defaults fix_env function