Simon Peyton-Jones wrote:
I took a look. Here's a typical example:newVariableListFromSet :: Ord a => VariableSetSource a -> VariableList a newVariableListFromSet (variableSetSource :: VariableSetSource a) = let attachListOp parallelX (listDrawer :: ListDrawer a pos) = do (posRegistry :: Registry a pos) <- newRegistry
[..]
To fix this you'd need to
b) Add a type signature for attachListOp, beginning with forall pos.
That was exactly my problem. How should I find out the type of attachListOp (I have not written this bit of code)? Could I somehow ask ghci-6.4.1 to do it for me?
Thanks for looking into it, Christian _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
