Re: [Haskell-cafe] -fdefer-type-errors

I believe this is a known bug: #11197 (https://gitlab.haskell.org/ghc/ghc/issues/11197 https://gitlab.haskell.org/ghc/ghc/issues/11197) If you reported this again, could you please update your post to point to #11197? Thanks for reporting, regardless! Richard

On Apr 17, 2019, at 6:20 PM, Artem Pelenitsyn wrote:

I checked the release prior to 8.0.1 — 7.10.3, and it worked as expected (returned `True`). This looks like a bug introduced somewhere in between. I wish I could do git bisect on GHC properly…

Worth reporting, I guess.

-- Best, Artem

On Wed, 17 Apr 2019 at 16:26, Tom Ellis mailto:tom-lists-haskell-cafe-2017@jaguarpaw.co.uk> wrote: On Wed, Apr 17, 2019 at 04:17:17PM -0400, Bill Hallahan wrote:

...

However, with GHC 8.2.2, I get an error when trying to do this: [...] Prelude> let foo = (True, 'a' && False) [...] Prelude> fst foo *** Exception: <interactive>:1:18: error: • Couldn't match expected type ‘Bool’ with actual type ‘Char’

FWIW I see this behaviour in GHC 8.0.1 too. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.