Извлечение STG из исходного кода Haskell

Я пытаюсь извлечь STG-представление источника Haskell как String через Outputable, но похоже, что coreToStgArgs запаниковал следующим дампом:

user@machine ~/Desktop/hue $ runhaskell test.hs 
[foo :: forall a. Num a => a -> a
 [GblId, Arity=2, Caf=NoCafRefs, Str=DmdType] =
     \r srt:SRT:[] [$dNum a1] + $dNum a1 a1;,
 bar :: Int -> Int
 [GblId,test.hs: test.hs: panic! (the 'impossible' happened)
  (GHC version 7.10.3 for x86_64-unknown-linux):
    coreToStgArgs I# 3

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

Вот файл FooBar.hs, который я хочу извлечь:

module FooBar where

foo a = a + a

bar :: Int -> Int
bar b = b + 3

Вот источник test.hs, который я использовал:

import CoreToStg
import GHC
import GHC.Paths
import Outputable
import StgSyn

mkDynFlags :: IO DynFlags
mkDynFlags = runGhc (Just libdir) getSessionDynFlags

mkSTG :: FilePath -> FilePath -> IO [StgBinding]
mkSTG proj src = do
    dflags  <- mkDynFlags
    ghc_core <- runGhc (Just libdir) $ do
        setSessionDynFlags (dflags {importPaths = [proj]})
        compileToCoreSimplified src
        -- compileToCoreModule src
    coreToStg dflags (cm_module ghc_core) (cm_binds ghc_core)

mkIOStr :: (Outputable a) => a -> IO String
mkIOStr obj = do
    dflags <- mkDynFlags
    let ppr_str = showPpr dflags obj
    return ppr_str

main :: IO ()
main = do
    let proj = "/home/user/Desktop/hue"
    let src  = proj ++ "/FooBar.hs"
    res <- mkIOStr =<< mkSTG proj src
    putStrLn res

Похоже, что кто-то за несколько лет до меня столкнулся с похожей проблемой:

https://ghc.haskell.org/trac/ghc/ticket/7159

Однако я понятия не имею, что произошло с тех пор. Я также не уверен, что это правильный способ извлечения STG из произвольного источника Haskell, поэтому, если есть лучшие альтернативы, которые работают, я хотел бы услышать о них.

РЕДАКТИРОВАТЬ: Перевод STG выглядит успешным для следующей программы, в которой bar b = b + 3 заменено на bar b = 3:

module FooBar where

foo a = a + a

bar :: Int -> Int
bar b = 3

Фактически, на первый взгляд кажется, что все работает, если индуцированный Core Haskell не заставляет выполнять примитивные операции. Например, bar b = 3 + 9 не работает.