
22 Mar
2009
22 Mar
'09
3:19 p.m.
2009/3/22 Colin Paul Adams
"Max" == Max Bolingbroke
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