Fix wrong definition of tfix, the type level fixpoint operator.

felix-lang · Sep 2, 2022 · 6717d02 · 6717d02
1 parent 69cb6f6
commit 6717d02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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