From: Mart Lubbers Date: Sat, 10 Nov 2018 14:50:44 +0000 (+0100) Subject: com X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=1738c52e1870a3d727b7b39eae588688de6bdf6e;p=clean-tests.git com --- 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 "" + ])