4 May
2007
4 May
'07
8:37 p.m.
On Sat, May 05, 2007 at 10:29:54AM +1000, Matthew Brecknell wrote:
Stefan O'Rear:
Data.Sequence doesn't use overloading
Data.Sequence uses overloading for subtree size annotations. The structural recursion seems to make it quite awkward to express size annotations without overloading.
Ah yes, I'd forgotten about that use. I was thinking of the fact that Data.Sequence is monomorphic in the measurement type. Thanks for the correction. Stefan