+ builtins <- initBuiltins
+ builtin_tycons <- initBuiltinTyCons
+ builtin_pas <- initBuiltinPAs
+ builtin_prs <- initBuiltinPRs builtins
+
+ eps <- ioToIOEnv $ hscEPS hsc_env
+ let famInstEnvs = (eps_fam_inst_env eps, mg_fam_inst_env guts)
+ instEnvs = (eps_inst_env eps, mg_inst_env guts)
+
+ let genv = extendTyConsEnv builtin_tycons
+ . extendPAFunsEnv builtin_pas
+ . setPRFunsEnv builtin_prs
+ $ initGlobalEnv info instEnvs famInstEnvs
+
+ r <- runVM p builtins genv emptyLocalEnv