diff options
author | Nadrieril | 2020-02-09 11:23:59 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-09 20:13:23 +0000 |
commit | 27031b3739ff9f2043e64130a4c5699d0f9233e8 (patch) | |
tree | d645b3db409d9cb477ad73e80d419c7bfd717976 /dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt | |
parent | 5870a46d5ab5810901198f03ed461d5c3bb5aa8a (diff) |
Add Hir as untyped alternative to TyExpr
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions