Commits

Show all
Author Commit Message Labels Comments Date
Simon Peyton Jones
Make a start towards eta-rules and injective families
Branches
type-holes-branch
Simon Peyton Jones
Implement 'left' and 'right' coercions
Branches
type-holes-branch
Simon Peyton Jones
Tidy up and simplify simplifyRule, pls adding some other comments
Branches
type-holes-branch
Simon Peyton Jones
Tidy up and simplify TcMType.zonkFlats (discussion between DV and SLPJ)
Branches
type-holes-branch
Simon Peyton Jones
Remove cc_ty from CIrredCan and cc_hole_ty from CHoleCan
Branches
type-holes-branch
Simon Peyton Jones
Another refactoring of constraints
Branches
type-holes-branch
Simon Peyton Jones
Name the extension -XTypeHoles rather than -XHoles
Branches
type-holes-branch
Simon Peyton Jones
Merge remote branch 'laptop-HEAD/tc-untouchables' into type-holes-branch
Branches
type-holes-branch
Simon Peyton Jones
Merge branch 'tc-untouchables' of ../HEAD into type-holes-branch
Branches
type-holes-branch
Simon Peyton Jones
Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouchables
Branches
type-holes-branch
Simon Peyton Jones
Add comments about how untouchables work
Branches
type-holes-branch
Dimitrios Vytiniotis
Moved solving of type families to zonkWC and a few simplifications
Simon Peyton Jones
Merge remote branch 'laptop-HEAD/tc-untouchables' into type-holes-branch
Branches
type-holes-branch
Simon Peyton Jones
Some refactoring; removes simplifyCheck
Simon Peyton Jones
When defaulting, check for *meta* tyvars
Simon Peyton Jones
Make kickOutRewritable kick out insolubles
Simon Peyton Jones
Move inert_insols into the InertCans record
Simon Peyton Jones
Remove historical Unique parameter from pushUntouchables
Simon Peyton Jones
Comments only
Simon Peyton Jones
Some comments and false starts to do with ArrForm
Simon Peyton Jones
Merge remote branch 'laptop-HEAD/tc-untouchables' into type-holes-branch
Branches
type-holes-branch
Simon Peyton Jones
Do not do escapeArrowScope when typechecking arrows
Branches
type-holes-branch
Simon Peyton Jones
Wibbles to fe6ddf00, fixing infelicities
Simon Peyton Jones
Merge branch 'tc-untouchables', remote branch 'origin' into tc-untouchables
Simon Peyton Jones
extractRelevant should not see a CHoleCan
Branches
type-holes-branch
Simon Peyton Jones
A bunch more simplification and refactoring to the constraint solver
Simon Peyton Jones
More simplifications to the constraint solver
Thijs Alkemade
Fix typo after merge.
Branches
type-holes-branch
Thijs Alkemade
Merge branch 'master' of https://github.com/ghc/ghc
Branches
type-holes-branch
Thijs Alkemade
Fix the construction of the constraint, so it gets the right [ErrCtxt], and so it can be properly located.
Branches
type-holes-branch
  1. Prev
  2. Next