20 Jun
2006
20 Jun
'06
11:34 a.m.
Simon,
Yes, it's quite deliberate. See 5.4 of
http://research.microsoft.com/%7Esimonpj/papers/gadt/gadt-icfp.pdf The alternative design choice is to reject both programs, but in Haskell (because of laziness) the evaluation order is prescribed, so accepting the former seems right.
Yes, I've read it now and your point is clear. Thank you. Regards, Stefan