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

Text litteral: strip leading and closing space if present

Browse source
This commit is contained in:
Étienne Fildadut 2023-12-29 19:19:15 +01:00
parent 5dd971ff8f
commit d42b900388
91 changed files with 428 additions and 424 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,8 +1,8 @@
--# run #--
--- text ---
| {}"" {}"type(\"kg\", 5)" {}""|
| {}"" {}"type(\"kg\", 5)" {}"" |
--- text ---
| {}"" {}"type(\"kg\", 12)" {}""|
| {}"" {}"type(\"kg\", 12)" {}"" |
--- error ---
type 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