feat: added discard: T -> () to stdlib.slip

1 files changed, 44 insertions, 35 deletions

diff --git a/stdlib.slip b/stdlib.slip
index 593dc14..f3c1d47 100644
--- a/stdlib.slip
+++ b/stdlib.slip
@@ -1,58 +1,67 @@
+
+(let discard
+  (fn a T Nil ())
+)
+
 (let if
-     (fn (cond iftrue iffalse) (Bool T T) T
-         (case cond
-             (true iftrue)
-             (_ iffalse))
-     )
+  (fn (cond iftrue iffalse) (Bool T T) T
+    (case cond
+      (true iftrue)
+      (_ iffalse))
+  )
 )
 
 
 (let ++
-     (fn x Int Int
-         (+ x 1)
-     )
+  (fn x Int Int
+    (+ x 1)
+  )
 )
 
 
 (let --
-    (fn x Int Int
-        (- x 1)
-    )
+  (fn x Int Int
+    (- x 1)
+  )
 )
 
 
 (let sum (fix
-	(fn sum' ((Vector (Int ...)) -> Int)
-	         ((Vector (Int ...)) -> Int)
-		(fn vec (Vector (Int ...)) Int
-			(case vec
-				((h ..t) (+ h (sum' t)))
-				(_ 0))
-		)
-	)
+  (fn sum' ((Vector (Int ...)) -> Int)
+           ((Vector (Int ...)) -> Int)
+    (fn vec (Vector (Int ...)) Int
+      (case vec
+        ((h ..t) (+ h (sum' t)))
+        (_ 0))
+    )
+  )
 ))
 
 
 (let map-i->i (fix
-	(fn map' (((Vector (Int ...)) (Int -> Int)) -> (Vector (Int ...)))
-	         (((Vector (Int ...)) (Int -> Int)) -> (Vector (Int ...)))
-		(fn (vec fun) ((Vector (Int ...)) (Int -> Int)) (Vector (Int ...))
-			(case vec
-				((h ..t) (<> (vector (fun h)) (map' t fun)))
-				(_ (() Int)))
-		)
-	)
+  (fn map'       (((Vector (Int ...)) (Int -> Int)) -> (Vector (Int ...)))
+                 (((Vector (Int ...)) (Int -> Int)) -> (Vector (Int ...)))
+    (fn (vec fun) ((Vector (Int ...)) (Int -> Int)) (Vector (Int ...))
+      (case vec
+      ((h ..t) (<> (vector (fun h)) (map' t fun)))
+      (_ (() Int)))
+    )
+  )
 ))
 
 
 (let filter-int (fix
-	(fn filter' (((Vector (Int ...)) (Int -> Bool)) -> (Vector (Int ...)))
-	            (((Vector (Int ...)) (Int -> Bool)) -> (Vector (Int ...)))
-		(fn (vec pred) ((Vector (Int ...)) (Int -> Bool)) (Vector (Int ...))
-			(case vec
-				((h ..t) (if (pred h) (<> (vector h) (filter' t pred)) (filter' t pred)))
-				(_ (() Int))
-			)
-		)
+  (fn filter'     (((Vector (Int ...)) (Int -> Bool)) -> (Vector (Int ...)))
+                  (((Vector (Int ...)) (Int -> Bool)) -> (Vector (Int ...)))
+    (fn (vec pred) ((Vector (Int ...)) (Int -> Bool)) (Vector (Int ...))
+      (case vec
+        ((h ..t) (
+	    if (pred h)
+	      (<> (vector h) (filter' t pred))
+	      (filter' t pred))
 	)
+        (_ (() Int))
+      )
+    )
+  )
 ))