research/dope2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

set all return types to 'any' (many of them were wrongly detected)

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-13 14:14:28 +02:00
parent 1a55c52782
commit e631f11aa5
1 changed files with 53 additions and 109 deletions
Download patch file Download diff file Expand all files Collapse all files

162
index.d.ts vendored
View file

@ -116,52 +116,7 @@ export const emptyEnv: {
children: any[]; children: any[];
}; };
typeDict: { typeDict: {
tree: { tree: any;
at: any;
begin: {
clone: any;
hasNext: boolean;
hasPrev: boolean;
index: number;
key: any;
next: any;
node: any;
prev: any;
remove: any;
tree: any;
update: any;
valid: boolean;
value: any;
};
end: {
clone: any;
hasNext: boolean;
hasPrev: boolean;
index: number;
key: any;
next: any;
node: any;
prev: any;
remove: any;
tree: any;
update: any;
valid: boolean;
value: any;
};
find: any;
forEach: any;
ge: any;
get: any;
gt: any;
insert: any;
keys: any[];
le: any;
length: number;
lt: any;
remove: any;
root: any;
values: any[];
};
}; };
}; };
@ -210,11 +165,11 @@ export const unit: {
export function RBTreeWrapper(...args: any[]): any; export function RBTreeWrapper(...args: any[]): any;
export function UnifyError(...args: any[]): void; export function UnifyError(...args: any[]): any;
export function addDouble(x: any): void; export function addDouble(x: any): any;
export function addInt(x: any): void; export function addInt(x: any): any;
export function apply(input: any): any; export function apply(input: any): any;
@ -230,7 +185,7 @@ export function compareDicts(compareKeys: any): any;
export function compareDoubles(x: any): any; export function compareDoubles(x: any): any;
export function compareDynamic(x: any): void; export function compareDynamic(x: any): any;
export function compareFunctions(_compareInput: any): any; export function compareFunctions(_compareInput: any): any;
@ -238,7 +193,7 @@ export function compareInts(x: any): any;
export function compareLists(compareElems: any): any; export function compareLists(compareElems: any): any;
export function compareOrderings(a: any): void; export function compareOrderings(a: any): any;
export function compareProducts(compareLeft: any): any; export function compareProducts(compareLeft: any): any;
@ -252,11 +207,11 @@ export function compareStrings(x: any): any;
export function compareSums(compareLeft: any): any; export function compareSums(compareLeft: any): any;
export function compareSymbols(a: any): void; export function compareSymbols(a: any): any;
export function compareTypes(typeX: any): void; export function compareTypes(typeX: any): any;
export function compareUnits(_: any): void; export function compareUnits(_: any): any;
export function compareValues(compareElems: any): any; export function compareValues(compareElems: any): any;
@ -266,15 +221,15 @@ export function dictType(typeParam: any): any;
export function enumType(variants: any): any; export function enumType(variants: any): any;
export function eqDouble(x: any): void; export function eqDouble(x: any): any;
export function eqInt(x: any): void; export function eqInt(x: any): any;
export function eqSymbol(a: any): void; export function eqSymbol(a: any): any;
export function eqType(t1: any): void; export function eqType(t1: any): any;
export function eqUnit(_: any): void; export function eqUnit(_: any): any;
export function fnType(typeParam: any): any; export function fnType(typeParam: any): any;
@ -288,21 +243,21 @@ export function getEnabledFunctions(env: any): any;
export function getFunctions(env: any): any; export function getFunctions(env: any): any;
export function getHumanReadableName(symbol: any): void; export function getHumanReadableName(symbol: any): any;
export function getInst(lnk: any): void; export function getInst(lnk: any): any;
export function getInstances(env: any): void; export function getInstances(env: any): any;
export function getLeft(product: any): void; export function getLeft(product: any): any;
export function getParams(type: any): void; export function getParams(type: any): any;
export function getRight(product: any): void; export function getRight(product: any): any;
export function getSymbol(type: any): void; export function getSymbol(type: any): any;
export function getType(lnk: any): void; export function getType(lnk: any): any;
export function getTypes(env: any): any; export function getTypes(env: any): any;
@ -340,7 +295,7 @@ export function makeModuleEnum(type: any): any;
export function makeModuleStruct(type: any): any; export function makeModuleStruct(type: any): any;
export function makeTypeConstructor(symbol: any): void; export function makeTypeConstructor(symbol: any): any;
export function makeTypeParser({ export function makeTypeParser({
// parser can be extended: // parser can be extended:
@ -349,7 +304,7 @@ export function makeTypeParser({
extraInfixOperators, extraInfixOperators,
}: any): any; }: any): any;
export function match(sum: any): void; export function match(sum: any): any;
export function memoize(callback: any): any; export function memoize(callback: any): any;
@ -357,23 +312,23 @@ export function mergeTwoWay(m1: any, m2: any): any;
export function module2Env(module: any): any; export function module2Env(module: any): any;
export function mulDouble(x: any): void; export function mulDouble(x: any): any;
export function mulInt(x: any): void; export function mulInt(x: any): any;
export function newDynamic(i: any): void; export function newDynamic(i: any): any;
export function newLeft(left: any): void; export function newLeft(left: any): any;
export function newProduct(l: any): void; export function newProduct(l: any): any;
export function newRight(right: any): void; export function newRight(right: any): any;
export function occurring(type: any): any; export function occurring(type: any): any;
export function pretty(obj: any): any; export function pretty(obj: any): any;
export function prettyT(type: any): void; export function prettyT(type: any): any;
export function prodType(typeParam: any): any; export function prodType(typeParam: any): any;
@ -391,37 +346,26 @@ export function unify(fType: any, aType: any): any;
export function zip(a: any, b: any): any; export function zip(a: any, b: any): any;
export namespace UnifyError {
const stackTraceLimit: number;
function captureStackTrace(p0: any, p1: any): any;
function isError(p0: any): any;
function prepareStackTrace(error: any, trace: any): any;
}
export namespace dict { export namespace dict {
function emptyDict(compareFn: any): void; function emptyDict(compareFn: any): any;
function first(dict: any): void; function first(dict: any): any;
function fold(callback: any): any; function fold(callback: any): any;
function get(dict: any): void; function get(dict: any): any;
function has(dict: any): void; function has(dict: any): any;
function last(dict: any): void; function last(dict: any): any;
function length(dict: any): void; function length(dict: any): any;
function read(iter: any): any; function read(iter: any): any;
function remove(dict: any): void; function remove(dict: any): any;
function set(dict: any): void; function set(dict: any): any;
} }
@ -430,40 +374,40 @@ export namespace list {
function fold(callback: any): any; function fold(callback: any): any;
function get(ls: any): void; function get(ls: any): any;
function length(ls: any): void; function length(ls: any): any;
function map(ls: any): void; function map(ls: any): any;
function pop(ls: any): void; function pop(ls: any): any;
function push(ls: any): void; function push(ls: any): any;
function put(ls: any): void; function put(ls: any): any;
} }
export namespace set { export namespace set {
function add(set: any): void; function add(set: any): any;
function emptySet(compareFn: any): void; function emptySet(compareFn: any): any;
function first(set: any): void; function first(set: any): any;
function fold(callback: any): any; function fold(callback: any): any;
function forEach(set: any): void; function forEach(set: any): any;
function has(set: any): void; function has(set: any): any;
function last(set: any): void; function last(set: any): any;
function length(set: any): void; function length(set: any): any;
function read(iter: any): any; function read(iter: any): any;
function remove(set: any): void; function remove(set: any): any;
} }