19 Mar
2008
19 Mar
'08
1:21 p.m.
could you please help me to clear up this confusion?-)
Let me summarize :-) The current design for type functions with result kinds other than * (e.g. * -> *) has not gotten very far yet. We are currently stabilizing the ordinary * type functions, and writing the story up. When that's done we can properly focus on this issue and consider different design choices. Cheers, Tom -- Tom Schrijvers Department of Computer Science K.U. Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium tel: +32 16 327544 e-mail: tom.schrijvers@cs.kuleuven.be url: http://www.cs.kuleuven.be/~toms/