#5406: Template Haskell: Reification of type family instances ---------------------------------+------------------------------------------ Reporter: reinerp | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.0.4 Keywords: | Testcase: Blockedby: | Difficulty: Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: None/Unknown ---------------------------------+------------------------------------------
Comment(by reinerp): What happens if the unfolding of a class instance is unavailable? For example: {{{ module A where class C a where val :: a instance C Int where val = 0 -- suppose GHC doesn't expose this unfolding in A's interface file module B where import A $( ... decs <- reifyInstances 'C ['Int] ... ) }}} The point is that the `InstanceD` constructor contains a list of values bound in the instance, including their RHSs. So what do we return if `val`'s RHS is unavailable? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5406#comment:2> 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