diff --git a/autotests/input/highlight.hs b/autotests/input/highlight.hs
--- a/autotests/input/highlight.hs
+++ b/autotests/input/highlight.hs
@@ -122,3 +122,13 @@
 -- data constructors
 
 EQ, False, GT, Just, LT, Left, Nothing, Right, True
+
+-- pragma with compiler flags
+
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+
+-- multiline pragma with language extensions
+
+{-# LANGUAGE OverlappingInstances,
+             BangPatterns
+#-}
diff --git a/autotests/reference/highlight.hs.ref b/autotests/reference/highlight.hs.ref
--- a/autotests/reference/highlight.hs.ref
+++ b/autotests/reference/highlight.hs.ref
@@ -122,3 +122,13 @@
 <Comment>-- data constructors</Comment><br/>
 <dsNormal></dsNormal><br/>
 <Data Prelude>EQ</Data Prelude><Normal>, </Normal><Data Prelude>False</Data Prelude><Normal>, </Normal><Data Prelude>GT</Data Prelude><Normal>, </Normal><Data Prelude>Just</Data Prelude><Normal>, </Normal><Data Prelude>LT</Data Prelude><Normal>, </Normal><Data Prelude>Left</Data Prelude><Normal>, </Normal><Data Prelude>Nothing</Data Prelude><Normal>, </Normal><Data Prelude>Right</Data Prelude><Normal>, </Normal><Data Prelude>True</Data Prelude><br/>
+<dsNormal></dsNormal><br/>
+<Comment>-- pragma with compiler flags</Comment><br/>
+<dsNormal></dsNormal><br/>
+<Pragma>{-# OPTIONS_GHC -fno-warn-orphans #-}</Pragma><br/>
+<dsNormal></dsNormal><br/>
+<Comment>-- multiline pragma with language extensions</Comment><br/>
+<dsNormal></dsNormal><br/>
+<Pragma>{-# LANGUAGE OverlappingInstances,</Pragma><br/>
+<Pragma>             BangPatterns</Pragma><br/>
+<Pragma>#-}</Pragma><br/>
diff --git a/data/syntax/haskell.xml b/data/syntax/haskell.xml
--- a/data/syntax/haskell.xml
+++ b/data/syntax/haskell.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE language SYSTEM "language.dtd">
-<language name="Haskell" version="5" kateversion="3.4" section="Sources" extensions="*.hs;*.chs" mimetype="text/x-haskell" author="Nicolas Wu (zenzike@gmail.com)" license="LGPL" indenter="haskell" style="haskell">
+<language name="Haskell" version="6" kateversion="3.4" section="Sources" extensions="*.hs;*.chs" mimetype="text/x-haskell" author="Nicolas Wu (zenzike@gmail.com)" license="LGPL" indenter="haskell" style="haskell">
   <highlighting>
   <list name="keywords">
     <item> case </item>
@@ -334,13 +334,133 @@
     <item> qualified </item>
     <item> hiding </item>
   </list>
+  <list name="language_pragmas">
+    <item> OverlappingInstances </item>
+    <item> UndecidableInstances </item>
+    <item> IncoherentInstances </item>
+    <item> DoRec </item>
+    <item> RecursiveDo </item>
+    <item> ParallelListComp </item>
+    <item> MultiParamTypeClasses </item>
+    <item> MonomorphismRestriction </item>
+    <item> FunctionalDependencies </item>
+    <item> Rank2Types </item>
+    <item> RankNTypes </item>
+    <item> PolymorphicComponents </item>
+    <item> ExistentialQuantification </item>
+    <item> ScopedTypeVariables </item>
+    <item> PatternSignatures </item>
+    <item> ImplicitParams </item>
+    <item> FlexibleContexts </item>
+    <item> FlexibleInstances </item>
+    <item> EmptyDataDecls </item>
+    <item> CPP </item>
+    <item> KindSignatures </item>
+    <item> BangPatterns </item>
+    <item> TypeSynonymInstances </item>
+    <item> TemplateHaskell </item>
+    <item> ForeignFunctionInterface </item>
+    <item> Arrows </item>
+    <item> Generics </item>
+    <item> ImplicitPrelude </item>
+    <item> NamedFieldPuns </item>
+    <item> PatternGuards </item>
+    <item> GeneralizedNewtypeDeriving </item>
+    <item> ExtensibleRecords </item>
+    <item> RestrictedTypeSynonyms </item>
+    <item> HereDocuments </item>
+    <item> MagicHash </item>
+    <item> TypeFamilies </item>
+    <item> StandaloneDeriving </item>
+    <item> UnicodeSyntax </item>
+    <item> UnliftedFFITypes </item>
+    <item> InterruptibleFFI </item>
+    <item> CApiFFI </item>
+    <item> LiberalTypeSynonyms </item>
+    <item> TypeOperators </item>
+    <item> RecordWildCards </item>
+    <item> RecordPuns </item>
+    <item> DisambiguateRecordFields </item>
+    <item> TraditionalRecordSyntax </item>
+    <item> OverloadedStrings </item>
+    <item> GADTs </item>
+    <item> GADTSyntax </item>
+    <item> MonoPatBinds </item>
+    <item> RelaxedPolyRec </item>
+    <item> ExtendedDefaultRules </item>
+    <item> UnboxedTuples </item>
+    <item> DeriveDataTypeable </item>
+    <item> DeriveGeneric </item>
+    <item> DefaultSignatures </item>
+    <item> InstanceSigs </item>
+    <item> ConstrainedClassMethods </item>
+    <item> PackageImports </item>
+    <item> ImpredicativeTypes </item>
+    <item> NewQualifiedOperators </item>
+    <item> PostfixOperators </item>
+    <item> QuasiQuotes </item>
+    <item> TransformListComp </item>
+    <item> MonadComprehensions </item>
+    <item> ViewPatterns </item>
+    <item> XmlSyntax </item>
+    <item> RegularPatterns </item>
+    <item> TupleSections </item>
+    <item> GHCForeignImportPrim </item>
+    <item> NPlusKPatterns </item>
+    <item> DoAndIfThenElse </item>
+    <item> MultiWayIf </item>
+    <item> LambdaCase </item>
+    <item> RebindableSyntax </item>
+    <item> ExplicitForAll </item>
+    <item> DatatypeContexts </item>
+    <item> MonoLocalBinds </item>
+    <item> DeriveFunctor </item>
+    <item> DeriveTraversable </item>
+    <item> DeriveFoldable </item>
+    <item> NondecreasingIndentation </item>
+    <item> SafeImports </item>
+    <item> Safe </item>
+    <item> Trustworthy </item>
+    <item> Unsafe </item>
+    <item> ConstraintKinds </item>
+    <item> PolyKinds </item>
+    <item> DataKinds </item>
+    <item> ParallelArrays </item>
+    <item> RoleAnnotations </item>
+    <item> OverloadedLists </item>
+    <item> EmptyCase </item>
+    <item> AutoDeriveTypeable </item>
+    <item> NegativeLiterals </item>
+    <item> BinaryLiterals </item>
+    <item> NumDecimals </item>
+    <item> NullaryTypeClasses </item>
+    <item> ExplicitNamespaces </item>
+    <item> AllowAmbiguousTypes </item>
+    <item> JavaScriptFFI </item>
+    <item> PatternSynonyms </item>
+    <item> PartialTypeSignatures </item>
+    <item> NamedWildCards </item>
+    <item> DeriveAnyClass </item>
+    <item> DeriveLift </item>
+    <item> StaticPointers </item>
+    <item> StrictData </item>
+    <item> Strict </item>
+    <item> ApplicativeDo </item>
+    <item> DuplicateRecordFields </item>
+    <item> TypeApplications </item>
+    <item> TypeInType </item>
+    <item> UndecidableSuperClasses </item>
+    <item> MonadFailDesugaring </item>
+    <item> TemplateHaskellQuotes </item>
+    <item> OverloadedLabels </item>
+  </list>
   <contexts>
     <context attribute="Normal" lineEndContext="#stay" name="code">
-      <RegExpr attribute="Pragma"  context="#stay" String="\{-#.*#-\}"/>
+      <StringDetect attribute="Pragma"  context="pragma" String="{-#"/>
       <StringDetect attribute="Comment" context="#stay" String="{--}"/>
       <RegExpr attribute="Comment" context="comments" String="\{-[^#]?" />
       <RegExpr attribute="Comment" context="comment"  String="--[\-]*([^!#\$%&amp;\*\+\./&lt;=&gt;\?@&#92;\^\|\-~:]|$)" />
-      <RegExpr attribute="Keyword" context="import"   String="import\s+" />
+      <WordDetect attribute="Keyword" context="import"   String="import" />
       <Detect2Chars attribute="C2HS Directive" context="c2hs directive" char="{" char1="#"/>
       <DetectChar attribute="C Preprocessor" context="C Preprocessor" char="#" column="0"/>
 
@@ -384,6 +504,10 @@
       <IncludeRules context="QuasiQuote"/>
       <IncludeRules context="##Hamlet" />
     </context>
+    <context attribute="Pragma" lineEndContext="#stay" name="pragma">
+      <keyword attribute="Pragma" context="#stay" String="language_pragmas" />
+      <StringDetect attribute="Pragma"  context="#pop" String="#-}"/>
+    </context>
     <context attribute="Comment" lineEndContext="#pop" name="comment">
       <IncludeRules context="Haddock" />
     </context>