bobgus (17) [Avatar] Offline

One page 74, after typing ‘word_lengths : Vect len String -> Vect len Nat’ the cursor cannot be at the end (beyond the Nat) when you type ‘ctrl-alt-a’ because it will then create ‘Nat xs = ?Nat_rhs’ which is not what is in the book. The ‘ctrl-alt-a’ will only give the information in the book when the cursor is over ‘word_lengths’.
Edwin Brady (65) [Avatar] Offline
Indeed. The text does say this the first couple of times, and it would get rather tedious to repeat it every time. Perhaps repeating it one or two more times wouldn't do any harm, but I won't do it every time - as the book progresses, the steps will be described in a bit less detail.