summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/failure/annotation.txt
blob: 648ef2b9e6fa19b9aa5c6503891a7221e2955ea0 (plain)
1
2
3
4
5
6
 --> 1:5
  |
1 | let a:Natural = 1 in a␊
  |     ^---
  |
  = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall_keyword