ghc - Glasgow Haskell Compiler

Age	Commit message (Expand)	Author
2020-01-03	nuclear debuggingwip/carter/eraseCastProofs	Carter Tazio Schonwald
2020-01-03	drop unused import	Carter Tazio Schonwald
2020-01-03	current state of play	Carter Tazio Schonwald
2020-01-03	push the code into the UnivCo axiom framework and drop all the "smart compres...	Carter Tazio Schonwald
2020-01-03	more stuff with the things	Carter Tazio Schonwald
2020-01-02	things seem to now all fit! (may need to add some extra wiring)	Carter Tazio Schonwald
2020-01-01	fix typo in smarter coercion erasure	Carter Tazio Schonwald
2020-01-01	if the coercion is a Refl or MRefl, lets just keep it.	Carter Tazio Schonwald
2020-01-01	halfway kicked along the coercion proofs, still probably need to handle the o...	Carter Tazio Schonwald
2020-01-01	step one of many for threading this stuff through the coercions, not finished...	Carter Tazio Schonwald
2020-01-01	i should have seen a coverage warning about this one, how'd i miss it? :)	Carter Tazio Schonwald
2020-01-01	more dumb typos, i really need to learn the ghci fast type checking dev work ...	Carter Tazio Schonwald
2020-01-01	more late to catching type errors and typos	Carter Tazio Schonwald
2019-12-31	fixing typo	Carter Tazio Schonwald
2019-12-31	setup the correct coercion erasure spot	Carter Tazio Schonwald
2019-12-31	fixed the approach to erasure proof to have the from / to targets, still need...	Carter Tazio Schonwald
2019-12-31	fixed some typoes and missing cases in backpack/interface file conections	Carter Tazio Schonwald
2019-12-31	fixed more type errors that were boring	Carter Tazio Schonwald
2019-12-31	massaging ErasedCoercion info through the compiler,	Carter Tazio Schonwald
2019-12-31	fixing gaps in supporting coercion erasure	Carter Tazio Schonwald
2019-12-31	experiment towards reducing normal simplifier blowups	Carter Tazio Schonwald
2019-12-30	testsuite: Enlarge acceptance window for T1969	Ben Gamari
2019-12-30	perf_notes: Add --zero-y argument	Ben Gamari
2019-12-30	TcIface: Fix inverted logic in typechecking of source ticks	Ben Gamari
2019-12-30	hadrian: Track hash of Cabal Setup builder arguments	Ben Gamari
2019-12-30	testsuite: Disable derefnull when built with LLVM	Ben Gamari
2019-12-30	rts: Fix --debug-numa mode under Docker	Ben Gamari
2019-12-30	rts: Error on invalid --numa flags	Ben Gamari
2019-12-30	llvmGen: Drop old fix for #11649	Ben Gamari
2019-12-30	llvmGen: Ensure that entry labels don't have predecessors	Ben Gamari
2019-12-30	rts: Ensure that nonmoving gc isn't used with profiling	Ben Gamari
2019-12-30	driver: Include debug level in the recompilation check hash	Ben Gamari
2019-12-27	use shell variable CcLlvmBackend for test	Gabor Greif
2019-12-27	testsuite: Mark cgrun057 as fragile on ARM	Ben Gamari
2019-12-27	while at it rename XCode to the official Xcode	Gabor Greif
2019-12-27	suppress popup dialog about missing Xcode at configure	Gabor Greif
2019-12-27	testsuite: Skip T17499 when built against integer-simple	Ben Gamari
2019-12-26	Replace panic/notHandled with noExtCon in DsMeta	Ryan Scott
2019-12-26	Minor refactor in ghc.cabal.in:	Ömer Sinan Ağacan
2019-12-26	Fix comment about minimal gcc version	Gabor Greif
2019-12-26	Fix copy-paste error in comment	Gabor Greif
2019-12-26	Switch to ReadTheDocs theme for the user-guide	Sylvain Henry
2019-12-24	Remove outdated comment	Sylvain Henry
2019-12-24	fixup! Fix endian handling w.r.t. CPP macro WORDS_BIGENDIAN	Stefan Schulze Frielinghaus
2019-12-24	Fix endian handling w.r.t. CPP macro WORDS_BIGENDIAN	Stefan Schulze Frielinghaus
2019-12-20	lookupBindGroupOcc: recommend names in the same namespace (#17593)	Ryan Scott
2019-12-20	Deduplicate copied monad failure handler code	John Ericson
2019-12-19	Handle large ARR_WORDS in heap census (fix #17572)	Sylvain Henry
2019-12-19	Avoid race condition in hDuplicateTo	Moritz Kiefer
2019-12-18	Add GHC-API logging hooks	Sylvain Henry