#14266: AllowAmbiguousTypes doesn't play well with default class methods -------------------------------------+------------------------------------- Reporter: chris-martin | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): As the author of `TypeApplications`, I have greatly enjoyed its quick adoption in a variety of places. It's a stable extension based on published theory. I, personally, do not consider it a "workaround" at all and think it's a fine extension to build on. It ''is'' a little sketchy around the corners, however. Ryan has been working on making it work better with GADTs, and we still need support for types in patterns. That said, any place where `TypeApplications` works today will continue to work tomorrow, and I think you can use it without fear. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14266#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler