
isaacdupree:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Isaac Dupree wrote:
"The expression is bound to a random top level identifier (harmless to guess)"
What about the non-recursive
case ...expr... of x -> take 2048 (show x)
this way expr can't refer to x (it doesn't at all need to be randomly generated this way) and definitely can't bind other things like take and show (they probably should be qualified anyway)
er, wait, I'm confused. Is it top-level? If not, it could just be
take 2048 (show ( ...expr... ))
and it doesn't look top-level to me from the lambdabot code in scripts/RunPlugs.hs
Ah right. No, it is bound to a top level value, but is itself not -- its a local binding so we can use {-# #-} pragmas to get more precise error messages (if I recall correctly). -- Don