Scope(..),
VM,
- noV, tryV, maybeV, orElseV, fixV, localV, closedV, initV,
+ noV, tryV, maybeV, traceMaybeV, orElseV, fixV, localV, closedV, initV,
cloneName, cloneId,
newExportedVar, newLocalVar, newDummyVar, newTyVar,
lookupVar, defGlobalVar,
lookupTyCon, defTyCon,
lookupDataCon, defDataCon,
- lookupTyConPA, defTyConPA, defTyConRdrPAs,
+ lookupTyConPA, defTyConPA, defTyConPAs, defTyConRdrPAs,
lookupTyVarPA, defLocalTyVar, defLocalTyVarWithPA, localTyVars,
{-lookupInst,-} lookupFamInst
defTyConPA tc pa = updGEnv $ \env ->
env { global_pa_funs = extendNameEnv (global_pa_funs env) (tyConName tc) pa }
+defTyConPAs :: [(TyCon, Var)] -> VM ()
+defTyConPAs ps = updGEnv $ \env ->
+ env { global_pa_funs = extendNameEnvList (global_pa_funs env)
+ [(tyConName tc, pa) | (tc, pa) <- ps] }
+
defTyConRdrPAs :: [(Name, RdrName)] -> VM ()
defTyConRdrPAs ps
= do