From c46566e5a0b5bd674127382e0ed783202ed616ce Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 24 Feb 2021 20:40:49 +0100
Subject: [PATCH] mapPointers can yield non-pointers

---
 implementations/javascript/src/fold.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/implementations/javascript/src/fold.ts b/implementations/javascript/src/fold.ts
index de98672..a5b455e 100644
--- a/implementations/javascript/src/fold.ts
+++ b/implementations/javascript/src/fold.ts
@@ -68,9 +68,9 @@ export class IdentityFold<T extends object> extends ValueFold<T, T> {
 }
 
 export class MapFold<T extends object, R extends object> extends ValueFold<T, R> {
-    readonly f: (t: T) => R;
+    readonly f: (t: T) => Value<R>;
 
-    constructor(f: (t: T) => R) {
+    constructor(f: (t: T) => Value<R>) {
         super();
         this.f = f;
     }
@@ -127,7 +127,7 @@ export function fold<T extends object, R>(v: Value<T>, o: FoldMethods<T, R>): R
 
 export function mapPointers<T extends object, R extends object>(
     v: Value<T>,
-    f: (t: T) => R,
+    f: (t: T) => Value<R>,
 ): Value<R>
 {
     return fold(v, new MapFold(f));