<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""> Hello! <div class=""> I am working on ticket <a href="https://ghc.haskell.org/trac/ghc/ticket/5850" class="">https://ghc.haskell.org/trac/ghc/ticket/5850</a> now. I’ve come upon converting the type, which <u class="">GHC.compileExpr</u> returns, to my prompt function type <u class="">[PModule] -> Int -> IO String</u>. But this function returns <span style="background-color: rgb(255, 255, 255);" class=""><u class="">ghc-prim-0.5.0.0:GHC.Prim.Any</u><span style="font-size: 11px;" class="">. </span></span><span style="background-color: rgb(255, 255, 255);" class="">I don’t see a clear way to convert it. So my questions are:</span></div><div class=""><span style="background-color: rgb(255, 255, 255);" class="">- What this type is about? I know <u class="">Any</u> type in Haskell. Is it a specific version of it?</span></div><div class=""><span style="background-color: rgb(255, 255, 255);" class="">- Or maybe it is not the best way to check a function correctness? I’ve checked out <u class="">InteractiveEval</u> module and it seems that there are only four quite similar functions to compile Expressions.<br class=""></span><div class=""> Last person, who was trying to solve this problem, used Unsafe.Coerce and it is also doing this job pretty well now, but the name speaks for itself. </div></div><div class=""> Thank you.</div></body></html>