cha0s/persea-old
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix: so track visited types

Browse Source
This commit is contained in:
cha0s 2020-06-25 09:58:22 -05:00
parent 40bc7ac1c6
commit 103e34df0e
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/client/types/typing.js
View File

@ -103,6 +103,7 @@ export const defaultOps = (context, type, originalOps = []) => {
const ops = [...originalOps]; const ops = [...originalOps];
let evaluated; let evaluated;
let {type: opsType} = descriptionFromOps(context, ops); let {type: opsType} = descriptionFromOps(context, ops);
const typesVisited = {[opsType]: true};
while (!fitsInto(opsType, type) || 0 === ops.length) { while (!fitsInto(opsType, type) || 0 === ops.length) {
evaluated = compile({type: 'expression', ops})(context); evaluated = compile({type: 'expression', ops})(context);
if ( if (
@ -121,9 +122,13 @@ export const defaultOps = (context, type, originalOps = []) => {
const candidates = typeCandidates(description, type); const candidates = typeCandidates(description, type);
const key = candidates.find((candidate) => { const key = candidates.find((candidate) => {
const {type: candidateType} = children[candidate]; const {type: candidateType} = children[candidate];
if (typesVisited[candidateType]) {
return false;
}
if (fitsInto(type, candidateType)) { if (fitsInto(type, candidateType)) {
return true; return true;
} }
typesVisited[candidateType] = true;
return true; return true;
}); });
ops.push({type: 'key', key}); ops.push({type: 'key', key});