Add omitted checkBinding call

2021-05-21 16:14:58 +02:00 · 2021-05-21 16:14:58 +02:00 · 2bde06f509
parent 0f1ea4aa20
commit 2bde06f509
1 changed files with 1 additions and 0 deletions
--- a/implementations/javascript/packages/schema/src/checker.ts
+++ b/implementations/javascript/packages/schema/src/checker.ts
@ -49,6 +49,7 @@ class Checker {
    checkNamedPattern(scope: Set<string>, p: M.NamedPattern, context: string): void {
        switch (p._variant) {
            case 'named':
+                this.checkBinding(scope, p.value.name, context);
                this.checkPattern(scope,
                                  M.Pattern.SimplePattern(p.value.pattern),
                                  `${p.value.name.description!} of ${context}`);