summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/tir.rs
diff options
context:
space:
mode:
authorNadrieril2020-02-17 18:06:34 +0000
committerNadrieril2020-02-17 18:06:34 +0000
commit06714f925a6588ef5c262bb7a9cf3f9e40f13120 (patch)
treec4fa4f953fa6563af405ebe7c4b2461c7118a45a /dhall/src/semantics/tck/tir.rs
parent8da4445e6d06cf79d43112042b69c798f86884f3 (diff)
Factor out desugaring from resolve
Diffstat (limited to 'dhall/src/semantics/tck/tir.rs')
0 files changed, 0 insertions, 0 deletions