CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

test_typing err6 better error message

Browse Source
This commit is contained in:
adelaett 2023-04-14 16:37:27 +02:00
parent a11ec6020e
commit f3a5cbc5a8
No known key found for this signature in database
GPG Key ID: 367A8C08F513BD65
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/test_typing/bad/err6.catala_en
View File

@ -33,17 +33,17 @@ $ catala ocaml
--> integer
Error coming from typechecking the following expression:
┌─⯈ tests/test_typing/bad/err6.catala_en:20.13-18:
┌─⯈ tests/test_typing/bad/err6.catala_en:20.26-29:
└──┐
20 │ definition sub.x equals 44.
│ ‾‾‾‾‾
│ ‾‾‾
Type decimal coming from expression:
┌─⯈ tests/test_typing/bad/err6.catala_en:20.13-18:
┌─⯈ tests/test_typing/bad/err6.catala_en:20.26-29:
└──┐
20 │ definition sub.x equals 44.
│ ‾‾‾‾‾
│ ‾‾‾
Type integer coming from expression: