Late last night, I successfully built the full webapp for Android!

That was with several manual modifications to the generated code, which I still need to automate. And I need to set up the autobuilder properly still. And I need to find a way to make the webapp open Android's web browser to URL. So it'll be a while yet until a package is available to try. But what a milestone!

The point I was stuck on all day yesterday was generated code that looked like this:

(toHtml
  (\ u_a2ehE -> urender_a2ehD u_a2ehE []
    (CloseAlert aid)))));

That just couldn't type check at all. Most puzzling. My best guess is that u_a2ehE is the dictionary GHC passes internally to make a typeclass work, which somehow leaked out and became visible. Although I can't rule out that I may have messed something up in my build environment. The EvilSplicer has a hack in it that finds such code and converts it to something like this:

(toHtml
  (flip urender_a2ehD []
    (CloseAlert aid)))));

I wrote some more about the process of the Android port in my personal blog: Template Haskell on impossible architectures


Release day today. The OSX builds are both not available yet for this release, hopefully will come out soon.