[GHC] #4459: Polymorphic Data.Dynamic

[GHC]

#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 simonpj):

 Well `tcRnStmt` does both renaming and typechecking. I'm not sure we
 curently expose a function that does just typechecking, but I'm sure it'd
 be possible to do so if it was useful.  You could just look at the code
 for `tcRnStmt` and delete the renaming part.

 In general, yes `PredTypes` can be arguments, certainly in Core, but
 without knowing a lot more it's hard to say in general.

 Maybe we should move this thread to ghc-users?  You are programming with
 the GHC API, which is great, but it's not now about changing GHC itself I
 think.

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