start on roc_load build.rs script for building the builtins

Cargo.lock

@@ -3673,7 +3673,11 @@ dependencies = [
 name = "roc_load"
 version = "0.1.0"
 dependencies = [
+ "bumpalo",
+ "roc_builtins",
  "roc_load_internal",
+ "roc_module",
+ "roc_target",
 ]
 
 [[package]]

compiler/builtins/roc/Bool.roc

@@ -1,3 +1,7 @@
+interface Bool
+    exposes [ Bool, and, or, not, isEq, isNotEq ]
+    imports [ ]
+
 Bool : [ True, False ]
 
 and : Bool, Bool -> Bool

compiler/load/Cargo.toml

@@ -10,3 +10,8 @@ roc_load_internal = { path = "../load_internal" }
 
 [build-dependencies]
 roc_load_internal = { path = "../load_internal" }
+roc_builtins = { path = "../builtins" }
+roc_module = { path = "../module" }
+bumpalo = { version = "3.8.0", features = ["collections"] }
+roc_target = { path = "../roc_target" }
+# roc_types = { path = "../types" }

compiler/load_internal/src/file.rs

@@ -832,6 +832,31 @@ pub fn load_and_typecheck<'a>(
     }
 }
 
+pub fn load_and_typecheck_str<'a>(
+    arena: &'a Bump,
+    filename: PathBuf,
+    source: &'a str,
+    src_dir: &Path,
+    exposed_types: ExposedByModule,
+    target_info: TargetInfo,
+) -> Result<LoadedModule, LoadingProblem<'a>> {
+    use LoadResult::*;
+
+    let load_start = LoadStart::from_str(arena, filename, source)?;
+
+    match load(
+        arena,
+        load_start,
+        src_dir,
+        exposed_types,
+        Phase::SolveTypes,
+        target_info,
+    )? {
+        Monomorphized(_) => unreachable!(""),
+        TypeChecked(module) => Ok(module),
+    }
+}
+
 /// Main entry point to the compiler from the CLI and tests
 pub fn load_and_monomorphize<'a>(
     arena: &'a Bump,