Separate TODO cases
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 11 Jul 2013 14:15:06 +0000 (16:15 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 11 Jul 2013 14:15:06 +0000 (16:15 +0200)
tests/failing/LiftNested.err [deleted file]
tests/failing/LiftNested.hs [deleted file]
tests/failing/LiftNested.run [deleted file]
tests/todo/BBTArgs [new file with mode: 0644]
tests/todo/LiftNested.err [new file with mode: 0644]
tests/todo/LiftNested.hs [new file with mode: 0644]
tests/todo/LiftNested.run [new file with mode: 0644]

diff --git a/tests/failing/LiftNested.err b/tests/failing/LiftNested.err
deleted file mode 100644 (file)
index cbc369a..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-ghc: sorry! (unimplemented feature or known bug)
-  (GHC version 7.6.3 for x86_64-unknown-linux):
-       deriveThisNT cannot handle all recursive data types yet, sorry
-    LiftNested.Bal
-
diff --git a/tests/failing/LiftNested.hs b/tests/failing/LiftNested.hs
deleted file mode 100644 (file)
index efbd9df..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-{-# OPTIONS_GHC -fplugin GHC.NT.Plugin #-}
-
-module LiftNested where
-
-import GHC.NT
-import Newtype hiding (main)
-
-data Bal a = End a | Node (Bal (a,a)) deriving Show
-
-balNT :: NT a b -> NT (Bal a) (Bal b)
-balNT = deriveThisNT
-
-
-main = do
-    let n = Node (Node (End ((1,2),(3,4))))
-    let a = coerce (sym (balNT ageNT)) n
-    print n
-    print a
-
diff --git a/tests/failing/LiftNested.run b/tests/failing/LiftNested.run
deleted file mode 100644 (file)
index 0368c85..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-ghc -dcore-lint -package ghc -itests -itests/failing LiftNested --make -main-is LiftNested >/dev/null &&
-tests/failing/LiftNested
diff --git a/tests/todo/BBTArgs b/tests/todo/BBTArgs
new file mode 100644 (file)
index 0000000..7acf375
--- /dev/null
@@ -0,0 +1 @@
+Fail
diff --git a/tests/todo/LiftNested.err b/tests/todo/LiftNested.err
new file mode 100644 (file)
index 0000000..cbc369a
--- /dev/null
@@ -0,0 +1,5 @@
+ghc: sorry! (unimplemented feature or known bug)
+  (GHC version 7.6.3 for x86_64-unknown-linux):
+       deriveThisNT cannot handle all recursive data types yet, sorry
+    LiftNested.Bal
+
diff --git a/tests/todo/LiftNested.hs b/tests/todo/LiftNested.hs
new file mode 100644 (file)
index 0000000..efbd9df
--- /dev/null
@@ -0,0 +1,19 @@
+{-# OPTIONS_GHC -fplugin GHC.NT.Plugin #-}
+
+module LiftNested where
+
+import GHC.NT
+import Newtype hiding (main)
+
+data Bal a = End a | Node (Bal (a,a)) deriving Show
+
+balNT :: NT a b -> NT (Bal a) (Bal b)
+balNT = deriveThisNT
+
+
+main = do
+    let n = Node (Node (End ((1,2),(3,4))))
+    let a = coerce (sym (balNT ageNT)) n
+    print n
+    print a
+
diff --git a/tests/todo/LiftNested.run b/tests/todo/LiftNested.run
new file mode 100644 (file)
index 0000000..3cba454
--- /dev/null
@@ -0,0 +1,2 @@
+ghc -dcore-lint -package ghc -itests -itests/todo LiftNested --make -main-is LiftNested >/dev/null &&
+tests/todo/LiftNested