RE: Lexically scoped type variables
6 Feb
2006
6 Feb
'06
8:39 a.m.
| 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? (Unsatisfactory but would work) You could compile with -ddump-ds and look at the output. Simon
6 Feb
6 Feb
9:20 a.m.
New subject: Lexically scoped type variables
Simon Peyton-Jones wrote:
(Unsatisfactory but would work) You could compile with -ddump-ds and look at the output.
Yes, I did work (for VariableList.hs) attachListOp :: forall pos . ParallelExec -> ListDrawer a pos -> IO (IO ()) Thanks, Christian (I need to get a new ghc-6.5 without the overlapping-instances bug for further tests)
7043
Age (days ago)
7043
Last active (days ago)
1 comments
2 participants
participants (2)
-
Christian Maeder -
Simon Peyton-Jones