
#9495: Do What I Mean RULES for foldr2 look shady -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.8.3 libraries/base | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: crash | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by dfeuer): An alternative would be to change the definition of `foldr2` (to check for the end of the right list first) and then eliminate the `foldr2/left` rule instead. I think that gives a slightly more consistent interface. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9495#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler