chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d285c0e) | patch
spec errors: Expand WrongNumberOfFaces error
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 12 Apr 2022 20:33:51 +0000 (21:33 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 12 Apr 2022 20:35:05 +0000 (21:35 +0100)
commit87108beea517903a92ee5ee805666e5397d15b53
tree6d9795265d823a63ae7551b047449d7283d83b6dtree | snapshot
parentd285c0ea1e804e84eba4cccbf96f1923039a49bacommit | diff
spec errors: Expand WrongNumberOfFaces error

We're going to want to reuse this in a new context.  And, this already
produces better error messages for the case where it's used now.

It seems better to provide this rather generic error rather than
expect each funky piece kind to invent its own kind in SpecError.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/deck.rs diff | blob | history
src/spec.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.