summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/failure/boundBuiltins.txt
blob: cd54e68faf558edb05afd81394b0fcaf90c4deb8 (plain)
1
2
3
4
5
6
 --> 6:5
  |
6 | let Bool : Natural = 1 in Bool␊
  |     ^---
  |
  = unexpected builtin