Supero(Haskell超级编译器)用法？

Question

我正在看这个项目http://community.haskell.org/~ndm/supero/

我已经下载并编译了该程序,并可以在包含的示例中使用它.但我在源代码上尝试了它,看起来程序只能理解Haskell的一个子集.

我有这样的事情:

supercompiler:未处理fromDecl:PatBind(SrcLoc {srcFilename ="unknown.hs",srcLine = 15,srcColumn = 1})(PTuple [PVar(Ident"width"),PVar(Ident"height")])Nothing(UnGuardedRhs(元组[Lit(Int 7),Lit(Int 6)]))(BDecls [])

代码可在此处获得https://github.com/phuc/Score4-haskell/blob/master/Main.hs

如何让GHC输出Supero理解的那种Haskell？

非常感谢你.

Answer 1

这里的幻灯片似乎表明它首先通过Yhc运行,然后转换为中间形式HILL(一阶Haskell中级小语言 - 参见幻灯片),然后,最后,分析可以完成.

另一张幻灯片提供了此图表: