Re: Lexically scoped type variables

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