[Haskell-cafe] More on the random idea

Donald Bruce Stewart dons at cse.unsw.edu.au
Sun May 27 23:32:10 EDT 2007


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


More information about the Haskell-Cafe mailing list