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

export a bit more

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-19 13:50:03 +02:00
parent 0896dfae4e
commit 1fe4085844
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/generics/low_level.js
View file

@ -142,9 +142,9 @@ export const reduceUnification = (unif) => {
};
// For debugging
const prettyU = unif => {
export const prettyU = unif => {
return `{${[...unif].map(([symbol, types]) => `${getHumanReadableName(symbol)} => ${prettyST(types)}`).join(', ')}}`;
};
const prettyST = st => {
export const prettyST = st => {
return `(${st.keys().map(prettyT).join(',')})`;
};