samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Fix regression in type checking of extensible records

Browse source
This commit is contained in:
Sam Vervaeck 2023-04-13 14:43:47 +02:00
parent 1cbd2e8a23
commit 9f6fe70f38
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/checker.ts
View file

@ -2120,14 +2120,14 @@ export class Checker {
{ {
const fieldType = this.createTypeVar(); const fieldType = this.createTypeVar();
this.inferBindings(member.pattern, fieldType, typeVars, constraints); this.inferBindings(member.pattern, fieldType, typeVars, constraints);
structType = new TField(member.name.text, new TPresent(fieldType), fieldType, pattern); structType = new TField(member.name.text, new TPresent(fieldType), structType, pattern);
break; break;
} }
case SyntaxKind.PunnedStructPatternField: case SyntaxKind.PunnedStructPatternField:
{ {
const fieldType = this.createTypeVar(); const fieldType = this.createTypeVar();
this.addBinding(member.name.text, Forall.mono(fieldType), Symkind.Var); this.addBinding(member.name.text, Forall.mono(fieldType), Symkind.Var);
structType = new TField(member.name.text, new TPresent(fieldType), fieldType, pattern); structType = new TField(member.name.text, new TPresent(fieldType), structType, pattern);
break; break;
} }
case SyntaxKind.VariadicStructPatternElement: case SyntaxKind.VariadicStructPatternElement: