try more precise types

dfinity · Feb 12, 2025 · 2da8973 · 2da8973
1 parent d149f7e
commit 2da8973
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pure/List.mo b/src/pure/List.mo
@@ -117,7 +117,7 @@ module {
   };
 
   public func flatten<T>(list : List<List<T>>) : List<T> {
-    foldRight(list, null, concat)
+    foldRight(list, empty<T>(), concat)
   };
 
   public func take<T>(list : List<T>, n : Nat) : List<T> =