Re: [Haskell-cafe] Haskell 2010 report nit?

On Mon, Dec 16, 2019 at 02:36:48AM -0500, Viktor Dukhovni wrote:

...

On Dec 16, 2019, at 2:32 AM, Tom Ellis wrote:

...

...

These examples illustrate the difference in pattern matching between types defined by data and newtype:

(\ (N True) -> True) ⊥ ⇒ ⊥ (\ (D True) -> True) ⊥ ⇒ ⊥ (\ ~(D True) -> True) ⊥ ⇒ True

[...] I think what you're saying is that this doesn't show a difference because

(\ ~(N True) -> True) ⊥ ⇒ True

Yes, because of that, and also because even if it were otherwise, it is not one of the examples. :-( But indeed the expressions used in the examples behave indistinguishably for "N" and "D". So the examples don't seem to make the intended point.

I agree that's very strange!