QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix tests

Browse Source
This commit is contained in:
Gaith Hallak 2023-01-07 18:43:20 +03:00
parent ad851854be
commit 2bafa3771e
2 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test/aeso_compiler_tests.erl
View File

@ -1264,10 +1264,7 @@ failing_contracts() ->
[<<?Pos(2,9) [<<?Pos(2,9)
"The name of the compile-time constant cannot have pattern matching">>, "The name of the compile-time constant cannot have pattern matching">>,
<<?Pos(3,9) <<?Pos(3,9)
"The name of the compile-time constant cannot have pattern matching">>, "The name of the compile-time constant cannot have pattern matching">>
<<?Pos(4,20)
"Cannot unify `string` and `bool`\n"
"when checking the type of the expression `\"str\" : string` against the expected type `bool`">>
]) ])
]. ].

1
test/contracts/toplevel_constants_invalid_id.aes
View File

@ -1,4 +1,3 @@
contract C = contract C =
let x::_ = [1,2,3,4] let x::_ = [1,2,3,4]
let y::(p = z::_) = [1,2,3,4] let y::(p = z::_) = [1,2,3,4]
let q : bool = "str"