#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
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
