(code: string)
| 582 | } |
| 583 | |
| 584 | export function parsePoly(code: string) { |
| 585 | return subsetSystem( |
| 586 | parse(code), |
| 587 | ["Boolean", "Number", "Func", "Forall", "TypeVar"], |
| 588 | ["true", "false", "if", "number", "add", "var", "func", "call", "seq", "const", "typeAbs", "typeApp"], |
| 589 | ); |
| 590 | } |
| 591 | |
| 592 | // deno-lint-ignore no-explicit-any |
| 593 | export function error(msg: string, node: any): never { |
nothing calls this directly
no test coverage detected