From 074fc5db985e4f78cfc0ef1dd396b00b7fd7cb91 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 25 Feb 2021 11:33:11 +0100
Subject: [PATCH] Loosen type of constructor, to allow patterns as well as
 values

---
 implementations/javascript/src/record.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/implementations/javascript/src/record.ts b/implementations/javascript/src/record.ts
index 825b9ce..72c0aa5 100644
--- a/implementations/javascript/src/record.ts
+++ b/implementations/javascript/src/record.ts
@@ -71,11 +71,11 @@ export class Record<T extends object = DefaultPointer> extends Array<Value<T>> {
             }).join(', ') + ')';
     }
 
-    static makeConstructor<T extends object = DefaultPointer>(labelSymbolText: string, fieldNames: string[]): RecordConstructor<T> {
+    static makeConstructor<T extends object = any>(labelSymbolText: string, fieldNames: string[]): RecordConstructor<T> {
         return Record.makeBasicConstructor<T>(Symbol.for(labelSymbolText), fieldNames);
     }
 
-    static makeBasicConstructor<T extends object = DefaultPointer>(label: Value<T>, fieldNames: string[]): RecordConstructor<T> {
+    static makeBasicConstructor<T extends object = any>(label: Value<T>, fieldNames: string[]): RecordConstructor<T> {
         const arity = fieldNames.length;
         const ctor: RecordConstructor<T> = (...fields: Value<T>[]): Record<T> => {
             if (fields.length !== arity) {