Reuh/anselme
1
0
Fork 0
mirror of https://github.com/Reuh/anselme.git synced 2025-10-27 16:49:31 +00:00
Code Releases Activity

Rename type check to value check

Browse source
This commit is contained in:
Étienne Fildadut 2024-01-09 16:57:43 +01:00
parent c027c87dc4
commit 5d000e2fec
16 changed files with 76 additions and 60 deletions
Download patch file Download diff file Expand all files Collapse all files

2
test/results/constrained variable assignement.ans
View file

@ -4,7 +4,7 @@
--- text ---
| {}"" {}"type(12, \"kg\")" {}"" |
--- error ---
type check failure for weigh; 32 does not satisfy $(x) type(x) == t
value check failure for weigh; 32 does not satisfy $(x) type(x) == t
↳ from test/tests/constrained variable assignement.ans:9:7 in assignment: weigh = 32
↳ from ? in block: :weigh::is("kg") = type(5, "kg")…
--# saved #--