#5590: "guarded instances": instance selection can add extra parameters to the class ---------------------------------+------------------------------------------ Reporter: nfrisby | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.2.1 | Keywords: Testcase: | Blockedby: Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: None/Unknown ---------------------------------+------------------------------------------
Comment(by nfrisby): Agda's [http://wiki.portal.chalmers.se/agda/agda.php?n=ReferenceManual .With-expression with-patterns] seems similar… -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5590#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs