Commits

Show all
Author Commit Message Labels Comments Date
Simon Peyton Jones
Small refactorings - Define mkAxInstRHS and use it - Rename Instance to ClsInst
Branches
ghc-axioms
Simon Peyton Jones
Merge commit with HEAD
Branches
ghc-axioms
Simon Peyton Jones
Lots of refactoring of the CoAxiom stuff Mainly, I've made the type checker return FamInsts rather than CoAxioms; but there is a lot of renaming and beautification too.
Branches
ghc-axioms
Simon Peyton Jones
Tidy up lookupPromotedOcc and add -XPolyKinds suggestion
Branches
ghc-axioms
Simon Peyton Jones
Print more informative sizes in -dshow-passes, and add intWithCommas to Outputable for printing large Int/Integers
Simon Peyton Jones
Fix Trac #5721; type variables can be quoted in TH
Simon Peyton Jones
Documentation wibble: kind -> sort
Simon Peyton Jones
Merge branch 'master' of http://darcs.haskell.org/ghc
Simon Peyton Jones
Make RnEnv.lookupBindGroupOcc work on Orig RdrNames Such names can come from Template Haskell; see Trac #5700 Easily fixed, happily. I also renamed lookupSubBndr to lookupSubBndrOcc, which is more descriptive.
Simon Peyton Jones
Add an ASSERT on 'pick'
Simon Peyton Jones
Implemnt Trac #5712: show method for infix GADT constructors This is a tiny feature improvement; see the ticket. I have updated the user manual too.
Simon Peyton Jones
Use HsTupleTy [] for unit tuples, uniformly This is just a tidy-up triggered by #5719. We were parsing () as a type constructor, rather than as a HsTupleTy, but it's better dealt with uniformly as the former, I think. Somewhat a matter of taste.
Simon Peyton Jones
Fix an outright bug in the implementation of default decls for associated types (fixes Trac #5719) The bug was that we ended up quantifying the new AT instance over the wrong set of type variables, and that led to confusing chaos.
Simon Peyton Jones
Fix the behaviour of the unit unboxed tuple (# #) See Trac #5720: make the unit unboxed tuple (# #) behave uniformly with the unit boxed tuple () This is actually a change in behaviour, but in a very dark corner, so I don't think this is going to hurt anyone, and the current behaviour is deeply strange.
Simon Peyton Jones
Improve ASSERT error message
David Terei
Fix :issafe safe haskell ghci command
David Terei
Fix safe imports to work in GHCi.
David Terei
simplify code.
David Terei
Doc wibble
David Terei
Move function from where clause to top level
José Pedro Magalhães
Represent type family instances by CoAxioms, not TyCons. A few issues still remain to be addressed.
Branches
ghc-axioms
Dimitrios Vytiniotis
Merge branch 'master' of http://darcs.haskell.org//ghc
Dimitrios Vytiniotis
Now the constraint simplifier solves kind constraints as well.
Dimitrios Vytiniotis
Introduced new form of TcEvidence for KindCasts, this patch also fixes a bug in zonking: we must zonk the kinds of existential variables even if the variables themselves will not be affected.
Dimitrios Vytiniotis
Very small tweaks to pave the way for solving kind constraints in the simplifier.
David Terei
Improve sync-all usage doc
David Terei
Ignore -fpackage-trust if no other Safe Haskell flags
David Terei
Tabs -> Spaces
David Terei
Refactor Safe Haskell check to provide hscCheckSafe GHC API
David Terei
Tabs -> Spaces
  1. Prev
  2. Next