#7642: Nullary type classes ----------------------------------------+----------------------------------- Reporter: shachaf | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by simonpj): * difficulty: => Unknown Comment: Can you say ''why'' you strongly support it? It looks very marginal to me. The only reason it vaguely makes sense is that it's easy to implement. But if you have {{{ isPrime :: RiemannHypothesis => Integer -> Bool isPrime = ... blah... }}} then the chances are that this will also compile {{{ isPrime :: Integer -> Bool isPrime = ... blah... }}} because presumably the instance exists. To me it seems marginal, and at worst confusing. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7642#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler