2009/3/22 Colin Paul Adams <colin at colina.demon.co.uk>:
>>>>>> "Max" == Max Bolingbroke <batterseapower at hotmail.com> writes:
>> Max> It moved to MkCore
>> Thanks.
>> What about mkWildId from Id.lhs? That one seems to have vanished.
Looks that might be the same deal (moved to MkCore), assuming this is
what you wanted:
-- | Make a /wildcard binder/. This is typically used when you need a binder
-- that you expect to use only at a *binding* site. Do not use it at
-- occurrence sites because it has a single, fixed unique, and it's very
-- easy to get into difficulties with shadowing. That's why it is
used so little.
mkWildBinder :: Type -> Id
mkWildBinder ty = mkSysLocal (fsLit "wild") (mkBuiltinUnique 1) ty
Cheers,
Max