From: Mart Lubbers <mart@martlubbers.net>
Date: Sat, 10 Nov 2018 14:50:48 +0000 (+0100)
Subject: t push orMerge branch 'master' of git.martlubbers.net:clean-tests
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=fb9157079d01fefff13b09fafdc190b5c6e4aa42;hp=0f459de371f01342780acddc3d34112afad0f099;p=clean-tests.git

t push orMerge branch 'master' of git.martlubbers.net:clean-tests
---

diff --git a/afp/a5/a5 b/afp/a5/a5
new file mode 100755
index 0000000..3c93586
Binary files /dev/null and b/afp/a5/a5 differ
diff --git a/dropExtension/test.icl b/dropExtension/test.icl
new file mode 100644
index 0000000..2c3192b
--- /dev/null
+++ b/dropExtension/test.icl
@@ -0,0 +1,22 @@
+module test
+
+import StdEnv
+import System.FilePath
+import Text
+import Text.GenPrint
+
+Start = join "\n" (map printToString
+	[splitExtension "a"
+	,splitExtension "/a"
+	,splitExtension "a.out"
+	,splitExtension "/a.out"
+	,splitExtension "a/b"
+	,splitExtension "/a/b"
+	,splitExtension "a/b.out"
+	,splitExtension "/a/b.out"
+	,splitExtension "a/b.c/d"
+	,splitExtension "/a/b.c/d"
+	,splitExtension "a/b.c/d.out"
+	,splitExtension "/a/b.c/d.out"
+	,splitExtension ""
+	])