fe5193a40a
The primary goal of this commit is to add the ability to parse type parameter declarations with defaults, like `type Foo<T = string> = T`. While I was in the code, I fixed a few small things, like * Type parameter declarations need 1 or more type parameters. * The existential type `*` is not a valid type parameter. * The existential type `*` is a primary type * The param list for type parameter declarations now consists of `TypeParameter` nodes
162 lines
3.5 KiB
JSON
162 lines
3.5 KiB
JSON
{
|
|
"type": "File",
|
|
"start": 0,
|
|
"end": 18,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 0
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 18
|
|
}
|
|
},
|
|
"program": {
|
|
"type": "Program",
|
|
"start": 0,
|
|
"end": 18,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 0
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 18
|
|
}
|
|
},
|
|
"sourceType": "module",
|
|
"body": [
|
|
{
|
|
"type": "ClassDeclaration",
|
|
"start": 0,
|
|
"end": 18,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 0
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 18
|
|
}
|
|
},
|
|
"id": {
|
|
"type": "Identifier",
|
|
"start": 6,
|
|
"end": 7,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 6
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 7
|
|
}
|
|
},
|
|
"name": "A"
|
|
},
|
|
"typeParameters": {
|
|
"type": "TypeParameterDeclaration",
|
|
"start": 7,
|
|
"end": 15,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 7
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 15
|
|
}
|
|
},
|
|
"params": [
|
|
{
|
|
"type": "TypeParameter",
|
|
"start": 8,
|
|
"end": 14,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 8
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 14
|
|
}
|
|
},
|
|
"name": "T",
|
|
"bound": {
|
|
"type": "TypeAnnotation",
|
|
"start": 9,
|
|
"end": 14,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 9
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 14
|
|
}
|
|
},
|
|
"typeAnnotation": {
|
|
"type": "GenericTypeAnnotation",
|
|
"start": 11,
|
|
"end": 14,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 11
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 14
|
|
}
|
|
},
|
|
"typeParameters": null,
|
|
"id": {
|
|
"type": "Identifier",
|
|
"start": 11,
|
|
"end": 14,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 11
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 14
|
|
}
|
|
},
|
|
"name": "Foo"
|
|
}
|
|
}
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"superClass": null,
|
|
"body": {
|
|
"type": "ClassBody",
|
|
"start": 16,
|
|
"end": 18,
|
|
"loc": {
|
|
"start": {
|
|
"line": 1,
|
|
"column": 16
|
|
},
|
|
"end": {
|
|
"line": 1,
|
|
"column": 18
|
|
}
|
|
},
|
|
"body": []
|
|
}
|
|
}
|
|
],
|
|
"directives": []
|
|
}
|
|
} |