test

Author: Apple

Cargo.lock

@@ -1,5 +1,5 @@
 [package]
-name = "cli"
+name = "rim"
 version = "0.1.0"
 edition = "2021"
 

cli/Cargo.toml

@@ -1,4 +1,4 @@
-use std::{path::PathBuf, sync::Arc};
+use std::{path::PathBuf, sync::Arc, process::Command};
 
 use clap::Parser;
 use compiler::project;
@@ -32,6 +32,9 @@ pub enum Args {
         at: PathBuf
     },
     Build,
+    RunJs {
+        name: String,
+    },
 }
 
 #[tokio::main]
@@ -48,6 +51,17 @@ async fn main() {
             let library_server = Arc::new(project::LibraryServer::new());
             project::Pointer::new(".".into(), "".into(), library_server)
                 .compile().await.unwrap();
+        },
+        Args::RunJs { name } => {
+            let library_server = Arc::new(project::LibraryServer::new());
+            project::Pointer::new(".".into(), "".into(), library_server)
+                .compile().await.unwrap();
+            Command::new("node")
+                .arg(format!("./output/js/{name}.js"))
+                .spawn()
+                .unwrap()
+                .wait()
+                .unwrap();
         }
     }
 }
@@ -58,3 +72,6 @@ async fn init_project(path: PathBuf) -> Result<(), io::Error> {
     create_dir_all(path.join("main")).await?;
     Ok(())
 }
+
+
+// ../target/debug/cli run-js jsMain

cli/src/main.rs

@@ -1,5 +1,6 @@
 
 let
+    mod stuff file stuff
     mod console = builtIn.js.effect.console
 in
-    val jsMain = console.log "Hello world!"
+    val jsMain = stuff.main

testProject/main.rim

@@ -0,0 +1,59 @@
+let
+    val
+        add = builtIn.number.add
+        sub = builtIn.number.sub
+        mul = builtIn.number.mul
+        div = builtIn.number.div
+    mod unit where
+        pro new
+    mod tuple where
+        pro new fst snd
+
+    from builtIn
+        mod num = number
+        mod js = js
+        from js
+            mod eff = effect
+            from effect
+                mod console = console
+                from console
+                    val log = log
+in let
+    val withSelf = (\f = f f) (\self f = f $ self self f)
+    # amazing module about booleans! #
+    mod bool where
+        let
+            sum match false true
+        in
+            let val
+                match t f = match (\v = t) (\v = f)
+                true = true unit.new
+                false = false unit.new
+            in val
+                match = match
+                true = true
+                false = false
+                not = match true false
+
+in let
+    mod either where
+        let sum match left right
+        in let val isleft = match (\v = bool.true) (\v = bool.false)
+        in val
+            match = match
+            left = left
+            right = right
+            isleft = isleft
+            isright v = bool.not (isleft v)
+            usEdCool123Wow = builtIn.js.effect.console.log $ if builtIn.bool.false | builtIn.bool.false then 10 + 20 else 555
+
+    val factorial = withSelf \self x =
+        if num.eq x 0 then 1 else x * self (x - 1)
+
+    val iter = withSelf \self x =
+        if num.eq x 0 then 0 else 1 + self (x - 1)
+in let
+    from either val
+        coolio = usEdCool123Wow
+in
+    val main = log $ iter 100

testProject/main/stuff.rim

@@ -13,7 +13,41 @@ let v8 = [() => false]
 let v11 = [() => ($l => [() => ($r => [() => $unwrap($l) || $unwrap($r)])])]
 let v10 = [() => ($l => [() => ($r => [() => $unwrap($l) && $unwrap($r)])])]
 let v9 = [() => ($0 => [() => ($1 => [() => ($2 => [() => $unwrap($2) ? $unwrap($1) : $unwrap($0)])])])]
