From 2bde06f509a8d5803c04bb2619a740a724324a40 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 21 May 2021 16:14:58 +0200
Subject: [PATCH] Add omitted checkBinding call

---
 implementations/javascript/packages/schema/src/checker.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/implementations/javascript/packages/schema/src/checker.ts b/implementations/javascript/packages/schema/src/checker.ts
index 77fcf49..b4b31ad 100644
--- 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}`);