mkIfThenElse

[Max Bolingbroke]

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