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

export even more stuff

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-19 15:10:07 +02:00
parent 1fe4085844
commit 70fb80a9fc
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
index.d.ts vendored
View file

@ -350,6 +350,8 @@ export function substitute(type: any, substitutions: any, stack: any): any;
export function sumType(typeParam: any): any; export function sumType(typeParam: any): any;
export function transitivelyGrow(uni: any): any;
export function unify(fType: any, aType: any): any; export function unify(fType: any, aType: any): any;
export function unifyLL(typeA: any, typeB: any): any; export function unifyLL(typeA: any, typeB: any): any;

2
lib/generics/low_level.js
View file

@ -79,7 +79,7 @@ export const mergeUnifications = (unifA, unifB) => {
return result; return result;
}; };
const transitivelyGrow = (unif) => { export const transitivelyGrow = (unif) => {
let stable = true; let stable = true;
const result = new Map(); const result = new Map();
for (const [symbol, setOfTypes] of unif) { for (const [symbol, setOfTypes] of unif) {