7

GHC APIを使用してモジュールをロードし、式のタイプを取得する次のコードがあります。

typeObjects :: [String] -> [String] -> IO [Type]
typeObjects modules objects = do
  defaultErrorHandler defaultDynFlags $ do
    runGhc (Just libdir) $ do
      dflags <- getSessionDynFlags
      setSessionDynFlags dflags
      targets <- mapM ((flip guessTarget) Nothing) modules
      setTargets targets
      result <- load LoadAllTargets
      case result of
          Failed -> error "Compilation failed"
          Succeeded -> do
            m <- mapM (((flip findModule) Nothing) . mkModuleName) modules
            setContext m []
            values <- mapM exprType objects
            return values

式がタイプチェックしない場合、プログラム全体が次のようにクラッシュします。

TestDynamicLoad: panic! (the 'impossible' happened)
   (GHC version 7.0.3.20110330 for x86_64-unknown-linux):
    Couldn't match expected type `GHC.Types.Int'
            with actual type `[GHC.Types.Char]'

プログラムがクラッシュしないようにするにはどうすればよいですか？どの式のタイプが正常にチェックされ、どの式がチェックされなかったかを知りたいだけです。

4

1 に答える 1

12

これを処理することはできません。これはカーネルの「oops」のようなもので、ランタイムまたはコンパイラが一貫性のない状態にあることを意味します。バグとして報告してください。

于 2012-05-03T17:23:22.943 に答える