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

[GHC]

#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                      |   Resolution:         
    Keywords:  Any1 context type-inference  |   Difficulty:  Unknown
          Os:  Unknown                      |     Testcase:         
Architecture:  Unknown                      |  
--------------------------------------------+-------------------------------
Comment (by iampure at gmail.com):

 I experimented somewhat more with my original code and it appears that

 using e.g.

 (Something{bar = (\edge -> returnG (1 > 0)),
           initializer = returnG ()
           }
            )

 on the location of default_visitor{bar = \_ -> return True} in the
 function test doesn't have this weird Any1 type mentioned anywhere. So,
 merely using a record update creates this problem.

 The idea of using default_visitor is of course that some have "default
 values", s.t. users don't need to mention all the fields. This property is
 now broken.

-- 
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