- added OCaml copyright header to List.v (if for no other reason than out of courtesy)

- index errors (negative or out of bounds) generally throw (panic)
- hd, last, find backtrack, because here backtracking can actually be useful
  added a _throw variant to these functions which panics
  This emaphasizes the difference between backtracking and throwing exceptions, which doesn't exist in OCaml.
- simplified the implementation of for_all2 and exist2 (ok, that is a matter of taste ...)
- added assertions which combine a boolean match with a throw.
  This makes the code more readable and makes it easier to have more specific error messages.
- added a lastn function
- gave Out_of_bounds a message argument (there is no good reason why invalid_argument has one and this not)
  All other exceptions without message argument are quite specific to certain functions (like Not_Found)

0 files changed, 0 insertions, 0 deletions