From 3e917d9e5201fd883346dc13bc5174a6a55a6511 Mon Sep 17 00:00:00 2001 From: h7x4 Date: Wed, 18 Sep 2024 15:10:53 +0200 Subject: [PATCH] builtins.types: fix type for `builtins.tail` --- salt/src/builtins.types.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/salt/src/builtins.types.json b/salt/src/builtins.types.json index 463da98..e6928d6 100644 --- a/salt/src/builtins.types.json +++ b/salt/src/builtins.types.json @@ -95,7 +95,7 @@ "stringLength": { "fn_type": "stringLength :: String -> Int" }, "sub": { "fn_type": "sub :: Number -> Number -> Number" }, "substring": { "fn_type": "substring :: Int -> Int -> String -> String" }, - "tail": { "fn_type": "tail :: [a] -> a" }, + "tail": { "fn_type": "tail :: [a] -> [a]" }, "throw": { "fn_type": "throw :: String" }, "toFile": { "fn_type": "toFile :: Path -> String -> StorePath " }, "toJSON": { "fn_type": "toJSON :: a -> String" },