From 6717d0219fb745ba0d402728f894ceb5f081b149 Mon Sep 17 00:00:00 2001
From: skaller <skaller@users.sourceforge.net>
Date: Sat, 3 Sep 2022 00:41:42 +1000
Subject: [PATCH] Fix wrong definition of tfix, the type level fixpoint
 operator.

---
 src/packages/control.fdoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/packages/control.fdoc b/src/packages/control.fdoc
index 93a217d80..08dbc0c9e 100644
--- a/src/packages/control.fdoc
+++ b/src/packages/control.fdoc
@@ -27,7 +27,7 @@ open class Control
   fun fix[D,C] (f:(D->C)->D->C) (x:D) : C => f (fix f) x;
 
   // for functors TYPE->K only, the K *must* be specified
-  typefun tfix<K> (f: TYPE->K):K => f x as x:K;
+  typefun tfix<K> (f: K ->K):K => f x as x:K;
 
 
   /* Example use: factorial function