Repair set schema parsing

This commit is contained in:
Tony Garnock-Jones 2023-02-11 17:28:03 +01:00
parent 26d65a4dd9
commit cd996bcbc7
1 changed files with 1 additions and 1 deletions

View File

@ -254,7 +254,7 @@ function parsePattern(name: symbol, body0: Array<Input>): Pattern {
return ks(M.SimplePattern.seqof(walkSimple(item[0])));
} else if (Set.isSet<M.Input>(item)) {
if (item.size !== 1) complain();
const [vp] = item.entries();
const [vp] = item.values();
return ks(M.SimplePattern.setof(walkSimple(vp)));
} else if (Dictionary.isDictionary<M.InputEmbedded, Input>(item)
&& item.size === 2