diff -r 0fde0dca6744 -r 4c3704ecb0e6 src/Tools/Haskell/Markup.hs
--- a/src/Tools/Haskell/Markup.hs	Mon Nov 12 11:41:11 2018 +0100
+++ b/src/Tools/Haskell/Markup.hs	Mon Nov 12 14:02:33 2018 +0100
@@ -14,6 +14,8 @@
 
   nameN, name, xnameN, xname, kindN,
 
+  completionN, completion, no_completionN, no_completion,
+
   lineN, end_lineN, offsetN, end_offsetN, fileN, idN, positionN, position,
 
   markupN, consistentN, unbreakableN, indentN, widthN,
@@ -85,6 +87,15 @@
 kindN = "kind"
 
 
+{- completion -}
+
+completionN :: String; completion :: T
+(completionN, completion) = markup_elem "completion"
+
+no_completionN :: String; no_completion :: T
+(no_completionN, no_completion) = markup_elem "no_completion"
+
+
 {- position -}
 
 lineN, end_lineN :: String