diff options
author | Profpatsch <mail@profpatsch.de> | 2022-05-05T19·08+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2022-05-05T20·18+0000 |
commit | f0e52f31cd33fd321f71eda0bc1d6cd965b5997c (patch) | |
tree | afaa3c871c66d71a5e4979cb48222096ede047e4 /.gitignore | |
parent | 9dd77432384b1b1e85edc481a37a1473fe63ae6a (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