[GHC] #1488: Code that won't ever be executed should not give rise to constraints

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Lennart Augustsson wrote:
> And ghci gives the only sensible answer.  Once you start trying to be
> clever
> you're on the slippery slope to undecidability.  How would one know
> where to
> stop?
> I would be most perturbed if Haskell were to try and ignore "unused"
> variables.



>> Since deciding whether a certain variable is used is very easy in this
>> setting(for example CPP macros that expand into "if debugging", where
>> debugging will have a constant value. (I don't expect you to solve the
>> Halting Problem).

Does this make CPP-usage put you on the slippery slope to
undecidability?   just a thought...


Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGiuJNHgcxvIWYTTURAtkdAJ9q1gpadq3Pm81duZFcd5y/5kVHmwCfXLp6
jL9i4OfoyD5CKkBMMcpWEcE=
=cebr
-----END PGP SIGNATURE-----
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs