Merge pull request #4222 from roc-lang/explicit-imports-in-prelude

List dependencies in the stdlib explicitly rather than hard-coding

crates/compiler/builtins/roc/Decode.roc

@@ -30,6 +30,23 @@ interface Decode
     ]
     imports [
         List,
+        Result.{ Result },
+        Num.{
+            U8,
+            U16,
+            U32,
+            U64,
+            U128,
+            I8,
+            I16,
+            I32,
+            I64,
+            I128,
+            F32,
+            F64,
+            Dec,
+        },
+        Bool.{ Bool },
     ]
 
 DecodeError : [TooShort]

crates/compiler/builtins/roc/Dict.roc

@@ -20,6 +20,7 @@ interface Dict
         Bool.{ Bool },
         Result.{ Result },
         List,
+        Num.{ Nat },
     ]
 
 ## A [dictionary](https://en.wikipedia.org/wiki/Associative_array) that lets you can associate keys with values.

crates/compiler/builtins/roc/Encode.roc

@@ -27,7 +27,24 @@ interface Encode
         append,
         toBytes,
     ]
-    imports []
+    imports [
+        Num.{
+            U8,
+            U16,
+            U32,
+            U64,
+            U128,
+            I8,
+            I16,
+            I32,
+            I64,
+            I128,
+            F32,
+            F64,
+            Dec,
+        },
+        Bool.{ Bool },
+    ]
 
 Encoder fmt := List U8, fmt -> List U8 | fmt has EncoderFormatting
 

crates/compiler/builtins/roc/Hash.roc

@@ -20,6 +20,7 @@ interface Hash
     ] imports [
         List,
         Str,
+        Num.{ U8, U16, U32, U64, U128, I8, I16, I32, I64, I128 },
     ]
 
 ## A value that can hashed.

crates/compiler/builtins/roc/Json.roc

@@ -18,6 +18,23 @@ interface Json
             DecoderFormatting,
             DecodeResult,
         },
+        Num.{
+            U8,
+            U16,
+            U32,
+            U64,
+            U128,
+            I8,
+            I16,
+            I32,
+            I64,
+            I128,
+            F32,
+            F64,
+            Dec,
+        },
+        Bool.{ Bool },
+        Result,
     ]
 
 Json := {} has [

crates/compiler/builtins/roc/List.roc

@@ -63,6 +63,8 @@ interface List
     ]
     imports [
         Bool.{ Bool },
+        Result.{ Result },
+        Num.{ Nat, Num, Int },
     ]
 
 ## Types

crates/compiler/builtins/roc/Num.roc

@@ -145,6 +145,7 @@ interface Num
     ]
     imports [
         Bool.{ Bool },
+        Result.{ Result },
     ]
 
 ## Represents a number that could be either an [Int] or a [Frac].

crates/compiler/builtins/roc/Set.roc

@@ -14,7 +14,7 @@ interface Set
         intersection,
         difference,
     ]
-    imports [List, Bool.{ Bool }, Dict.{ Dict }]
+    imports [List, Bool.{ Bool }, Dict.{ Dict }, Num.{ Nat }]
 
 Set k := Dict.Dict k {}
 

crates/compiler/builtins/roc/Str.roc

@@ -44,7 +44,12 @@ interface Str
         walkScalars,
         walkScalarsUntil,
     ]
-    imports [Bool.{ Bool }, Result.{ Result }, List]
+    imports [
+        Bool.{ Bool },
+        Result.{ Result },
+        List,
+        Num.{ Nat, Num, U8, U16, U32, U64, U128, I8, I16, I32, I64, I128, F32, F64, Dec },
+    ]
 
 ## # Types
 ##