implicit params in instance contexts

2013-07-16 Thread Ganesh Sittampalam
Hi, It seems that from GHC 7.4, the prohibition on implicit parameter constraints in instance declarations has been relaxed. The program below gives the error Illegal constraint ?fooRev::Bool in GHC 7.2.1 but loads fine in GHC 7.4.2 and GHC 7.6.2. I can't spot anything about this in the release

RE: implicit params in instance contexts

2013-07-16 Thread Simon Peyton-Jones
-haskell-users- | boun...@haskell.org] On Behalf Of Ganesh Sittampalam | Sent: 16 July 2013 07:21 | To: glasgow-haskell-users@haskell.org | Subject: implicit params in instance contexts | | Hi, | | It seems that from GHC 7.4, the prohibition on implicit parameter | constraints in instance declarations

Re: implicit params in instance contexts

2013-07-16 Thread Shachaf Ben-Kiki
On Mon, Jul 15, 2013 at 11:21 PM, Ganesh Sittampalam gan...@earth.li wrote: Hi, It seems that from GHC 7.4, the prohibition on implicit parameter constraints in instance declarations has been relaxed. The program below gives the error Illegal constraint ?fooRev::Bool in GHC 7.2.1 but loads

Re: implicit params in instance contexts

2013-07-16 Thread Krzysztof Gogolewski
GHC ticket: http://ghc.haskell.org/trac/ghc/ticket/7624 2013/7/16 Ganesh Sittampalam gan...@earth.li Hi, It seems that from GHC 7.4, the prohibition on implicit parameter constraints in instance declarations has been relaxed. The program below gives the error Illegal constraint