2012-08-23 |
Simon Peyton Jones | Fix to-iface conversion of RULES involving coercions...
|
commit | commitdiff | tree |
2012-08-23 |
Simon Peyton Jones | Merge ../HEAD
|
commit | commitdiff | tree |
2012-08-23 |
Simon Peyton Jones | Don't assume that coercion variables have (~) types
|
commit | commitdiff | tree |
2012-08-23 |
Simon Peyton Jones | Minor refactoring
|
commit | commitdiff | tree |
2012-08-22 |
Simon Peyton Jones | Add mapTM to TrieMap
|
commit | commitdiff | tree |
2012-08-22 |
Simon Peyton Jones | Tab elimination
|
commit | commitdiff | tree |
2012-08-22 |
Simon Peyton Jones | A bit more debug output
|
commit | commitdiff | tree |
2012-08-22 |
Simon Peyton Jones | Fix missing case in coVarsOfTcCo
|
commit | commitdiff | tree |
2012-08-21 |
Simon Peyton Jones | Refactor the way we infer types for functions in a...
|
commit | commitdiff | tree |
2012-08-21 |
Simon Peyton Jones | Re-jig the reporting of names bound multiple times
|
commit | commitdiff | tree |
2012-08-20 |
Simon Peyton Jones | When pattern matching against a constructor with equalities,
|
commit | commitdiff | tree |
2012-08-20 |
Simon Peyton Jones | Improve documentation for rank-1 types (Trac #7137)
|
commit | commitdiff | tree |
2012-08-16 |
Takano Akio | Allow a vew pattern or bang pattern in a record pattern.
|
commit | commitdiff | tree |
2012-08-15 |
Simon Peyton Jones | Use TcMType.growThetaTyVars (which works) rather than...
|
commit | commitdiff | tree |
2012-08-15 |
Simon Peyton Jones | Test FlexibleInstance not UndecidableInstances in the...
|
commit | commitdiff | tree |
2012-08-15 |
Simon Peyton Jones | Require DataKinds for promoted list/tuple syntax in...
|
commit | commitdiff | tree |
2012-08-15 |
Simon Peyton Jones | Put kind variables before type variables when quantifying
|
commit | commitdiff | tree |
2012-08-15 |
Simon Peyton Jones | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
|
commit | commitdiff | tree |
2012-08-15 |
Simon Peyton Jones | Fix Trac #7145, by recording uses of constructor "children...
|
commit | commitdiff | tree |
2012-08-15 |
Simon Peyton Jones | Comments about shadowing
|
commit | commitdiff | tree |
2012-08-15 |
Mikhail Vorozhtsov | TH: Pragmas refactoring.
|
commit | commitdiff | tree |
2012-08-14 |
Simon Peyton Jones | Improve documentation of the way that defaulting to...
|
commit | commitdiff | tree |
2012-08-14 |
Simon Peyton Jones | Document -fdefer-type-errors
|
commit | commitdiff | tree |
2012-08-14 |
Simon Peyton Jones | Better debug printing
|
commit | commitdiff | tree |
2012-08-14 |
Simon Peyton Jones | Comments
|
commit | commitdiff | tree |
2012-08-14 |
Simon Peyton Jones | Fix Trac #7128, by zonking kind varaibles more assiduously...
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Fix a subtle float-in bug
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Numerous small changes to the constraint solver
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Reverse sense of test in RULEs warning
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Typo in error message
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Delay inlining 'text' so that the RULE has a chance...
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Make the desugarer warn about RULES that may not fire
|
commit | commitdiff | tree |
2012-07-23 |
Simon Peyton Jones | Less voluminous debug printing with -ddump-tc-trace
|
commit | commitdiff | tree |
2012-07-21 |
Simon Peyton Jones | Don't report unused bindings of the form
|
commit | commitdiff | tree |
2012-07-20 |
Simon Peyton Jones | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
|
commit | commitdiff | tree |
2012-07-20 |
Simon Peyton Jones | Make SizeIs strict in the bag, which improves performance...
|
commit | commitdiff | tree |
2012-07-20 |
Simon Peyton Jones | Make seqType etc take accouunt of kinds that are now...
|
commit | commitdiff | tree |
2012-07-20 |
Simon Peyton Jones | Do calcUnfoldingGuidance on the *non* occ-analysed RHS
|
commit | commitdiff | tree |
2012-07-20 |
Simon Peyton Jones | Make tracingSettings have just enough information to...
|
commit | commitdiff | tree |
2012-07-20 |
Simon Peyton Jones | Merge ../HEAD
|
commit | commitdiff | tree |
2012-07-20 |
Simon Peyton Jones | Warn about unused pattern bindings
|
commit | commitdiff | tree |
2012-07-17 |
Simon Peyton Jones | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
|
commit | commitdiff | tree |
2012-07-16 |
Simon Peyton Jones | Convert (co1 -> co2) to an IfaceFunTy, rather than...
|
commit | commitdiff | tree |
2012-07-16 |
Simon Peyton Jones | Improve pretty printing for 'rec' Stmts, using pprDeeper
|
commit | commitdiff | tree |
2012-07-16 |
Simon Peyton Jones | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
|
commit | commitdiff | tree |
2012-07-16 |
Simon Peyton Jones | Reover from validity errors in type/class decls
|
commit | commitdiff | tree |
2012-07-14 |
Simon Peyton Jones | Do not discard insoluble constraints in simplifyInfer
|
commit | commitdiff | tree |
2012-07-14 |
Simon Peyton Jones | Comments only
|
commit | commitdiff | tree |
2012-07-14 |
Simon Peyton Jones | Comments only
|
commit | commitdiff | tree |
2012-07-14 |
Simon Peyton Jones | Comments about associated type tyvar naming
|
commit | commitdiff | tree |
2012-07-14 |
Simon Peyton Jones | When checking associated type instances, check that
|
commit | commitdiff | tree |
2012-07-13 |
Simon Peyton Jones | Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
|
commit | commitdiff | tree |
2012-07-12 |
Simon Peyton Jones | Spelling in comment
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Merge branch 'master' of ../HEAD
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Be careful not to look for Functor unnecessarily
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | More changes to kind inference for type and class declarations
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Remove dead code
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Remove dead code
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Tidy up validity checking of types, esp in contexts
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Suppress ambiguity errors if there are other solid...
|
commit | commitdiff | tree |
2012-07-10 |
Simon Peyton Jones | Comments and pretty printing
|
commit | commitdiff | tree |
2012-06-21 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-06-21 |
Simon Peyton Jones | Remove the USAVOURY HACK in simplifyInfer
|
commit | commitdiff | tree |
2012-06-13 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-06-13 |
Simon Peyton Jones | Simplify the implementation of Implicit Parameters
|
commit | commitdiff | tree |
2012-06-12 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-06-12 |
Simon Peyton Jones | Revive 'mdo' expressions, per discussion in Trac #4148
|
commit | commitdiff | tree |
2012-06-08 |
Simon Peyton Jones | Typo in comment
|
commit | commitdiff | tree |
2012-06-08 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-06-08 |
Simon Peyton Jones | Allow equalities in a derived instance context
|
commit | commitdiff | tree |
2012-06-08 |
Simon Peyton Jones | Make the ambiguity check more conservative so that...
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Complain if we use a tuple tycon or data-con that is...
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Wibbles to the last merge, to fix the build
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Improve assertion
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Support polymorphic kind recursion
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Re-order case branches
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Make PolyKinds imply KindSignatures
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Comments only
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Do not promote data families
|
commit | commitdiff | tree |
2012-06-07 |
Simon Peyton Jones | Improve docs on FlexibleInstances/TypeSynonymInstances
|
commit | commitdiff | tree |
2012-06-05 |
Simon Peyton Jones | Add sensible locations to record-selector bindings
|
commit | commitdiff | tree |
2012-06-05 |
Simon Peyton Jones | Pretty-printing improvements
|
commit | commitdiff | tree |
2012-06-05 |
Simon Peyton Jones | Use checkNoErrs around calls to the renamer in TcSplice
|
commit | commitdiff | tree |
2012-06-05 |
Simon Peyton Jones | Modify error message slightly
|
commit | commitdiff | tree |
2012-06-05 |
Simon Peyton Jones | Use a *constructor* name when promoting a type
|
commit | commitdiff | tree |
2012-05-28 |
Simon Peyton Jones | Be less aggressive about the result discount
|
commit | commitdiff | tree |
2012-05-25 |
Simon Peyton Jones | Improve occurs-check error reporting (fix Trac #6123)
|
commit | commitdiff | tree |
2012-05-24 |
Simon Peyton Jones | Tidy up the treatment of signatures (incl fixity)
|
commit | commitdiff | tree |
2012-05-24 |
Simon Peyton Jones | Fix an assertion failure in the stage2 compiler
|
commit | commitdiff | tree |
2012-05-24 |
Simon Peyton Jones | Wibbles from 'Fix scoping of kind variables in instance...
|
commit | commitdiff | tree |
2012-05-24 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-05-22 |
Simon Peyton Jones | Merge branch 'master' of http://darcs.haskell.org/ghc
|
commit | commitdiff | tree |
2012-05-22 |
Simon Peyton Jones | Comments only
|
commit | commitdiff | tree |
2012-05-22 |
Simon Peyton Jones | Fix scoping of kind variables in instance declarations
|
commit | commitdiff | tree |
2012-05-18 |
Simon Peyton Jones | Wibbles to lunaris's patch for promoted kinds
|
commit | commitdiff | tree |
2012-05-18 |
Simon Peyton Jones | Allow INLINABLE pragmas in TH
|
commit | commitdiff | tree |
next |