3354 (2) [Avatar] Offline
(This refers to v5, updated Feb 03, 2016)

In '6.3.2 Using a Record for the DataStore' you give an example of using a projection function for returning the schema, but the definition of 'items' hasn't been changed to reflect the new structure of MkData. Specifically, it says:

items (MkData size' items') = items'

but this lacks a Schema as the first argument to MkData. I guess this should be something like:

items (MkData _ size' items') = items'

Edwin Brady (65) [Avatar] Offline
Oops, you're right, thanks. This'll be fixed in the next release (and sorry for slowness...)