Koen Claessen wrote:> | How would one implement an CStringLen-style type that > | [...] > > Take a look at: > > http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Lab2/Chunk.hs > > Is that what you want? Yes, that's much more like it. Any chance of this module getting put into the standard distribution?