[GHC] #1382: Monad GHC.Prim.Any1 gets derived in a context

GHC trac at galois.com
Sun May 27 10:50:04 EDT 2007


#1382: Monad GHC.Prim.Any1  gets derived in a context
--------------------------------------+-------------------------------------
  Reporter:  iampure at gmail.comguest   |          Owner:                             
      Type:  bug                      |         Status:  new                        
  Priority:  high                     |      Milestone:                             
 Component:  Compiler (Type checker)  |        Version:  6.6.1                      
  Severity:  blocker                  |       Keywords:  Any1 context type-inference
Difficulty:  Unknown                  |             Os:  Unknown                    
  Testcase:                           |   Architecture:  Unknown                    
--------------------------------------+-------------------------------------
Because Monad GHC.Prim.Any1 gets derived in the type of the function test
 in the attached file, I cannot write an instance for it (obviously) and I
 cannot continue writing the code where I use the test function. I.e. I
 have this problem in a real project and it's blocking progress, until I
 find a work-around (which I didn't find after about an hour). I hope this
 gets fixed soon.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1382>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


More information about the Glasgow-haskell-bugs mailing list