mkLiftEnv lc tys vs
= do
(env_tc, env_tyargs) <- parrayReprTyCon vty
+
+ bndrs <- if null vs then do
+ v <- newDummyVar unitTy
+ return [v]
+ else return vs
let [env_con] = tyConDataCons env_tc
env = Var (dataConWrapId env_con)
args | null vs = [Var unitDataConId]
| otherwise = map Var vs
- bndrs | null vs = [mkWildId unitTy]
- | otherwise = vs
-