Friends, After a very busy period of hard work with Simon, we've re-engineered GHCs constraint solver and I just pushed a big patch on master along with modifications in the testsuite.
The new constraint solver is based on the existing in its core ideas but is shorter, much cuter, and for many programs much faster (for others performance is roughly the same) If you had a program that was taking very long to compile in the past, we'd be very interested to see how this reengineered constraint solver performs on it. Same if you spot problems or notable regressions. Thanks, enjoy! Dimitrios > -----Original Message----- > From: cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] > On Behalf Of dimit...@microsoft.com > Sent: 16 November 2011 17:42 > To: cvs-...@haskell.org > Subject: [commit: ghc] master: GHC gets a new constraint solver. More > efficient and smaller in size. (0007c0e) > > Repository : ssh://darcs.haskell.org//srv/darcs/ghc > > On branch : master > > http://hackage.haskell.org/trac/ghc/changeset/0007c0ec9c0de68e3a348b8c4 > 112ac48fd861b1e > > >--------------------------------------------------------------- > > commit 0007c0ec9c0de68e3a348b8c4112ac48fd861b1e > Author: Dimitrios Vytiniotis <dimit...@microsoft.com> > Date: Wed Nov 16 16:12:48 2011 +0000 > > GHC gets a new constraint solver. More efficient and smaller in size. > > compiler/basicTypes/DataCon.lhs | 9 +- > compiler/basicTypes/MkId.lhs | 10 +- > compiler/codeGen/CgCase.lhs | 18 +- > compiler/coreSyn/CoreLint.lhs | 78 +- > compiler/coreSyn/CoreSubst.lhs | 15 +- > compiler/coreSyn/CoreUtils.lhs | 27 +- > compiler/deSugar/Desugar.lhs | 7 +- > compiler/deSugar/DsBinds.lhs | 29 +- > compiler/deSugar/DsCCall.lhs | 4 +- > compiler/deSugar/DsUtils.lhs | 2 +- > compiler/hsSyn/HsBinds.lhs | 17 +- > compiler/prelude/TysPrim.lhs | 12 +- > compiler/simplCore/CoreMonad.lhs | 9 +- > compiler/simplCore/OccurAnal.lhs | 4 +- > compiler/simplCore/SimplUtils.lhs | 2 +- > compiler/simplCore/Simplify.lhs | 25 +- > compiler/typecheck/Inst.lhs | 71 +- > compiler/typecheck/TcCanonical.lhs | 1361 ++++++++++++++-------- > compiler/typecheck/TcErrors.lhs | 48 +- > compiler/typecheck/TcHsSyn.lhs | 12 +- > compiler/typecheck/TcInteract.lhs | 1664 > +++++++++----------------- > compiler/typecheck/TcMType.lhs | 40 +- > compiler/typecheck/TcRnDriver.lhs | 15 +- > compiler/typecheck/TcRnMonad.lhs | 9 + > compiler/typecheck/TcRnTypes.lhs | 194 +++- > compiler/typecheck/TcSMonad.lhs | 1211 ++++++++++++++------ > compiler/typecheck/TcSimplify.lhs | 522 +++++---- > compiler/typecheck/TcSplice.lhs | 2 +- > compiler/typecheck/TcType.lhs | 41 +- > compiler/types/Coercion.lhs | 99 +- > compiler/types/FunDeps.lhs | 10 +- > compiler/types/Type.lhs | 12 +- > compiler/types/TypeRep.lhs | 21 +- > compiler/vectorise/Vectorise/Type/PRepr.hs | 4 +- > compiler/vectorise/Vectorise/Utils/PADict.hs | 2 +- > 35 files changed, 3205 insertions(+), 2401 deletions(-) > > > Diff suppressed because of size. To see it, use: > > git show 0007c0ec9c0de68e3a348b8c4112ac48fd861b1e > > _______________________________________________ > Cvs-ghc mailing list > cvs-...@haskell.org > http://www.haskell.org/mailman/listinfo/cvs-ghc _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
