作为一个更大的大学项目的一小部分,我需要编写一个本质上非常粗糙的 IDE。这个想法是从 gtk 文本框中获取输入,将该字符串视为在 .hs 文件中,并评估其中的函数。
我的主要方法是使用GHC API来编译和评估测试函数。我已经设法获得了一个用于从 .hs 文件编译的玩具示例。GHC 的 Target 数据类型有一个用于从 StringBuffer 获取目标的可选构造函数,因此我决定尝试更改我的代码以使其从 String Buffer 中工作:
compileText :: SourceView -> IO ()
compileText tview = do
txtBuff <- textViewGetBuffer tview
startIt <- textBufferGetStartIter txtBuff
endIt <- textBufferGetEndIter txtBuff
compTime <- getClockTime
srcString <- textBufferGetText txtBuff startIt endIt False
defaultErrorHandler defaultLogAction $ do
func <- runGhc (Just libdir) $ do
dflags <- getSessionDynFlags
setSessionDynFlags dflags
addTarget $ haskellFileFromText srcString compTime
r <- load LoadAllTargets
case r of
Failed -> error "Compilation failed"
Succeeded -> do
m <- findModule (mkModuleName "Test") Nothing
setContext [IIModule m]
value <- compileExpr ("Test.print")
do let value' = (unsafeCoerce value) :: String -> IO ()
return value'
func "Hello"
return ()
haskellFileFromText :: String -> ClockTime -> GHC.Target
haskellFileFromText codeStr cTime = GHC.Target (TargetModule (mkModuleName "Test")) False (Just ((stringToStringBuffer codeStr), cTime))
以下代码当时在文本框中:
module Test (Test.print) where
print :: String -> IO ()
print x = putStrLn x
但是,这似乎不起作用。我得到错误:
textEdit: panic! (the 'impossible' happened)
(GHC version 7.4.1 for x86_64-unknown-linux):
Could not find module `Test'
Use -v to see a list of the files searched for.
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
我究竟做错了什么?我觉得我严重误解了这段代码的工作方式。
向我建议的这种方法的替代方法是使用提示或 mueval 之类的方法来评估文本框中的文本。如果我只是想单独评估一个函数,这似乎可以正常工作,但是如果我想评估一个依赖于运行同一源文件中定义的 4 个其他函数的上下文的函数,这会扩展吗?