Hello Austin,
On Sun, Sep 8, 2013 at 4:27 PM, Austin Seipp
* 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