Searched defs:getTopEnv (Results 1 – 4 of 4) sorted by relevance
126 getTopEnv = unsafeTcPluginTcM TcM.getTopEnv function
431 getTopEnv = do { env <- getEnv; return (env_top env) } function
3072 getTopEnv = wrapTcS $ TcM.getTopEnv function
207 func (s *callStack) getTopEnv() environment { func