8000 Tags · ghcjs/ghc · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: ghcjs/ghc

Tags

ghc-7.4.1-release

Toggle ghc-7.4.1-release's commit message
Update ANNOUNCE for 7.4.1

ghc-7.2.2-release

Toggle ghc-7.2.2-release's commit message
Set configure.ac to build the 7.2.2 release

ghc-7.2.1-release

Toggle ghc-7.2.1-release's commit message
Expand on the unicode changes in the release notes

ghc-darcs-git-switchover

Toggle ghc-darcs-git-switchover's commit message
Introducing a datatype for WorkLists that properly prioritizes equali…

…ties.

We were not prioritizing the interaction of equalities in the worklist, because
pre-canonicalization solved the constraints one by one, in their arrival order.
This patch fixes this, so it's a generally useful improvement, mainly for
efficiency. It makes #4981 go away, although it's not a definite answer to the
cause of the problem. See discussion on Trac.

6_10_branch_has_been_forked

Toggle 6_10_branch_has_been_forked's commit message
6.10 branch has been forked

0