The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

Thomas Dziedzic (2) [Avatar] Offline
instead of

items : (store : DataStore) -> Vect (size store) (schema store)

I think it should be

items : (store : DataStore) -> Vect (size store) (SchemaType (schema store))

due to the type in the DataStore being defined as

(items : Vect size (SchemaType schema))

in listing 5.6
Edwin Brady (66) [Avatar] Offline
I do believe you're right. Thanks! It'll be fixed in the next version.

These things are more likely to creep in for things which don't end up in the final example code so I'll take another pass through in case I spot any others (hopefully there aren't any others like this...)