summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs
diff options
context:
space:
mode:
authorNadrieril2020-02-18 19:12:31 +0000
committerNadrieril2020-02-19 17:09:18 +0000
commit7cbfc1a0d32766a383d1f48902502adaa2234d2f (patch)
treee668b7f764fb4981a802bc619e0b2ff62fa9ce16 /dhall/src/phase/binary.rs
parenta3990858840a737d7831be45953b38bd67361fb7 (diff)
Avoid re-typechecking after import
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions