diff --git a/src/UU/Parsing/CharParser.hs b/src/UU/Parsing/CharParser.hs
--- a/src/UU/Parsing/CharParser.hs
+++ b/src/UU/Parsing/CharParser.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE  MagicHash,
+              UnboxedTuples,
+              ScopedTypeVariables #-}
+
 module UU.Parsing.CharParser where
 import GHC.Prim
 import UU.Parsing.Interface
diff --git a/src/UU/Parsing/Interface.hs b/src/UU/Parsing/Interface.hs
--- a/src/UU/Parsing/Interface.hs
+++ b/src/UU/Parsing/Interface.hs
@@ -1,4 +1,7 @@
-{-# OPTIONS -fglasgow-exts  #-}
+{-# LANGUAGE  MagicHash,
+              UnboxedTuples,
+              ScopedTypeVariables #-}
+
 module UU.Parsing.Interface 
        ( AnaParser, pWrap, pMap
        , module UU.Parsing.MachineInterface
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
@@ -1,3 +1,7 @@
+{-# LANGUAGE  MagicHash,
+              UnboxedTuples,
+              ScopedTypeVariables #-}
+
 module UU.Parsing.Machine where
 import GHC.Prim
 import UU.Util.BinaryTrees 
diff --git a/src/UU/Parsing/MachineInterface.hs b/src/UU/Parsing/MachineInterface.hs
--- a/src/UU/Parsing/MachineInterface.hs
+++ b/src/UU/Parsing/MachineInterface.hs
@@ -1,4 +1,5 @@
-
+{-# LANGUAGE  MagicHash,
+              UnboxedTuples #-}
 
 module UU.Parsing.MachineInterface where
 import GHC.Prim
diff --git a/src/UU/Parsing/Offside.hs b/src/UU/Parsing/Offside.hs
--- a/src/UU/Parsing/Offside.hs
+++ b/src/UU/Parsing/Offside.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE  MagicHash,
+              UnboxedTuples,
+              ScopedTypeVariables #-}
+
 module UU.Parsing.Offside( parseOffside 
                          , pBlock 
                          , pBlock1 
diff --git a/src/UU/Parsing/Perms.hs b/src/UU/Parsing/Perms.hs
--- a/src/UU/Parsing/Perms.hs
+++ b/src/UU/Parsing/Perms.hs
@@ -1,4 +1,5 @@
-{-# OPTIONS -fglasgow-exts  #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+
 module UU.Parsing.Perms(Perms(), pPerms, pPermsSep, succeedPerms, (~*~), (~$~)) where
 
 import UU.Parsing
@@ -49,9 +50,9 @@
 
 pPermsSep :: IsParser p s => p x -> Perms p a -> p a
 pPermsSep (sep :: p z) perm = p2p (pSucceed ()) perm
- where  p2p :: IsParser p s => p x -> Perms p a -> p a
+ where  p2p ::  p () -> Perms p a -> p a
         p2p fsep (Perms (mbempty, nonempties)) = 
                 let empty          = fromMaybe  pFail mbempty
-                    pars (Br t p)  = flip ($) <$ fsep <*> p <*> p2p sep t
+                    pars (Br t p)  = flip ($) <$ fsep <*> p <*> p2p_sep t
                 in foldr (<|>) empty (map pars nonempties)              
-        p2p_sep =  p2p sep                   
+        p2p_sep =  p2p (()<$ sep)                                    
diff --git a/src/UU/Parsing/StateParser.hs b/src/UU/Parsing/StateParser.hs
--- a/src/UU/Parsing/StateParser.hs
+++ b/src/UU/Parsing/StateParser.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE  MagicHash,
+              UnboxedTuples,
+              ScopedTypeVariables #-}
+
 module UU.Parsing.StateParser(StateParser(..)) where
 import GHC.Prim
 import UU.Parsing.MachineInterface
diff --git a/src/UU/Scanner/GenTokenParser.hs b/src/UU/Scanner/GenTokenParser.hs
--- a/src/UU/Scanner/GenTokenParser.hs
+++ b/src/UU/Scanner/GenTokenParser.hs
@@ -1,3 +1,7 @@
+{-# LANGUAGE  MagicHash,
+              UnboxedTuples,
+              ScopedTypeVariables #-}
+
 module UU.Scanner.GenTokenParser where
 import GHC.Base
 import UU.Parsing.Interface(IsParser(pCostSym, pSym, (<$>)))
diff --git a/src/UU/Scanner/GenTokenSymbol.hs b/src/UU/Scanner/GenTokenSymbol.hs
--- a/src/UU/Scanner/GenTokenSymbol.hs
+++ b/src/UU/Scanner/GenTokenSymbol.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE  MagicHash #-}
+
 module UU.Scanner.GenTokenSymbol() where
 import GHC.Prim
 import UU.Scanner.GenToken(GenToken(..))
diff --git a/uulib.cabal b/uulib.cabal
--- a/uulib.cabal
+++ b/uulib.cabal
@@ -1,7 +1,7 @@
 cabal-version: >=1.1
 build-type: Simple
 name: uulib
-version: 0.9.12
+version: 0.9.13
 license: LGPL
 license-file: COPYRIGHT
 maintainer: Arie Middelkoop <ariem@cs.uu.nl>
@@ -11,6 +11,7 @@
 category: Parsing
 stability: Stable
 copyright: Universiteit Utrecht
+cabal-version: >= 1.2
 extra-source-files: README, LICENSE-LGPL,
                     examples/bibtex/Bibtex.hs,
                     examples/parser/Example.hs,
@@ -37,6 +38,5 @@
                    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: -fglasgow-exts
   hs-source-dirs: src