feat: standard library & loading it by default

2 files changed, 27 insertions, 1 deletions

diff --git a/src/main.rs b/src/main.rs
index 639e675..2e9ee5f 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -38,9 +38,10 @@ fn main() {
 
     let mut file_to_execute: Option<String> = None;
 
-    let mut bind_files: Vec<String> = vec![];
+    let mut bind_files: Vec<String> = vec!["stdlib.slip".to_string()];
 
     let mut next_is_load = false;
+    let mut no_stdlib = false;
     for arg in env::args() {
 
 	if next_is_load {
@@ -52,6 +53,7 @@ fn main() {
 	match arg.as_str() {
 	    s if s.ends_with("myslip") => continue,
 	    "-l" | "--load" => next_is_load = true,
+	    "--no-stdlib" => no_stdlib = true,
 	    s => match file_to_execute {
 		Some(n) => {
 		    println!("Error: can't execute both '{}' and '{}', please specify just one file", s, n);
@@ -68,6 +70,9 @@ fn main() {
 	);
 	return;
     }
+    if no_stdlib {
+	bind_files.remove(0);
+    }
 
     let binds = match read_bind_files(bind_files) {
 	Ok(x) => x,
diff --git a/stdlib.slip b/stdlib.slip
new file mode 100644
index 0000000..9e20c64
--- /dev/null
+++ b/stdlib.slip
@@ -0,0 +1,21 @@
+(let if
+     (fn (cond iftrue iffalse) (Bool T T) T
+         (case cond
+             (true iftrue)
+             (_ iffalse))
+     )
+)
+
+
+(let ++
+     (fn x Int Int
+         (+ x 1)
+     )
+)
+
+
+(let --
+    (fn x Int Int
+        (- x 1)
+    )
+)
\ No newline at end of file