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

tests: update with unsupported flag

Browse Source
This commit is contained in:
Louis Heredero
2026-07-07 13:51:46 +02:00
parent fe34c77e4c
commit 5311307a6f
4 changed files with 104 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

108
tests/cases/checker/03_functions.py.ref.json
View File

@@ -285,7 +285,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -295,7 +296,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -305,7 +307,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -361,7 +364,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -371,7 +375,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -381,7 +386,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -455,7 +461,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -465,7 +472,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -475,7 +483,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -553,7 +562,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -563,7 +573,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -573,7 +584,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -665,7 +677,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -675,7 +688,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -685,7 +699,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -780,7 +795,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -790,7 +806,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -800,7 +817,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -870,7 +888,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -880,7 +899,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -890,7 +910,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -951,7 +972,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -961,7 +983,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -971,7 +994,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -1058,7 +1082,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -1068,7 +1093,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -1078,7 +1104,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -1176,7 +1203,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -1186,7 +1214,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -1196,7 +1225,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -1294,7 +1324,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -1304,7 +1335,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -1314,7 +1346,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },
@@ -1412,7 +1445,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [ "mixed": [
@@ -1422,7 +1456,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [ "kw": [
@@ -1432,7 +1467,8 @@
"type": { "type": {
"name": "str" "name": "str"
}, },
"required": true "required": true,
"unsupported": false
} }
] ]
}, },

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

@@ -145,7 +145,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
}, },
{ {
"pos": 1, "pos": 1,
@@ -153,7 +154,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [] "kw": []

3
tests/cases/checker/07_variance.py.ref.json
View File

@@ -318,7 +318,8 @@
"pos": 0, "pos": 0,
"name": "object", "name": "object",
"type": {}, "type": {},
"required": false "required": false,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],

39
tests/cases/checker/08_unification.py.ref.json
View File

@@ -126,7 +126,8 @@
"pos": 0, "pos": 0,
"name": "object", "name": "object",
"type": {}, "type": {},
"required": false "required": false,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],
@@ -388,7 +389,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [] "kw": []
@@ -459,7 +461,8 @@
"bound": null, "bound": null,
"variance": "INVARIANT" "variance": "INVARIANT"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],
@@ -471,7 +474,8 @@
"variance": "INVARIANT" "variance": "INVARIANT"
} }
}, },
"required": true "required": true,
"unsupported": false
}, },
{ {
"pos": 1, "pos": 1,
@@ -489,7 +493,8 @@
"name": "list" "name": "list"
} }
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],
@@ -565,7 +570,8 @@
"type": { "type": {
"name": "float" "name": "float"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [] "kw": []
@@ -636,7 +642,8 @@
"bound": null, "bound": null,
"variance": "INVARIANT" "variance": "INVARIANT"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],
@@ -648,7 +655,8 @@
"variance": "INVARIANT" "variance": "INVARIANT"
} }
}, },
"required": true "required": true,
"unsupported": false
}, },
{ {
"pos": 1, "pos": 1,
@@ -666,7 +674,8 @@
"name": "list" "name": "list"
} }
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],
@@ -732,7 +741,8 @@
"type": { "type": {
"name": "int" "name": "int"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"kw": [] "kw": []
@@ -803,7 +813,8 @@
"bound": null, "bound": null,
"variance": "INVARIANT" "variance": "INVARIANT"
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],
@@ -815,7 +826,8 @@
"variance": "INVARIANT" "variance": "INVARIANT"
} }
}, },
"required": true "required": true,
"unsupported": false
}, },
{ {
"pos": 1, "pos": 1,
@@ -833,7 +845,8 @@
"name": "list" "name": "list"
} }
}, },
"required": true "required": true,
"unsupported": false
} }
], ],
"mixed": [], "mixed": [],