git.haskell.org
/
ghc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Implement Div, Mod, and Log for type-level nats.
2017-10-03
Simon Peyton Jones
Suppress error cascade in record fields
commit
|
commitdiff
|
tree
2017-10-03
Simon Peyton Jones
Fix nasty bug in w/w for absence analysis
commit
|
commitdiff
|
tree
2017-10-03
Simon Peyton Jones
Make GHC.IO.Buffer.summaryBuffer strict
commit
|
commitdiff
|
tree
2017-10-03
Simon Peyton Jones
Fix bug in the short-cut solver
commit
|
commitdiff
|
tree
2017-10-03
Simon Peyton Jones
Comments only
commit
|
commitdiff
|
tree
2017-09-26
Simon Peyton Jones
Omit Typeable from the "naturally coherent" list
commit
|
commitdiff
|
tree
2017-09-25
Simon Peyton Jones
Fix solving of implicit parameter constraints
commit
|
commitdiff
|
tree
2017-09-25
Simon Peyton Jones
Improve type-error reporting
commit
|
commitdiff
|
tree
2017-09-25
Simon Peyton Jones
Comments only
commit
|
commitdiff
|
tree
2017-09-25
Simon Peyton Jones
Make pprQuotedList use fsep not hsep
commit
|
commitdiff
|
tree
2017-09-25
Simon Peyton Jones
Deal with large extra-contraints wildcards
commit
|
commitdiff
|
tree
2017-09-19
Simon Peyton Jones
Fix unused-given-constraint bug
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
Add test for Trac #14232
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
Remove unused variable binding
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
Interim fix for a nasty type-matching bug
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
Refactor tcInferApps
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
Refactor to eliminate FamTyConShape
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
Tidying could cause ill-kinded types
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
Fix subtle bug in TcTyClsDecls.mkGADTVars
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
More refinements to debugPprType
commit
|
commitdiff
|
tree
2017-09-14
Simon Peyton Jones
No need to check ambiguity for visible type args
commit
|
commitdiff
|
tree
2017-08-31
Simon Peyton Jones
Really fix Trac #14158
Author:
Simon Peyton Jones
<simonpj@microsoft.com>
commit
|
commitdiff
|
tree
2017-08-31
Simon Peyton Jones
Small changes to ddump-tc tracing
commit
|
commitdiff
|
tree
2017-08-31
Simon Peyton Jones
Add debugPprType
commit
|
commitdiff
|
tree
2017-08-30
Simon Peyton Jones
Define and use HsArg
commit
|
commitdiff
|
tree
2017-08-30
Simon Peyton Jones
Add comments to RnTypes
Author:
Simon Peyton Jones
<simonpj@microsoft.com>
commit
|
commitdiff
|
tree
2017-08-30
Simon Peyton Jones
Add some traceRn and (Outputable StmtTree)
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Add HasDebugStack for typeKind
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Small refactor of getRuntimeRep
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Improve kind-application-error message
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Use a well-kinded substitution to instantiate
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Small refactoring of meta-tyvar cloning
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Refactor bindHsQTyVars and friends
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Add TcRnMonad.unlessXOptM
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
A bit more -ddump-tc tracing
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Better debug-printing for Outputable TyConBinder
commit
|
commitdiff
|
tree
2017-08-29
Simon Peyton Jones
Comments only
commit
|
commitdiff
|
tree
2017-08-25
Simon Peyton Jones
Comments, plus adjust debug print of TcTyThing(ATyVar)
commit
|
commitdiff
|
tree
2017-08-25
Simon Peyton Jones
Don't do the RhsCtxt thing for join points
commit
|
commitdiff
|
tree
2017-08-25
Simon Peyton Jones
Refactor the Mighty Simplifier
commit
|
commitdiff
|
tree
2017-08-25
Simon Peyton Jones
Bottoming expressions should not be expandable
commit
|
commitdiff
|
tree
2017-08-25
Simon Peyton Jones
Restrict exprOkForSpeculation/case to unlifted types
commit
|
commitdiff
|
tree
2017-08-24
Simon Peyton Jones
Remove typeKind from Type.hs-boot
commit
|
commitdiff
|
tree
2017-08-24
Simon Peyton Jones
Fix defer-out-of-scope-variables
commit
|
commitdiff
|
tree
2017-08-24
Simon Peyton Jones
Better pretty-printing for CHoleCan
commit
|
commitdiff
|
tree
2017-08-18
Simon Peyton Jones
Test Trac #14110
commit
|
commitdiff
|
tree
2017-08-18
Simon Peyton Jones
Comments only
commit
|
commitdiff
|
tree
2017-08-18
Simon Peyton Jones
Tracing in OccAnal (commented out)
commit
|
commitdiff
|
tree
2017-08-18
Simon Peyton Jones
Restrict Lint's complaints about recursive INLINEs...
commit
|
commitdiff
|
tree
2017-08-18
Simon Peyton Jones
Comments about GlobalRdrEnv shadowing
commit
|
commitdiff
|
tree
2017-08-02
Simon Peyton Jones
Get the roles right for newtype instances
commit
|
commitdiff
|
tree
2017-07-31
Simon Peyton Jones
Use field names for all uses of datacon Match
commit
|
commitdiff
|
tree
2017-07-31
Simon Peyton Jones
Remove redundant goop
commit
|
commitdiff
|
tree
2017-07-31
Simon Peyton Jones
Reject top-level banged bindings
commit
|
commitdiff
|
tree
2017-07-31
Simon Peyton Jones
Do a bit more CSE
commit
|
commitdiff
|
tree
2017-07-31
Simon Peyton Jones
Improve the desugaring of -XStrict
commit
|
commitdiff
|
tree
2017-07-31
Simon Peyton Jones
Refactoring around FunRhs
commit
|
commitdiff
|
tree
2017-07-28
Simon Peyton Jones
Add DebugCallStack to piResultTy
commit
|
commitdiff
|
tree
2017-07-28
Simon Peyton Jones
Do not discard insolubles in implications
commit
|
commitdiff
|
tree
2017-07-28
Simon Peyton Jones
Fix ASSERT failure in tc269
commit
|
commitdiff
|
tree
2017-07-28
Simon Peyton Jones
Remove redundant constraint in context
commit
|
commitdiff
|
tree
2017-07-28
Simon Peyton Jones
Fix instantiation of pattern synonyms
commit
|
commitdiff
|
tree
2017-07-26
Simon Peyton Jones
Test Trac #14033
commit
|
commitdiff
|
tree
2017-07-26
Simon Peyton Jones
Comments only
commit
|
commitdiff
|
tree
2017-07-26
Simon Peyton Jones
Comments and tc-tracing only
commit
|
commitdiff
|
tree
2017-07-26
Simon Peyton Jones
Fix binder visiblity for default methods
commit
|
commitdiff
|
tree
2017-07-26
Simon Peyton Jones
Add an Outputable instance for ListMap
commit
|
commitdiff
|
tree
2017-06-29
Simon Peyton Jones
Revert "Remove the Windows GCC driver."
commit
|
commitdiff
|
tree
2017-06-29
Simon Peyton Jones
Fix lexically-scoped type variables
commit
|
commitdiff
|
tree
2017-06-28
Simon Peyton Jones
Zap stable unfoldings in worker/wrapper
commit
|
commitdiff
|
tree
2017-06-28
Simon Peyton Jones
Fix constraint solving for forall-types
commit
|
commitdiff
|
tree
2017-06-28
Simon Peyton Jones
Do zonking in tcLHsKindSig
commit
|
commitdiff
|
tree
2017-06-28
Simon Peyton Jones
Fix the in-scope set in TcHsType.instantiateTyN
commit
|
commitdiff
|
tree
2017-06-19
Simon Peyton Jones
Improve comments on AbsBinds
commit
|
commitdiff
|
tree
2017-06-16
Simon Peyton Jones
Fix the treatment of 'closed' definitions
commit
|
commitdiff
|
tree
2017-06-07
Simon Peyton Jones
Test Trac #13750
commit
|
commitdiff
|
tree
2017-06-07
Simon Peyton Jones
Stop the specialiser generating loopy code
commit
|
commitdiff
|
tree
2017-06-07
Simon Peyton Jones
Spelling typos
commit
|
commitdiff
|
tree
2017-06-05
Simon Peyton Jones
Make the MR warning more accurage
commit
|
commitdiff
|
tree
2017-06-05
Simon Peyton Jones
Test Trac #13784
commit
|
commitdiff
|
tree
2017-05-26
Simon Peyton Jones
Some tidying up of type pretty-printing
commit
|
commitdiff
|
tree
2017-05-26
Simon Peyton Jones
Shrink a couple of hs-boot files
commit
|
commitdiff
|
tree
2017-05-26
Simon Peyton Jones
Re-engineer Given flatten-skolems
commit
|
commitdiff
|
tree
2017-05-26
Simon Peyton Jones
Make isInsolubleOccursCheck more aggressive
commit
|
commitdiff
|
tree
2017-05-26
Simon Peyton Jones
A bit more tc-tracing
commit
|
commitdiff
|
tree
2017-05-25
Simon Peyton Jones
Pattern synonyms and higher rank types
commit
|
commitdiff
|
tree
2017-05-25
Simon Peyton Jones
Comments only
commit
|
commitdiff
|
tree
2017-05-19
Simon Peyton Jones
Fix scoping of data cons during kind checking
commit
|
commitdiff
|
tree
2017-05-19
Simon Peyton Jones
Account for IfUnpackCo in freeNamesIfDecl
commit
|
commitdiff
|
tree
2017-05-19
Simon Peyton Jones
Refactor freeNamesIfDecl
commit
|
commitdiff
|
tree
2017-05-19
Simon Peyton Jones
Comments and white space only
commit
|
commitdiff
|
tree
2017-05-19
Simon Peyton Jones
Ensure that insolubles are fully rewritten
commit
|
commitdiff
|
tree
2017-05-17
Simon Peyton Jones
Handle type-lets better
commit
|
commitdiff
|
tree
2017-05-16
Simon Peyton Jones
Fix the pure unifier
commit
|
commitdiff
|
tree
2017-05-16
Simon Peyton Jones
Tiny refactor
commit
|
commitdiff
|
tree
2017-05-16
Simon Peyton Jones
Kill off unused IfaceType.eqIfaceType
commit
|
commitdiff
|
tree
2017-05-09
Simon Peyton Jones
Reset cc_pend_sc flag in dropDerivedCt
commit
|
commitdiff
|
tree
2017-05-09
Simon Peyton Jones
Make CallInfo into a data type with fields
commit
|
commitdiff
|
tree
2017-05-09
Simon Peyton Jones
Add regression test for Trac #13659
commit
|
commitdiff
|
tree
2017-05-09
Simon Peyton Jones
Don't warn about variable-free strict pattern bindings
commit
|
commitdiff
|
tree
next