
30 Mar
2009
30 Mar
'09
8:10 p.m.
If you want one to generate names inside of a compiler. Here is a monad that is specialized to provide features useful for that. (like keeping track of in scope bound names independently of new names that arn't available for binding when renaming mutually recursive bindings as a group). Feel free to consider it public domain. http://repetae.net/repos/jhc/Util/NameMonad.hs John -- John Meacham - ⑆repetae.net⑆john⑈