Add missing test cases for generics
parent
f56da6f9a8
commit
34d8a818b2
|
@ -29,9 +29,7 @@ export function extractPragmas(text: string): Pragma[] {
|
|||
},
|
||||
};
|
||||
|
||||
if (pragma) {
|
||||
pragmas.push(pragma);
|
||||
}
|
||||
pragmas.push(pragma);
|
||||
}
|
||||
|
||||
return pragmas;
|
||||
|
|
|
@ -7,4 +7,8 @@ type X = {
|
|||
a: A<string, boolean>,
|
||||
};
|
||||
|
||||
export {X};
|
||||
type Y = {
|
||||
a: A<number, X>,
|
||||
}
|
||||
|
||||
export {X, Y};
|
||||
|
|
|
@ -16,6 +16,23 @@
|
|||
"value": {"kind": "reference", "to": ["generics", "A", "string", "boolean"]},
|
||||
"required": true
|
||||
}]
|
||||
},
|
||||
{
|
||||
"id": ["generics", "A", "f64", "X"],
|
||||
"kind": "record",
|
||||
"fields": [
|
||||
{"name": "t", "value": {"kind": "number", "repr": "f64"}, "required": true},
|
||||
{"name": "k", "value": {"kind": "reference", "to": ["generics", "X"]}, "required": true}
|
||||
]
|
||||
},
|
||||
{
|
||||
"id": ["generics", "Y"],
|
||||
"kind": "record",
|
||||
"fields": [{
|
||||
"name": "a",
|
||||
"value": {"kind": "reference", "to": ["generics", "A", "f64", "X"]},
|
||||
"required": true
|
||||
}]
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue