Fix constraint simplification in rules
[ghc.git] / compiler /
2017-03-10  Simon Peyton JonesFix constraint simplification in rules
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-10  Simon Peyton JonesDeal with JoinIds before void types
2017-03-10  Simon Peyton JonesDo not generate a data-con wrapper for !Int#
2017-03-10  Sergei Trofimovichimplement missing Fabs{32,64} on i386 NCG and UNREG
2017-03-09  Reid Bartonllvm backend: Put string constants in .rodata.str....
2017-03-09  David FeuerMake raiseIO# produce topRes
2017-03-09  Gabor GreifComments only [ci skip]
2017-03-09  Francesco MazzoliAllow compilation of C/C++/ObjC/ObjC++ files with modul...
2017-03-08  David FeuerFix strictness for catchSTM
2017-03-08  Reid BartonComments only [ci skip]
2017-03-08  Simon Peyton JonesJoin points can be levity-polymorphic
2017-03-07  Ben GamariDesugar: Refactor initDs
2017-03-07  Ben GamariDsMonad: Collect DPH things
2017-03-07  Dominic SteinitzGenerate better fp abs for X86 and llvm with default...
2017-03-07  Gabor GreifTypos in changelog and comments
2017-03-06  Ben Gamariprimops: Add comment describing type of atomicModifyMutVar#
2017-03-06  Moritz AngermannMangle .subsections_via_symbols away.
2017-03-06  Rupert HorlickDisallow unboxed string literals in patterns (#13260)
2017-03-06  Rupert HorlickChanged OverLit warnings to work with negative literals...
2017-03-06  Tamar ChristinaAdd GCC bin folder to search path.
2017-03-06  Ben GamariRead COMPLETE sets from external packages
2017-03-06  Gabor GreifTypos in comments and manual
2017-03-06  Simon Peyton JonesMake FloatOut/SetLevels idemoptent on bottoming functions
2017-03-06  Simon Peyton JonesComments only
2017-03-06  Simon Peyton JonesTiny refactor
2017-03-06  Simon Peyton JonesFix CSE (again) on literal strings
2017-03-04  Ryan ScottReexport CmpNat and friends (defined in GHC.TypeNats...
2017-03-04  Joachim BreitnerUpdate dangling Note reference
2017-03-03  Reid BartonComments only, in CSE (#13340)
2017-03-03  Reid BartonDeserialize IfaceId more lazily
2017-03-03  Ben GamariProduce KindReps for common kinds in GHC.Types
2017-03-03  Ben GamariTcTypeable: Try to reuse KindReps
2017-03-03  Ben GamariRevert "Read COMPLETE sets from external packages"
2017-03-03  Ryan ScottRead COMPLETE sets from external packages
2017-03-03  Ben GamariShow: Add ShowS for ", "
2017-03-03  Rupert HorlickChanged parser message for RankNTypes (#12811)
2017-03-03  Rupert HorlickAdd suggestion for PatternSynonyms parse error (fixes...
2017-03-03  Reid BartonDon't float out expressions that are okay for speculation
2017-03-03  Reid BartonDon't allow orphan COMPLETE pragmas (#13349)
2017-03-03  Edward Z. YangPrint out sub-libraries of packages more nicely.
2017-03-03  Simon MarlowAdd -fwhole-archive-hs-libs
2017-03-02  Edward Z. YangTypofix.
2017-03-02  Edward Z. YangPrevent users from defining instances for abstract...
2017-03-02  Edward Z. YangFix roles merging to apply only to non-rep-injective...
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-03-02  Edward Z. YangInjective type families imply nominal injectivity,...
2017-03-02  Edward Z. YangDisallow non-nullary constraint synonyms on class.
2017-03-02  Edward Z. YangMore comments on role subtyping, unsoundness fix.
2017-03-02  Tamar ChristinaExtend Windows runtime loader libsearch
2017-03-02  David FeuerProhibit RULES changing constructors
2017-03-02  David FeuerEliminate ListSetOps from imp_trust_pkgs
2017-03-02  Andrzej RybczakProperly acquire locks on not yet existing package...
2017-03-02  Ben GamariTypeable: Rename KindRep bindings to $krep...
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-03-01  David FeuerChange catch# demand signature
2017-03-01  Simon Peyton JonesMove isJoinId, isJoinId_maybe to Id
2017-03-01  Simon Peyton JonesMark non-recursive join lambdas as one-shot
2017-03-01  Simon Peyton JonesImprove SetLevels for join points
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-03-01  Simon Peyton JonesAdd VarSet.anyDVarSet, allDVarSet
2017-03-01  David FeuerFix redundant import in CSE
2017-02-28  Simon Peyton JonesThe Early Inline Patch
2017-02-28  Simon Peyton JonesCombine identical case alternatives in CSE
2017-02-28  Ben GamariTry submodule bumps again
2017-02-28  Moritz AngermanniOS: shared objects have .dylib extension.
2017-02-28  Simon Peyton JonesInline data constructor wrappers in phase 2 only
2017-02-28  Simon Peyton JonesMake Specialise work with casts
2017-02-28  Ben GamariAdd flag allowing convenient disabling of terminfo...
2017-02-28  Simon Peyton JonesSmall changes to expression sizing in CoreUnfold
2017-02-28  Reid BartonWhen floating, don't box an expression that's okay...
2017-02-28  Ben GamariDmdAnal: Clarify reference to Cardinality Analysis...
2017-02-28  Edward Z. YangClear import path in --backpack mode to not accidentall...
2017-02-27  Simon Peyton JonesStop uniques ending up in SPEC rule names
2017-02-27  Alan ZimmermanExplicitly capture whether a splice has a dollar prefix
2017-02-27  Simon Peyton JonesOccurrence-analyse the result of rule firings
2017-02-27  Simon Peyton JonesAdd -fspec-constr-keen
2017-02-27  Simon Peyton JonesRefactor floating of bindings (fiBind)
2017-02-27  Edward Z. YangSubtyping for roles in signatures.
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-26  Joachim BreitnerEnsure that Literals are in range
2017-02-26  Ben GamariCoercion: Try dropping constraintIsLifted axiom
2017-02-26  Simon Peyton JonesFix SetLevels for makeStaticPtr
2017-02-26  Simon Peyton JonesChange -ddump-tc-trace output in TcErrors, slightly
2017-02-26  Tamar ChristinaLoad `pthreads` by default on Windows
2017-02-26  Alan ZimmermanBring in unicode variants of API Annotations for HsBracket
2017-02-25  Alan ZimmermanCorrectly pretty print a wild card in infix position
2017-02-25  Edward Z. YangDelete redundant import.
2017-02-25  Edward Z. YangFix validate.
2017-02-24  Edward Z. YangRecord full FieldLabel in ifConFields.
2017-02-24  Matthew PickeringAdd a comment explaining CompleteMatchSig in HsBinds
2017-02-24  Alan ZimmermanMake SCCFunSig tag Located for ghc-exactprint
2017-02-24  Alan ZimmermanAdd API Annotation AnnSignature for backpack signature...
2017-02-24  Simon Peyton JonesMake exprIsConApp_maybe work better for literals strings
2017-02-23  Tamar ChristinaCorrect Windows libdir assumptions.
2017-02-23  Dmitry IvanovFix parsing of And chains in BoolFormula
2017-02-23  Edward Z. YangInclude OverloadedRecordFields selectors in NameShape.
2017-02-23  Simon Peyton JonesMore tracing in SpecConstr
2017-02-23  Reid BartonUse half as much memory when reading interfaces
next