diff options
author | Nadrieril | 2020-06-25 15:08:22 +0100 |
---|---|---|
committer | Nadrieril | 2020-06-25 15:09:34 +0100 |
commit | 4c80de149200a86f7fc13c725160dafb35d0ac08 (patch) | |
tree | 578455e80dc4ed5d2ed4d528885dec3c4812316e /dhall/src/operations/typecheck.rs | |
parent | c5d9c7dd19feb7e93a9d3e982c59b7cc51cd2291 (diff) |
test: catch panics in test harness
Diffstat (limited to 'dhall/src/operations/typecheck.rs')
0 files changed, 0 insertions, 0 deletions