usageOmega, pprUVar, duffUsage,
nullUVarEnv, mkUVarEnv, addOneToUVarEnv,
growUVarEnvList, isNullUVarEnv, lookupUVarEnv,
- eqUVar, eqUsage
+ eqUVar, eqUsage, cloneUVar
) where
IMP_Ubiq(){-uitous-}
usageOmega = UsageOmega
+cloneUVar :: UVar -> Unique -> UVar
+cloneUVar uvar uniq = uniq
+
duffUsage :: GenUsage uvar
duffUsage = panic "Usage of non-Type kind doesn't make sense"
\end{code}