[GHC] #1445: implicit parameter not hoisted

[GHC]

#1445: implicit parameter not hoisted
---------------------------------------------------+------------------------
  Reporter:  Ashley Yakeley <ashley at semantic.org>  |          Owner:         
      Type:  bug                                   |         Status:  new    
  Priority:  normal                                |      Milestone:         
 Component:  Compiler                              |        Version:  6.6    
  Severity:  normal                                |       Keywords:         
Difficulty:  Unknown                               |             Os:  Unknown
  Testcase:                                        |   Architecture:  Unknown
---------------------------------------------------+------------------------
Try compiling this:
 {{{
 {-# OPTIONS -fglasgow-exts #-}
 module Bug where
         f :: () -> (?p :: ()) => () -> ()
         f _ _ = ();

         g :: (?p :: ()) => ()
         g = f () ()
 }}}
 Results:
 {{{
 Bug.hs:7:10:
     Couldn't match expected type `{?p::()}' against inferred type `()'
     In the second argument of `f', namely `()'
     In the expression: f () ()
     In the definition of `g': g = f () ()
 }}}
 Expected: to compile.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1445>
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