MCPcopy Create free account
hub / github.com/LambdaNote/support-ts-tapl / parsePoly

Function parsePoly

article/utils.ts:584–590  ·  view source on GitHub ↗
(code: string)

Source from the content-addressed store, hash-verified

582}
583
584export 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
593export function error(msg: string, node: any): never {

Callers

nothing calls this directly

Calls 2

subsetSystemFunction · 0.70
parseFunction · 0.70

Tested by

no test coverage detected