diff --git a/HTF.cabal b/HTF.cabal
--- a/HTF.cabal
+++ b/HTF.cabal
@@ -1,5 +1,5 @@
 Name:             HTF
-Version:          0.10.0.3
+Version:          0.10.0.4
 License:          LGPL
 License-File:     LICENSE
 Copyright:        (c) 2005-2012 Stefan Wehr
@@ -114,6 +114,8 @@
   tests/compile-errors/run-tests.sh
   tests/compile-errors/Test1.hs
   tests/compile-errors/Test2.hs
+  tests/compile-errors/Test3.hs
+  tests/compile-errors/Test4.hs
   sample/LICENSE
   sample/Main.hs
   sample/MyPkg/A.hs
diff --git a/TODO.org b/TODO.org
--- a/TODO.org
+++ b/TODO.org
@@ -1,12 +1,11 @@
 * Relase 0.11
+** Fallback parser
+*** Use the lexer of haskell-src-exts
 ** Parallel test execution
 *** Options --threads=[N] or -j [N]
 *** Some test cannot be run in parallel
 
 ** Support for timeouts (--timeout=SECS)
-** Proper test suite
-* External interface for integrating other test frameworks
-** Support for Smallcheck and/or Lazy Smallcheck
-** Configuration file for htfpp
-* Other ideas
-** option --xml-result to output a junit-style XML document summarizing the test results
+** External interface for integrating other test frameworks
+*** Support for Smallcheck and/or Lazy Smallcheck
+*** Configuration file for htfpp
diff --git a/tests/compile-errors/Test3.hs b/tests/compile-errors/Test3.hs
new file mode 100644
--- /dev/null
+++ b/tests/compile-errors/Test3.hs
@@ -0,0 +1,10 @@
+{-# OPTIONS_GHC -F -pgmF ../../dist/build/htfpp/htfpp #-}
+
+import Test.Framework
+
+-- error must be in line 7
+test_foo :: Int
+test_foo = 5
+
+main :: IO ()
+main = return ()
diff --git a/tests/compile-errors/Test4.hs b/tests/compile-errors/Test4.hs
new file mode 100644
--- /dev/null
+++ b/tests/compile-errors/Test4.hs
@@ -0,0 +1,10 @@
+{-# OPTIONS_GHC -F -pgmF ../../dist/build/htfpp/htfpp #-}
+
+import Test.Framework
+data D = D
+-- error must be in line 7
+prop_foo :: D -> Bool
+prop_foo _ = False
+
+main :: IO ()
+main = return ()