Supero (Haskell supercompiler)?

Question

I look at this project http://community.haskell.org/~ndm/supero/

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

I have something like this:

supercompiler: Unhandled fromDecl: PatBind (SrcLoc {srcFilename = msgstr "" "". "width"), PVar ("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 output Haskell type that Supero understands?

Many thanks.

Answer 1

The slides here seem to suggest that it is first run through Yhc, and then converted to the intermediate form HILL (middle-level Haskell junior language - see slides), and then finally the analysis can be performed.

Another slideshow presents this diagram:

Answer 2

As I understand it, the current version of Supero only processes the Haskell subset described in ICFP 2010 .

The previous version integrated with the YHC pipeline and could handle a larger subset. It was a long time ago, and the collection of YHC itself is quite soul-destroying. I would not recommend it.

Max Bolingbroke is currently integrating its own supercompiler in the GHC. However, I cannot see the code in my GitHub repository so that it may not be ready for public consumption yet.