chiark / gitweb /
Soup up deref_to_field and use more
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Feb 2021 23:32:09 +0000 (23:32 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Feb 2021 23:32:09 +0000 (23:32 +0000)
commit9c840210cf46801082b479787bd92da441016db5
tree2e486a03a432c32935d77561e70e224f669b40c4
parent44c89e600d5945f48c46c0c3a5b373490438d992
Soup up deref_to_field and use more

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otter.rs
src/global.rs
src/prelude.rs
src/utils.rs