From f1d87d5591f8613db717ec95d8da6f120a1df9e3 Mon Sep 17 00:00:00 2001
From: Ryan Hendrickson <ryan.hendrickson@alum.mit.edu>
Date: Sat, 29 Jun 2024 15:36:43 -0400
Subject: [PATCH] fix some builtins types

---
 salt/src/builtins.types.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/salt/src/builtins.types.json b/salt/src/builtins.types.json
index 136170c..463da98 100644
--- a/salt/src/builtins.types.json
+++ b/salt/src/builtins.types.json
@@ -29,7 +29,7 @@
   "dirOf": { "fn_type": "dirOf :: String -> String" },
   "div": { "fn_type": "div :: Number -> Number -> Number" },
   "elem": { "fn_type": "elem :: a -> [b] -> Bool" },
-  "elemAt": { "fn_type": "elemAt :: [a] -> Int -> b" },
+  "elemAt": { "fn_type": "elemAt :: [a] -> Int -> a" },
   "fetchClosure": { "fn_type": "fetchClosure :: AttrSet -> AttrSet" },
   "fetchGit": { "fn_type": "fetchgit :: AttrSet -> AttrSet" },
   "fetchTarball": { "fn_type": "fetchTarball :: AttrSet -> AttrSet" },
@@ -40,11 +40,11 @@
   },
   "floor": { "fn_type": "floor :: Float -> Int" },
   "foldl'": {
-    "fn_type": "foldl' :: (a -> b -> c) -> a -> [b] -> c"
+    "fn_type": "foldl' :: (a -> b -> a) -> a -> [b] -> a"
   },
   "fromJSON": { "fn_type": "fromJSON :: String -> a" },
   "functionArgs": { "fn_type": "functionArgs :: (a) -> AttrSet" },
-  "genList": { "fn_type": "genList :: (a -> b) -> a -> [b]" },
+  "genList": { "fn_type": "genList :: (Int -> a) -> Int -> [a]" },
   "genericClosure": { "fn_type": "genericClosure :: AttrSet -> [AttrSet]" },
   "getAttr": { "fn_type": "getAttr :: String -> AttrSet -> a" },
   "getEnv": { "fn_type": "getEnv :: String -> String" },