summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* nuclear debuggingwip/carter/eraseCastProofsCarter Tazio Schonwald2020-01-0312-34/+37
* drop unused importCarter Tazio Schonwald2020-01-031-1/+0
* current state of playCarter Tazio Schonwald2020-01-034-5/+10
* push the code into the UnivCo axiom framework and drop all the "smart compres...Carter Tazio Schonwald2020-01-0316-160/+57
* more stuff with the thingsCarter Tazio Schonwald2020-01-037-11/+32
* things seem to now all fit! (may need to add some extra wiring)Carter Tazio Schonwald2020-01-0121-85/+275
* fix typo in smarter coercion erasureCarter Tazio Schonwald2020-01-011-2/+2
* if the coercion is a Refl or MRefl, lets just keep it.Carter Tazio Schonwald2020-01-011-3/+9
* halfway kicked along the coercion proofs, still probably need to handle the o...Carter Tazio Schonwald2020-01-011-1/+30
* step one of many for threading this stuff through the coercions, not finished...Carter Tazio Schonwald2020-01-012-7/+30
* i should have seen a coverage warning about this one, how'd i miss it? :)Carter Tazio Schonwald2019-12-311-0/+1
* more dumb typos, i really need to learn the ghci fast type checking dev work ...Carter Tazio Schonwald2019-12-314-5/+12
* more late to catching type errors and typosCarter Tazio Schonwald2019-12-319-20/+26
* fixing typoCarter Tazio Schonwald2019-12-311-1/+1
* setup the correct coercion erasure spotCarter Tazio Schonwald2019-12-311-1/+2
* fixed the approach to erasure proof to have the from / to targets, still need...Carter Tazio Schonwald2019-12-3115-29/+54
* fixed some typoes and missing cases in backpack/interface file conectionsCarter Tazio Schonwald2019-12-315-1/+5
* fixed more type errors that were boringCarter Tazio Schonwald2019-12-311-6/+6
* massaging ErasedCoercion info through the compiler,Carter Tazio Schonwald2019-12-318-8/+21
* fixing gaps in supporting coercion erasureCarter Tazio Schonwald2019-12-316-5/+16
* experiment towards reducing normal simplifier blowups Carter Tazio Schonwald2019-12-315-2/+63
* testsuite: Enlarge acceptance window for T1969Ben Gamari2019-12-301-1/+1
* perf_notes: Add --zero-y argumentBen Gamari2019-12-301-12/+25
* TcIface: Fix inverted logic in typechecking of source ticksBen Gamari2019-12-301-1/+1
* hadrian: Track hash of Cabal Setup builder argumentsBen Gamari2019-12-301-1/+6
* testsuite: Disable derefnull when built with LLVMBen Gamari2019-12-301-4/+4
* rts: Fix --debug-numa mode under DockerBen Gamari2019-12-302-0/+3
* rts: Error on invalid --numa flagsBen Gamari2019-12-301-1/+6
* llvmGen: Drop old fix for #11649Ben Gamari2019-12-301-36/+1
* llvmGen: Ensure that entry labels don't have predecessorsBen Gamari2019-12-301-7/+14
* rts: Ensure that nonmoving gc isn't used with profilingBen Gamari2019-12-302-2/+7
* driver: Include debug level in the recompilation check hashBen Gamari2019-12-305-1/+19
* use shell variable CcLlvmBackend for testGabor Greif2019-12-271-1/+1
* testsuite: Mark cgrun057 as fragile on ARMBen Gamari2019-12-271-0/+1
* while at it rename XCode to the official XcodeGabor Greif2019-12-274-17/+17
* suppress popup dialog about missing Xcode at configureGabor Greif2019-12-271-1/+1
* testsuite: Skip T17499 when built against integer-simpleBen Gamari2019-12-271-1/+3
* Replace panic/notHandled with noExtCon in DsMetaRyan Scott2019-12-261-35/+42
* Minor refactor in ghc.cabal.in:Ömer Sinan Ağacan2019-12-263-15/+3
* Fix comment about minimal gcc versionGabor Greif2019-12-251-1/+1
* Fix copy-paste error in commentGabor Greif2019-12-251-1/+1
* Switch to ReadTheDocs theme for the user-guideSylvain Henry2019-12-2528-53/+3294
* Remove outdated commentSylvain Henry2019-12-241-4/+2
* fixup! Fix endian handling w.r.t. CPP macro WORDS_BIGENDIANStefan Schulze Frielinghaus2019-12-243-3/+3
* Fix endian handling w.r.t. CPP macro WORDS_BIGENDIANStefan Schulze Frielinghaus2019-12-243-0/+10
* lookupBindGroupOcc: recommend names in the same namespace (#17593)Ryan Scott2019-12-206-9/+35
* Deduplicate copied monad failure handler codeJohn Ericson2019-12-203-26/+12
* Handle large ARR_WORDS in heap census (fix #17572)Sylvain Henry2019-12-194-0/+35
* Avoid race condition in hDuplicateToMoritz Kiefer2019-12-191-3/+5
* Add GHC-API logging hooksSylvain Henry2019-12-1837-193/+323
View Lorry Controller Status