Hello Austin,
On Sun, Sep 8, 2013 at 4:27 PM, Austin Seipp <ase...@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
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users