GHC is looping while deriving for pathologically recursive types

data Plus parent a = Plus [Plus (Plus parent) a] [parent (Plus parent a)] deriving Eq I think that something like this type is really what I want in practice, but I'm not sure 8-) -- __("Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/ \__/ GCS/M d-

False warning about overlapping patterns

GHC gives a false warning about overlapping patterns (-Wall): f "ab"= 1 f ('c':_) = 2 Surprisingly, changing "ab" to ['a','b'] shuts up the warning. The (correct) warning about non-exhaustive patterns says: Patterns not matched: #x with #x `not_elem` ["ab"] The Prelude function

Re: False warning about overlapping patterns

Marcin 'Qrczak' Kowalczyk wrote: GHC gives a false warning about overlapping patterns (-Wall): f "ab"= 1 f ('c':_) = 2 Surprisingly, changing "ab" to ['a','b'] shuts up the warning. [...] This is one of GHC's classic false alarms, and has been reported a couple of times by different

Wish List (Re: False warning about overlapping patterns)

Sun, 06 Feb 2000 16:45:06 +0100, Sven Panne [EMAIL PROTECTED] pisze: Hmmm, perhaps I should update my (slightly dormant) Wish List... http://marutea.pms.informatik.uni-muenchen.de/wishlist/ is inaccessible... -- __("Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/ \__/

Re: Wish List (Re: False warning about overlapping patterns)

Marcin 'Qrczak' Kowalczyk wrote: http://marutea.pms.informatik.uni-muenchen.de/wishlist/ is inaccessible... Oooops, that's because of our new firewall. I've moved it to a more generic address, which should work: http://www.informatik.uni-muenchen.de/haskell-wish-list/ Could somebody

Re: Wish List (Re: False warning about overlapping patterns)

http://www.informatik.uni-muenchen.de/haskell-wish-list/ Could somebody please update the link on haskell.org? Done. -- http://sc3d.org/rrt/ | certain, a. insufficiently analysed