#4459: Polymorphic Data.Dynamic
-----------------------------------------------------+----------------------
    Reporter:  vivian                                |        Owner:  vivian    
  
        Type:  feature request                       |       Status:  new       
  
    Priority:  normal                                |    Milestone:  7.4.1     
  
   Component:  GHC API                               |      Version:  7.1       
  
    Keywords:  polymorphic, dynamic, class, linking  |     Testcase:            
  
   Blockedby:                                        |   Difficulty:            
  
          Os:  Unknown/Multiple                      |     Blocking:  4316      
  
Architecture:  Unknown/Multiple                      |      Failure:  
None/Unknown
-----------------------------------------------------+----------------------

Comment(by vivian):

 Is it possible to implement the definition of a new `typeOf` as a Core
 pass?  We need to wait until after the typechecking phase since until that
 point we may not have a type annotated to the expression.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4459#comment:19>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to