#4459: Polymorphic Data.Dynamic
-----------------------------------------------------+----------------------
Reporter: vivian | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.2.1
Component: GHC API | Version: 7.1
Keywords: polymorphic, dynamic, class, linking | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure:
None/Unknown
-----------------------------------------------------+----------------------
Comment(by vivian):
In reality those functions should probably be in a type-environment monad.
{{{
applyDynamic :: Dynamic -> Dynamic -> TypeEnv (Maybe Dynamic)
fromDynamic :: Dynamic -> TypeEnv (Maybe a)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4459#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