-let v14 = [() => $unwrap($unwrap(v13)([() => "Hello world!"]))]
+let v19 = [() => ($0 => [() => ($1 => [() => [$0, $1, ]])])]
+let v20 = [() => ($value => [() => $unwrap($unwrap($value)[0])])]
+let v21 = [() => ($value => [() => $unwrap($unwrap($value)[1])])]
+let v18 = [() => []]
+let v14 = [() => $unwrap(v0)]
+let v22 = [() => $unwrap(v13)]
+let v16 = [() => $unwrap(v2)]
+let v17 = [() => $unwrap(v3)]
+let v15 = [() => $unwrap(v1)]
+let v31 = [() => ($ => [() => [1, $]])]
+let v30 = [() => ($ => [() => [0, $]])]
+let v29 = [() => ($0 => [() => ($1 => [() => ($sum => [() => { let $value = $unwrap($sum); if ($value[0] == 0) { return $unwrap($unwrap($0)($value[1])) } else if ($value[0] == 1) { return $unwrap($unwrap($1)($value[1])) } else { throw new Error('Sum type mismatch: $value[0] is not in range of possible branches!') } }])])])]
+let v37 = [() => $unwrap($unwrap(v31)([() => $unwrap(v18)]))]
+let v38 = [() => $unwrap($unwrap(v30)([() => $unwrap(v18)]))]
+let v36 = [() => (v32 => [() => (v33 => [() => $unwrap($unwrap($unwrap(v29)([() => (v34 => [() => $unwrap(v32)])]))([() => (v35 => [() => $unwrap(v33)])]))])])]
+let v40 = [() => $unwrap(v37)]
+let v41 = [() => $unwrap(v38)]
+let v42 = [() => $unwrap($unwrap($unwrap(v36)([() => $unwrap(v37)]))([() => $unwrap(v38)]))]
+let v39 = [() => $unwrap(v36)]
+let v28 = [() => $unwrap((v23 => [() => $unwrap($unwrap(v23)([() => $unwrap(v23)]))])([() => (v24 => [() => (v25 => [() => $unwrap($unwrap((v26 => [() => (v27 => [() => $unwrap($unwrap(v26)([() => $unwrap(v27)]))])])([() => $unwrap(v25)]))([() => $unwrap($unwrap($unwrap(v24)([() => $unwrap(v24)]))([() => $unwrap(v25)]))]))])])]))]
+let v45 = [() => ($ => [() => [1, $]])]
+let v44 = [() => ($ => [() => [0, $]])]
+let v43 = [() => ($0 => [() => ($1 => [() => ($sum => [() => { let $value = $unwrap($sum); if ($value[0] == 0) { return $unwrap($unwrap($0)($value[1])) } else if ($value[0] == 1) { return $unwrap($unwrap($1)($value[1])) } else { throw new Error('Sum type mismatch: $value[0] is not in range of possible branches!') } }])])])]
+let v48 = [() => $unwrap($unwrap($unwrap(v43)([() => (v46 => [() => $unwrap(v40)])]))([() => (v47 => [() => $unwrap(v41)])]))]
+let v57 = [() => $unwrap($unwrap((v55 => [() => (v56 => [() => $unwrap($unwrap(v55)([() => $unwrap(v56)]))])])([() => $unwrap(v13)]))([() => $unwrap($unwrap($unwrap(($0 => [() => ($1 => [() => ($2 => [() => $unwrap($2) ? $unwrap($1) : $unwrap($0)])])])([() => 555]))([() => $unwrap($unwrap(($l => [() => ($r => [() => $unwrap($l) + $unwrap($r)])])([() => 10]))([() => 20]))]))([() => $unwrap($unwrap(($l => [() => ($r => [() => $unwrap($l) || $unwrap($r)])])([() => $unwrap(v8)]))([() => $unwrap(v8)]))]))]))]
+let v51 = [() => $unwrap(v45)]
+let v54 = [() => (v53 => [() => $unwrap($unwrap(v42)([() => $unwrap($unwrap(v48)([() => $unwrap(v53)]))]))])]
+let v52 = [() => $unwrap(v48)]
+let v50 = [() => $unwrap(v44)]
+let v49 = [() => $unwrap(v43)]
+let v63 = [() => $unwrap($unwrap(v28)([() => (v61 => [() => (v62 => [() => $unwrap($unwrap($unwrap(($0 => [() => ($1 => [() => ($2 => [() => $unwrap($2) ? $unwrap($1) : $unwrap($0)])])])([() => $unwrap($unwrap(($l => [() => ($r => [() => $unwrap($l) + $unwrap($r)])])([() => 1]))([() => $unwrap($unwrap(v61)([() => $unwrap($unwrap(($l => [() => ($r => [() => $unwrap($l) - $unwrap($r)])])([() => $unwrap(v62)]))([() => 1]))]))]))]))([() => 0]))([() => $unwrap($unwrap($unwrap(v5)([() => $unwrap(v62)]))([() => 0]))]))])])]))]
+let v60 = [() => $unwrap($unwrap(v28)([() => (v58 => [() => (v59 => [() => $unwrap($unwrap($unwrap(($0 => [() => ($1 => [() => ($2 => [() => $unwrap($2) ? $unwrap($1) : $unwrap($0)])])])([() => $unwrap($unwrap(($l => [() => ($r => [() => $unwrap($l) * $unwrap($r)])])([() => $unwrap(v59)]))([() => $unwrap($unwrap(v58)([() => $unwrap($unwrap(($l => [() => ($r => [() => $unwrap($l) - $unwrap($r)])])([() => $unwrap(v59)]))([() => 1]))]))]))]))([() => 1]))([() => $unwrap($unwrap($unwrap(v5)([() => $unwrap(v59)]))([() => 0]))]))])])]))]
+let v64 = [() => $unwrap(v57)]
+let v67 = [() => $unwrap($unwrap((v65 => [() => (v66 => [() => $unwrap($unwrap(v65)([() => $unwrap(v66)]))])])([() => $unwrap(v22)]))([() => $unwrap($unwrap(v63)([() => 100]))]))]
+let v68 = [() => $unwrap(v67)]
 
 // MAIN
-$unwrap(v14)()
+$unwrap(v68)()