summaryrefslogtreecommitdiff
path: root/dhall/src/error
diff options
context:
space:
mode:
authorNadrieril2019-08-25 21:16:38 +0200
committerNadrieril2019-08-25 21:16:38 +0200
commitbf37fd9da3782134ca4bca9567c34bbee81784b9 (patch)
tree1c6c95f4e64bd9b759118f750cae1f12709b7b51 /dhall/src/error
parentf9ec2cdf2803ed92fa404db989b786fc1dfac12e (diff)
Rework apply_builtin to enforce preservation of type information
Diffstat (limited to 'dhall/src/error')
0 files changed, 0 insertions, 0 deletions