Hello Austin,

On Sun, Sep 8, 2013 at 4:27 PM, Austin Seipp <aseipp@pobox.com> wrote:

* Iavor Diatchki and SPJ are working together on the type-nats-simple
branch. I believe this will hopefully land in time. Iavor, SPJ - can
you comment here?

I think we are on track to get this done on time. The type-nats-simple branch should be working (at least when I build it with no dynamic libraries) and up to date with HEAD, and there are some tests in a branched version of the testuite.

One question: when I try to validate things, my build fails with this error:

Reachable modules from DynFlags out of date

Please fix compiler/ghc.mk, or building DLLs on Windows may break (#7780)

Extra modules: BinIface BuildTyCl CoreLint FamInst Finder IOEnv IfaceEnv LoadIface PrelInfo TcIface TcMType TcRnMonad TcRnTypes TcTypeNats

Any advice on what might be going wrong?

-Iavor