aboutsummaryrefslogtreecommitdiff
path: root/solutions/cond-add-inv
diff options
context:
space:
mode:
Diffstat (limited to 'solutions/cond-add-inv')
-rw-r--r--solutions/cond-add-inv/a.slip7
-rw-r--r--solutions/cond-add-inv/b.slip5
-rw-r--r--solutions/cond-add-inv/execution.sh5
3 files changed, 17 insertions, 0 deletions
diff --git a/solutions/cond-add-inv/a.slip b/solutions/cond-add-inv/a.slip
new file mode 100644
index 0000000..ac11370
--- /dev/null
+++ b/solutions/cond-add-inv/a.slip
@@ -0,0 +1,7 @@
+
+(let cond-add-inv
+ (fn (x cond) (Int Bool) Int
+ (if cond (* -1 x) x)
+ )
+)
+
diff --git a/solutions/cond-add-inv/b.slip b/solutions/cond-add-inv/b.slip
new file mode 100644
index 0000000..af4a995
--- /dev/null
+++ b/solutions/cond-add-inv/b.slip
@@ -0,0 +1,5 @@
+
+(discard
+ (print (cond-add-inv 7 true))
+ (print (cond-add-inv 7 false)))
+
diff --git a/solutions/cond-add-inv/execution.sh b/solutions/cond-add-inv/execution.sh
new file mode 100644
index 0000000..6567131
--- /dev/null
+++ b/solutions/cond-add-inv/execution.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+# Here's a way to link a.slip and maintaining the stdlib in
+# use without changing working directory, then using a.slip in b.slip
+myslip -l solutions/cond-add-inv/a.slip solutions/cond-add-inv/b.slip