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

tests: update with new predicate AST representation

Browse Source
This commit is contained in:
Louis Heredero
2026-06-18 12:43:24 +02:00
parent 020824d1f8
commit 04853eac70
1 changed files with 117 additions and 60 deletions
Download Patch File Download Diff File Expand all files Collapse all files

91
tests/cases/midas-parser/01_simple_types.midas.ref.json
View File

@@ -2582,7 +2582,9 @@
"name": "__sub__", "name": "__sub__",
"type": { "type": {
"_type": "FunctionType", "_type": "FunctionType",
"pos_args": [ "params": {
"_type": "ParamSpec",
"pos": [
{ {
"name": null, "name": null,
"type": { "type": {
@@ -2592,8 +2594,9 @@
"required": true "required": true
} }
], ],
"args": [], "mixed": [],
"kw_args": [], "kw": []
},
"returns": { "returns": {
"_type": "GenericType", "_type": "GenericType",
"type": { "type": {
@@ -2673,7 +2676,9 @@
"name": "__sub__", "name": "__sub__",
"type": { "type": {
"_type": "FunctionType", "_type": "FunctionType",
"pos_args": [ "params": {
"_type": "ParamSpec",
"pos": [
{ {
"name": null, "name": null,
"type": { "type": {
@@ -2683,8 +2688,9 @@
"required": true "required": true
} }
], ],
"args": [], "mixed": [],
"kw_args": [], "kw": []
},
"returns": { "returns": {
"_type": "GenericType", "_type": "GenericType",
"type": { "type": {
@@ -2713,7 +2719,9 @@
"name": "__sub__", "name": "__sub__",
"type": { "type": {
"_type": "FunctionType", "_type": "FunctionType",
"pos_args": [ "params": {
"_type": "ParamSpec",
"pos": [
{ {
"name": null, "name": null,
"type": { "type": {
@@ -2723,8 +2731,9 @@
"required": true "required": true
} }
], ],
"args": [], "mixed": [],
"kw_args": [], "kw": []
},
"returns": { "returns": {
"_type": "GenericType", "_type": "GenericType",
"type": { "type": {
@@ -2745,12 +2754,24 @@
{ {
"_type": "PredicateStmt", "_type": "PredicateStmt",
"name": "Positive", "name": "Positive",
"subject": "v", "params": [
{
"_type": "ParamSpec",
"pos": [],
"mixed": [
{
"name": "v",
"type": { "type": {
"_type": "NamedType", "_type": "NamedType",
"name": "float" "name": "float"
}, },
"condition": { "required": true
}
],
"kw": []
}
],
"body": {
"_type": "BinaryExpr", "_type": "BinaryExpr",
"left": { "left": {
"_type": "VariableExpr", "_type": "VariableExpr",
@@ -2766,12 +2787,24 @@
{ {
"_type": "PredicateStmt", "_type": "PredicateStmt",
"name": "StrictlyPositive", "name": "StrictlyPositive",
"subject": "v", "params": [
{
"_type": "ParamSpec",
"pos": [],
"mixed": [
{
"name": "v",
"type": { "type": {
"_type": "NamedType", "_type": "NamedType",
"name": "float" "name": "float"
}, },
"condition": { "required": true
}
],
"kw": []
}
],
"body": {
"_type": "BinaryExpr", "_type": "BinaryExpr",
"left": { "left": {
"_type": "VariableExpr", "_type": "VariableExpr",
@@ -2787,12 +2820,24 @@
{ {
"_type": "PredicateStmt", "_type": "PredicateStmt",
"name": "Equatorial", "name": "Equatorial",
"subject": "loc", "params": [
{
"_type": "ParamSpec",
"pos": [],
"mixed": [
{
"name": "loc",
"type": { "type": {
"_type": "NamedType", "_type": "NamedType",
"name": "GeoLocation" "name": "GeoLocation"
}, },
"condition": { "required": true
}
],
"kw": []
}
],
"body": {
"_type": "GroupingExpr", "_type": "GroupingExpr",
"expr": { "expr": {
"_type": "BinaryExpr", "_type": "BinaryExpr",
@@ -2827,12 +2872,24 @@
{ {
"_type": "PredicateStmt", "_type": "PredicateStmt",
"name": "Arctic", "name": "Arctic",
"subject": "loc", "params": [
{
"_type": "ParamSpec",
"pos": [],
"mixed": [
{
"name": "loc",
"type": { "type": {
"_type": "NamedType", "_type": "NamedType",
"name": "GeoLocation" "name": "GeoLocation"
}, },
"condition": { "required": true
}
],
"kw": []
}
],
"body": {
"_type": "GroupingExpr", "_type": "GroupingExpr",
"expr": { "expr": {
"_type": "BinaryExpr", "_type": "BinaryExpr",