chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cba1db5) | patch
size handling: Sort out outline trait error handling
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 May 2022 18:51:14 +0000 (19:51 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 May 2022 18:51:14 +0000 (19:51 +0100)
commit5d4a64b7a2ab5572fbc8f844549ea7dab1be8bf8
treeba223100d424e57fc21ca6b5b8128510ed9f76dftree | snapshot
parentcba1db5ecc7755ee033f1b63bf454cc78ffe9383commit | diff
size handling: Sort out outline trait error handling

Instead of the `ought` function which can be applied anywhere, use the
OutlineCalculable proof token to map the error at the trait call site.

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