[Nix-dev] Re: Proposal: tryCatch function

[Michael Raskin]

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

Nicolas Pierron wrote:
> There throw should not throw an exception in the C++ code but it
> should just return a normal form.
> 
> throw "foo": is a normal form
> (throw "foo") + "bar" : is not a normal form and it returns throw "foo".
> 
> This remove the problem of the evaluation order I guess.

What should
(throw "foo") + (throw "bar")
return?

What about ({x,y}:...) {x=(throw "x"); y=(throw "y");} ?
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iQEcBAEBAgAGBQJJYx8VAAoJEE6tnN0aWvw3nnsIAKb/zQylsxEw312omBUusJdW
J2JQ8YpoE2fecqizmG7DtngqkdWzkoLPtkTsBOqFSyHRIqrGDswMjcS1T4VnwPGF
y/51rIzClrXsrrzvRL9XOPOgPNJlDJtdtYavpGbXf7/bZTLPApAuEdfd6Xm2q+jd
ydHm8HnPISFaYCGL3vHxwGGwQfdaUpMbBmhhHeJIN7wnvNeXTLcIoAAKjeyVF5N0
RwBKvRDhfKPvD4Ybw3PKBh09CMww4sOSaunz55CJ7dwPhSKB9ED/dot0nPm3siMR
nzESKzSxQreIhZ2TTgnAwDerOCuzDAnoS2qRB/+4dpXit3DLL6IXcx6tNK2Zcxg=
=K3ri
-----END PGP SIGNATURE-----