-
-newFailLocalDs ty = do
- uniq <- newUnique
- return (mkSysLocal FSLIT("fail") uniq ty)
- -- The UserLocal bit just helps make the code a little clearer
-\end{code}
-
-\begin{code}
-newTyVarsDs :: [TyVar] -> DsM [TyVar]
-newTyVarsDs tyvar_tmpls = do
- uniqs <- newUniqueSupply
- return (zipWith setTyVarUnique tyvar_tmpls (uniqsFromSupply uniqs))