aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/ErrorLocation_tac_in_term_1.out
blob: 55ad5a36da95e1c57de7a68caf91c305b01cf409 (plain)
1
2
3
4
File "stdin", line 2, characters 21-25:
Error:
The term "true" has type "bool" while it is expected to have type "nat".