summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* suppress some asserts regarding types and coercions for now,wip/carter/new-erase-castproofsCarter Tazio Schonwald2020-01-078-17/+20
* covering the obvious stuff in mkNthCo smart constructor forCarter Tazio Schonwald2020-01-071-0/+25
* fix typoCarter Tazio Schonwald2020-01-051-1/+1
* adding some flags and debug info, plus smarter mktrans/sym attemptCarter Tazio Schonwald2020-01-055-16/+26
* improving debugging for now :)Carter Tazio Schonwald2020-01-056-22/+21
* easier to debug with stack traces not requires a 3 layer boot strap :)Carter Tazio Schonwald2020-01-052-3/+19
* fix importsCarter Tazio Schonwald2020-01-042-0/+2
* nuclear debuggingCarter Tazio Schonwald2020-01-0412-34/+37
* drop unused importCarter Tazio Schonwald2020-01-041-1/+0
* current state of playCarter Tazio Schonwald2020-01-044-5/+10
* push the code into the UnivCo axiom framework and drop all the "smart compres...Carter Tazio Schonwald2020-01-0416-160/+57
* more stuff with the thingsCarter Tazio Schonwald2020-01-047-11/+32
* things seem to now all fit! (may need to add some extra wiring)Carter Tazio Schonwald2020-01-0421-85/+275
* fix typo in smarter coercion erasureCarter Tazio Schonwald2020-01-041-2/+2
* if the coercion is a Refl or MRefl, lets just keep it.Carter Tazio Schonwald2020-01-041-3/+9
* halfway kicked along the coercion proofs, still probably need to handle the o...Carter Tazio Schonwald2020-01-041-1/+30
* step one of many for threading this stuff through the coercions, not finished...Carter Tazio Schonwald2020-01-042-7/+30
* i should have seen a coverage warning about this one, how'd i miss it? :)Carter Tazio Schonwald2020-01-041-0/+1
* more dumb typos, i really need to learn the ghci fast type checking dev work ...Carter Tazio Schonwald2020-01-044-5/+12
* more late to catching type errors and typosCarter Tazio Schonwald2020-01-049-20/+26
* fixing typoCarter Tazio Schonwald2020-01-041-1/+1
* setup the correct coercion erasure spotCarter Tazio Schonwald2020-01-041-1/+2
* fixed the approach to erasure proof to have the from / to targets, still need...Carter Tazio Schonwald2020-01-0415-29/+54
* fixed some typoes and missing cases in backpack/interface file conectionsCarter Tazio Schonwald2020-01-045-1/+5
* fixed more type errors that were boringCarter Tazio Schonwald2020-01-041-6/+6
* massaging ErasedCoercion info through the compiler,Carter Tazio Schonwald2020-01-048-8/+21
* fixing gaps in supporting coercion erasureCarter Tazio Schonwald2020-01-046-5/+16
* experiment towards reducing normal simplifier blowups Carter Tazio Schonwald2020-01-045-2/+63
* Simplify mrStrGabor Greif2020-01-033-10/+3
* Tweak Cmm dumps to avoid generating sections for empty groupsÖmer Sinan Ağacan2019-12-311-15/+20
* Fix some sloppy indentationKevin Buhr2019-12-311-3/+3
* Add additional Note explaining the -Iw flagKevin Buhr2019-12-311-2/+49
* Add "-Iw" RTS flag for minimum wait between idle GCs (#11134)Kevin Buhr2019-12-314-20/+63
* Testsuite: update some Haddock testsVladislav Zavialov2019-12-3112-8/+60
* Module hierarchy (#13009): StgSylvain Henry2019-12-3146-228/+226
* 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
View Lorry Controller Status