From d57a6ca572b5679ca0610d8ab46c66ac5057a7eb Mon Sep 17 00:00:00 2001 From: MMesch Date: Sat, 14 Jul 2018 11:06:07 +0200 Subject: [PATCH] add pygment lexer info --- ipython-kernel/src/IHaskell/IPython/Message/Writer.hs | 1 + ipython-kernel/src/IHaskell/IPython/Types.hs | 1 + main/Main.hs | 1 + 3 files changed, 3 insertions(+) diff --git a/ipython-kernel/src/IHaskell/IPython/Message/Writer.hs b/ipython-kernel/src/IHaskell/IPython/Message/Writer.hs index 3bdd8907..635b8474 100644 --- a/ipython-kernel/src/IHaskell/IPython/Message/Writer.hs +++ b/ipython-kernel/src/IHaskell/IPython/Message/Writer.hs @@ -20,6 +20,7 @@ instance ToJSON LanguageInfo where , "version" .= languageVersion info , "file_extension" .= languageFileExtension info , "codemirror_mode" .= languageCodeMirrorMode info + , "pygments_lexer" .= languagePygmentsLexer info ] -- Convert message bodies into JSON. diff --git a/ipython-kernel/src/IHaskell/IPython/Types.hs b/ipython-kernel/src/IHaskell/IPython/Types.hs index f062d220..59a389f6 100644 --- a/ipython-kernel/src/IHaskell/IPython/Types.hs +++ b/ipython-kernel/src/IHaskell/IPython/Types.hs @@ -276,6 +276,7 @@ data LanguageInfo = , languageVersion :: String -- ^ GHC 7.6.3 , languageFileExtension :: String -- ^ .hs , languageCodeMirrorMode :: String -- ^ 'ihaskell'. can be 'null' + , languagePygmentsLexer :: String } deriving (Show, Eq) diff --git a/main/Main.hs b/main/Main.hs index 44ae0855..edb71afe 100644 --- a/main/Main.hs +++ b/main/Main.hs @@ -274,6 +274,7 @@ replyTo interface KernelInfoRequest{} replyHeader state = do , languageVersion = VERSION_ghc , languageFileExtension = ".hs" , languageCodeMirrorMode = "ihaskell" + , languagePygmentsLexer = "Haskell" } , status = Ok })