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

tests: update with new subscript and call checks

Browse Source 
invalid function calls now return UnknownType even if the function has a return type
This commit is contained in:
Louis Heredero
2026-06-14 16:45:13 +02:00
parent 905132a18e
commit 530d93723e
3 changed files with 157 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
tests/cases/checker/01_simple_types.py.ref.json
View File

@@ -1,4 +1,19 @@
{
"diagnostics": [],
"diagnostics": [
{
"type": "Warning",
"location": {
"start": [
6,
4
],
"end": [
13,
5
]
},
"message": "FrameType not yet supported"
}
],
"judgments": []
}

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

@@ -326,9 +326,7 @@
"arguments": [],
"keywords": {}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -407,9 +405,7 @@
],
"keywords": {}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -505,9 +501,7 @@
],
"keywords": {}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -604,9 +598,7 @@
}
}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -719,9 +711,7 @@
],
"keywords": {}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -835,9 +825,7 @@
}
}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -916,9 +904,7 @@
}
}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -997,9 +983,7 @@
}
}
},
"type": {
"name": "bool"
}
"type": {}
},
{
"location": {
@@ -1461,9 +1445,7 @@
}
}
},
"type": {
"name": "bool"
}
"type": {}
}
]
}

132
tests/cases/python-parser/02_custom_types.py.ref.json
View File

@@ -18,6 +18,80 @@
]
}
},
{
"_type": "TypeAssign",
"name": "lat",
"type": {
"_type": "BaseType",
"base": "Column",
"param": {
"_type": "BaseType",
"base": "GeoLocation",
"param": null
}
}
},
{
"_type": "AssignStmt",
"targets": [
{
"_type": "VariableExpr",
"name": "lat"
}
],
"value": {
"_type": "GetExpr",
"object": {
"_type": "SubscriptExpr",
"object": {
"_type": "VariableExpr",
"name": "df"
},
"index": {
"_type": "LiteralExpr",
"value": "location"
}
},
"name": "lat"
}
},
{
"_type": "TypeAssign",
"name": "lon",
"type": {
"_type": "BaseType",
"base": "Column",
"param": {
"_type": "BaseType",
"base": "GeoLocation",
"param": null
}
}
},
{
"_type": "AssignStmt",
"targets": [
{
"_type": "VariableExpr",
"name": "lon"
}
],
"value": {
"_type": "GetExpr",
"object": {
"_type": "SubscriptExpr",
"object": {
"_type": "VariableExpr",
"name": "df"
},
"index": {
"_type": "LiteralExpr",
"value": "location"
}
},
"name": "lon"
}
},
{
"_type": "ExpressionStmt",
"expr": {
@@ -33,6 +107,64 @@
}
}
},
{
"_type": "TypeAssign",
"name": "lat1",
"type": {
"_type": "BaseType",
"base": "Latitude",
"param": null
}
},
{
"_type": "AssignStmt",
"targets": [
{
"_type": "VariableExpr",
"name": "lat1"
}
],
"value": {
"_type": "SubscriptExpr",
"object": {
"_type": "VariableExpr",
"name": "lat"
},
"index": {
"_type": "LiteralExpr",
"value": 0
}
}
},
{
"_type": "TypeAssign",
"name": "lat2",
"type": {
"_type": "BaseType",
"base": "Latitude",
"param": null
}
},
{
"_type": "AssignStmt",
"targets": [
{
"_type": "VariableExpr",
"name": "lat2"
}
],
"value": {
"_type": "SubscriptExpr",
"object": {
"_type": "VariableExpr",
"name": "lat"
},
"index": {
"_type": "LiteralExpr",
"value": 1
}
}
},
{
"_type": "TypeAssign",
"name": "lat_diff",