Question

I’m having a look at this project http://community.haskell.org/~ndm/supero/

I have downloaded and compiled the program, and could use it on the included samples. But I tried it on my source code and it looks like the program only understands a subset of Haskell.

I got something like this:

supercompiler: Unhandled fromDecl: PatBind (SrcLoc {srcFilename =
“unknown.hs”, srcLine = 15, srcColumn = 1}) (PTuple [PVar (Ident
“width”),PVar (Ident “height”)]) Nothing (UnGuardedRhs (Tuple [Lit
(Int 7),Lit (Int 6)])) (BDecls [])

The code is available here https://github.com/phuc/Score4-haskell/blob/master/Main.hs

How do I get GHC to outputs the kind of Haskell that Supero understands?

Thank you very much.

Answer 1

The slides here seem to suggest that it is first run through Yhc, then transformed into an intermediate form HILL (First order Haskell Intermediate Little Language
– see slides), and then, finally, the analysis can be done.

Another slideshow provides this diagram: