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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
