diff --git a/src/UU/Parsing/Machine.hs b/src/UU/Parsing/Machine.hs
--- a/src/UU/Parsing/Machine.hs
+++ b/src/UU/Parsing/Machine.hs
@@ -307,6 +307,8 @@
 -- =======================================================================================
 -- ===== MKPARSER ========================================================================
 -- =======================================================================================
+mkParser :: (InputState state s p, Symbol s, Ord s, OutputState result) =>
+            Nat -> Maybe (Bool, Either a (ParsRec state result s p a)) -> OneDescr state result s p a -> AnaParser state result s p a
 mkParser length zd ~descr@(OneDescr firsts tab) -- pattern matching should be lazy for lazy computation of length for empty parsers
  = let parstab    = foldr1 mergeTables  [[(k, p)]| (k, TableEntry p _) <- tab]
        mkactualparser getp 
diff --git a/uulib.cabal b/uulib.cabal
--- a/uulib.cabal
+++ b/uulib.cabal
@@ -1,7 +1,7 @@
 cabal-version: >= 1.6
 build-type: Simple
 name: uulib
-version: 0.9.14
+version: 0.9.15
 license: BSD3
 license-file: COPYRIGHT
 maintainer: S. Doaitse Swierstra
@@ -32,5 +32,4 @@
                    UU.Scanner UU.Util.BinaryTrees UU.Util.PermTree UU.Util.Utils
                    UU.Pretty.Basic UU.Parsing.Machine
   extensions:  RankNTypes FunctionalDependencies TypeSynonymInstances UndecidableInstances FlexibleInstances MultiParamTypeClasses FlexibleContexts CPP ExistentialQuantification
-  ghc-options: -O0
   hs-source-dirs: src