summaryrefslogtreecommitdiff
path: root/dhall/src/errors/IfBranchMismatch.txt
diff options
context:
space:
mode:
authorNadrieril2019-04-13 16:48:35 +0200
committerNadrieril2019-04-13 16:48:35 +0200
commit7afdd4773dc47ccae6653a18215a6acd9553feaf (patch)
treec05848e74e56f0b34e2a718cba7b6b1f678fe566 /dhall/src/errors/IfBranchMismatch.txt
parenta4e8f799fb4665b210086c28647e0fa335384913 (diff)
Split typecheck into two phases
Diffstat (limited to 'dhall/src/errors/IfBranchMismatch.txt')
0 files changed, 0 insertions, 0 deletions