
6 Aug
2004
6 Aug
'04
10:57 a.m.
Malcolm Wallace
Ah, but now you cannot use (Closed t) => as a predicate in type signatures, and since you cannot write a partial signature, you must omit the signature altogether...
Hmm..yes, that would be a disadvantage. :-) -ketil -- If I haven't seen further, it is by standing in the footprints of giants