Kill Type pretty-printer
[ghc.git] / compiler /
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-12  Ben Gamarighc: Fix ghc's template-haskell bound
2016-11-12  Sylvain HENRYMake default output less verbose (source/object paths)
2016-11-11  Ben GamariPass -no-pie to GCC
2016-11-11  Simon Peyton JonesRevert "Refactor CallStack defaulting slightly"
2016-11-11  Ben GamariRevert "Pass -no-pie to GCC"
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-11-10  Ben GamariPass -no-pie to GCC
2016-11-10  Simon Peyton JonesRefactor CallStack defaulting slightly
2016-11-10  Simon Peyton JonesRefactoring of mkNewTypeEqn
2016-11-10  Simon Peyton JonesAdapt the (commented out) pprTrace in OccurAnal
2016-11-10  Alex BiehlFix comment about pointer tagging
2016-11-06  Tamar ChristinaFix broken validate build.
2016-11-06  Tamar ChristinaSome minor linker cleanups.
2016-11-06  Ryan ScottAllow GeneralizedNewtypeDeriving for classes with assoc...
2016-11-06  Matthew PickeringAdd tracing infrastructure to pattern match checker
2016-11-06  Matthew PickeringStop -dno-debug-output suppressing -ddump-tc-trace
2016-11-05  Mikhail VorozhtsovHandle types w/ type variables in signatures inside...
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-11-04  Simon Peyton JonesRemove a debug trace
2016-11-04  Simon Peyton JonesAdd comments from Trac #12768
2016-11-03  Simon MarlowOmit unnecessary linker flags
2016-11-03  Alan ZimmermanAPI Annotations: make all ModuleName Located
2016-11-03  Ben GamariMerge cpe_ExprIsTrivial and exprIsTrivial
2016-11-02  Ben GamariAdd notes describing SRT concepts
2016-11-02  Michal TerepetaHoopl/Dataflow: make the module more self-contained
2016-11-02  Sylvain HENRYUninstall signal handlers
2016-11-02  Simon Peyton JonesRenaming and comments in CorePrep
2016-11-02  Simon Peyton JonesFix Trac #12797: approximateWC
2016-11-02  Simon Peyton JonesUse substTyUnchecked in TcMType.new_meta_tv_x
2016-11-02  Simon Peyton JonesSimplify the API for TcHsType.kcHsTyVarBndrs
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-11-02  Simon Peyton JonesTiny refactor
2016-11-01  Erik de Castro LopoSparc*: Prevent GHC from doing unaligned accesses
2016-11-01  Facundo DomínguezHave static pointers work with -fno-full-laziness.
2016-10-31  Tamar ChristinaAlign GHCi's library search order more closely with LDs
2016-10-31  Gabor GreifTypos in comments
2016-10-30  Gabor GreifZap redundant imports
2016-10-28  Ömer Sinan AğacanDocument unpackClosure# primop
2016-10-28  Simon Peyton JonesClarify comments on kinds (Trac #12536)
2016-10-27  Simon Peyton JonesFix typo in comment
2016-10-27  Simon Peyton JonesAllow levity-polymorpic arrows
2016-10-27  Simon Peyton JonesCollect coercion variables, not type variables
2016-10-27  Simon Peyton JonesSimple refactor to remove misleading comment
2016-10-26  Michal TerepetaCmmUtils: remove the last dataflow functions
2016-10-26  Matthew PickeringRemove -dtrace-level
2016-10-26  Matthew PickeringRefine ASSERT in buildPatSyn for the nullary case.
2016-10-26  Matthew PickeringMake traceRn behave more like traceTc
2016-10-26  Simon Peyton JonesFundeps work even for unary type classes
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-24  Simon Peyton JonesDon't instantaite when typechecking a pattern synonym
2016-10-24  Simon Peyton JonesPrioritise class-level equality costraints
2016-10-22  Matthew PickeringRefactoring: Replace when (not ...) with unless in...
2016-10-22  Michal Terepetacmm/Hoopl/Dataflow: minor cleanup
2016-10-22  Matthew PickeringRefactoring: Delete copied function in backpack/NameShape
2016-10-22  Erik de Castro LopoAdd -Wcpp-undef warning flag
2016-10-22  Duncan CouttsAdd and use a new dynamic-library-dirs field in the...
2016-10-21  Simon Peyton JonesImprove TcCanonical.unifyWanted and unifyDerived
2016-10-21  Simon Peyton JonesDefine emitNewWantedEq, and use it
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesMake TcLevel increase by 1 not 2
2016-10-21  Simon Peyton JonesComments and trivial refactoring
2016-10-21  Simon Peyton JonesRefactor typechecking of pattern bindings
2016-10-21  Gabor GreifTypos in comments
2016-10-20  Edward Z. YangFix Mac OS X build by removing space after ASSERT.
2016-10-20  Edward Z. YangOnly delete instances when merging when there is an...
2016-10-20  Edward Z. YangSupport constraint synonym implementations of abstract...
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-19  Peter TrommlerStgCmmPrim: Add missing write barrier.
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-19  Michal Terepetacmm/Hoopl/Dataflow: remove unused code
2016-10-19  Edward Z. YangCompute export hash based on ALL transitive orphan...
2016-10-18  Ömer Sinan AğacanDynamicLoading: Replace map + zip with zipWith
2016-10-18  Edward Z. YangTrack dep_finsts in exports hash, as it affects downstr...
2016-10-17  Simon Peyton JonesRe-add accidentally-deleted line
2016-10-17  Gabor GreifTypos in comments
2016-10-17  Simon Peyton JonesReduce trace output slightly
2016-10-17  Simon Peyton JonesFix wrapping order in matchExpectedConTy
2016-10-17  Simon Peyton JonesCorrect order of existentials in pattern synonyms
2016-10-17  Simon Peyton JonesTypo in comment
2016-10-17  Simon Peyton JonesFix shadowing in mkWwBodies
2016-10-17  Simon Peyton JonesFix comment typo
2016-10-17  Simon Peyton JonesComments about -Wredundant-constraints
2016-10-15  Ryan ScottAdd a forward reference for a Note
2016-10-15  Ryan ScottFix Show derivation in the presence of RebindableSyntax...
2016-10-14  Sylvain HENRYCheck for empty entity string in "prim" foreign imports
2016-10-14  Ryan ScottMake error when deriving an instance for a typeclass...
2016-10-14  Ben GamariPrelInfo: Fix style
2016-10-14  Ben GamariImprove find_lbl panic message
2016-10-14  Ben GamariMkIface: Turn a foldr into a foldl'
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-14  Ben GamariUnique: Simplify encoding of sum uniques
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-12  Ben GamariRnExpr: Actually fail if patterns found in expression
2016-10-12  Simon Peyton JonesComments and equation ordering only
2016-10-12  Simon Peyton JonesAdd derived shadows only for Wanted constraints
2016-10-10  Simon Peyton JonesMove zonking out of tcFamTyPats
2016-10-10  Simon Peyton JonesDelete orphan where clause
2016-10-10  Simon Peyton JonesRename a parameter; trivial refactor
next