"type instance V (Point v) = v" is not visible without explicit import.

[fryguybob]

"type instance V (Point v) = v" is not visible without explicit import.

[fryguybob]

(Imported. Original comment by [email protected] on January 23, 2012, 12:44:41 PM UTC)

Another way to reproduce this:

Prelude Diagrams.Prelude> :type (\x -> (x :: V (Point (Double,Double)))) (4,5)

:1:9:
Couldn't match type V (Point (Double, Double))' with(t0, t1)'
In the expression: (x :: V (Point (Double, Double)))
In the expression: \ x -> (x :: V (Point (Double, Double)))
In the expression:
(\ x -> (x :: V (Point (Double, Double)))) (4, 5)
Prelude Diagrams.Prelude> :m +Graphics.Rendering.Diagrams.Points
Prelude Diagrams.Prelude Graphics.Rendering.Diagrams.Points> :type (\x -> (x :: V (Point (Double,Double)))) (4,5)
(\x -> (x :: V (Point (Double,Double)))) (4,5) :: (Double, Double)

It seems this is likely a GHC bug, but I'd like to keep the ticket open here until we figure out a minimal test case to file as a GHC bug (or find an existing ticket).

I first encountered this problem when I split out most of the content of Graphics.Rendering.Diagrams.Points into the vector-space-points package. Currently the V instance is the only thing in the module.

Note that other V instances are defined in other modules and are re-exported via Diagrams.Prelude just fine. It's a mystery why the instance for Point is not.

[byorgey]

This seems to have been fixed in GHC 7.6.1; closing.