HEL/midas
1
0
Fork 0
Code Issues Pull Requests 1 Releases Activity

tests: update tests with operation overloads

Browse Source
This commit is contained in:
Louis Heredero
2026-06-07 14:28:36 +02:00
parent 59e73f0fd9
commit d278dc5f5b
2 changed files with 7 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
tests/cases/checker/02_simple_operations.py.ref.json
View File

@@ -13,20 +13,6 @@
]
},
"message": "Cannot assign BaseType(name='str') to c of type BaseType(name='int')"
},
{
"type": "Error",
"location": {
"start": [
9,
4
],
"end": [
9,
9
]
},
"message": "Undefined operation __add__ between BaseType(name='bool') and BaseType(name='bool')"
}
],
"judgments": [
@@ -172,7 +158,9 @@
"name": "d"
}
},
"type": {}
"type": {
"name": "int"
}
},
{
"location": {

35
tests/cases/checker/06_subtyping.py.ref.json
View File

@@ -1,34 +1,5 @@
{
"diagnostics": [
{
"type": "Error",
"location": {
"start": [
12,
5
],
"end": [
12,
12
]
},
"message": "Undefined operation __add__ between BaseType(name='int') and BaseType(name='float')"
},
{
"type": "Error",
"location": {
"start": [
12,
0
],
"end": [
12,
12
]
},
"message": "Cannot assign UnknownType() to v3 of type BaseType(name='float')"
}
],
"diagnostics": [],
"judgments": [
{
"location": {
@@ -214,7 +185,9 @@
"name": "v2"
}
},
"type": {}
"type": {
"name": "float"
}
}
]
}