[EMAIL PROTECTED] (Hans Nikolaus Beck) writes: > type GLVertex = (GLfloat,GLfloat,GLfloat)
>> toVertex :: GLVertex -> Vertex3 GLfloat >> toVertex :: (a,a,a) -> Vertex3 a > Yes this works (the first variant). Thanks ! But I must say that I > have problems to understand The problem is that you tried to tell the compiler that toVertex would return a parametrised type, namely 'Vertex3 a', but that the compiler sees that toVertex, when given a 'GLVertex' always will produce 'Vertex3 GLfloat'. > the class mechanism in its full extend.... Classes doesn't have anything to do with this. -kzm -- If I haven't seen further, it is by standing in the footprints of giants _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
