about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2022-05-05T19·08+0200
committerProfpatsch <mail@profpatsch.de>2022-05-05T20·18+0000
commitf0e52f31cd33fd321f71eda0bc1d6cd965b5997c (patch)
treeafaa3c871c66d71a5e4979cb48222096ede047e4 /.gitignore
parent9dd77432384b1b1e85edc481a37a1473fe63ae6a (diff)
feat(users/Profpatsch/importDhall): print type annotation r/4008
If no type annotation is given, debugging errors gets a lot harder
because there is nothing to compare it against.

But we can tell dhall to print the type first (this means double
evaluation, but that’s an optimization problem to be solved later).

Change-Id: Icf793828070cd6bb8daeb4c07de3162a5e064653
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5525
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions