summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-156-31/+53
* Show an error when we cannot default a concrete tyvarKrzysztof Gogolewski2023-04-154-4/+31
* Make approximateWC a bit clevererwip/T22194-flagsSimon Peyton Jones2023-04-141-61/+94
* Improve partial signaturesSimon Peyton Jones2023-04-144-104/+137
* Add some documentation about redundant constraintsSimon Peyton Jones2023-04-142-5/+28
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-1420-1165/+2061
* Stop if type constructors have kind errorsSimon Peyton Jones2023-04-141-1/+7
* Make WordQuotRem2Op ok-for-speculation tooSylvain Henry2023-04-132-3/+6
* Make Int64/Word64 division ok for speculation too.Sylvain Henry2023-04-131-1/+7
* Add quot folding rule (#22152)Sylvain Henry2023-04-132-16/+89
* Add quotRem rules (#22152)Sylvain Henry2023-04-132-0/+65
* Allow generation of TTH syntax with THOleg Grenrus2023-04-121-0/+4
* Clarify a couple of Notes about 'nospec'Simon Peyton Jones2023-04-112-5/+12
* compiler: apply cmm node-splitting for wasm backendCheng Shao2023-04-112-3/+10
* compiler: make WasmCodeGenM an instance of MonadUniqueCheng Shao2023-04-112-6/+14
* Renamer: don't call addUsedGRE on an exact Namesheaf2023-04-073-16/+16
* Add structured error messages for GHC.Tc.TyCl.UtilsTorsten Schmits2023-04-074-15/+39
* Fix unification with oversaturated type familiesKrzysztof Gogolewski2023-04-041-29/+115
* Make INLINE pragmas for pattern synonyms work with THRyan Scott2023-04-041-1/+4
* GHCi.RemoteTypes: fix doc and avoid unsafeCoerce (#23201)Sylvain Henry2023-04-041-4/+2
* Relax assertion in varToRecFieldOccsheaf2023-04-042-4/+7
* StgToCmm: Upgrade -fcheck-prim-bounds behaviorMatthew Craven2023-04-043-107/+177
* Add a few more memcpy-ish primopsMatthew Craven2023-04-043-15/+134
* Fixes around unsafeCoerce#Krzysztof Gogolewski2023-04-032-54/+16
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-035-79/+333
* cmm: implement parsing of MO_AtomicRMW from hand-written CMM filesBodigrim2023-04-021-0/+6
* TH: revert changes to GadtC & RecGadtCsheaf2023-04-016-29/+51
* JS: Linker: use saturated JExprdoyougnu2023-04-012-100/+5
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-0111-303/+792
* driver: Unit State Data.Map -> GHC.Unique.UniqMapdoyougnu2023-04-0112-159/+199
* Add LANGUAGE GADTs to GHC.Rename.Env sheaf2023-03-301-1/+1
* Proxies for head and tail: review suggestionssheaf2023-03-301-6/+5
* Fixes to accomodate Data.List.{head,tail} with {-# WARNING #-}Bodigrim2023-03-302-3/+27
* js: split JMacro into JS eDSL and JS syntaxdoyougnu2023-03-3031-455/+888
* igre_prompt_env: discard "only-qualified" namessheaf2023-03-294-10/+27
* Avoid repeatedly shadowing in shadowNamessheaf2023-03-292-40/+154
* Handle records in the renamersheaf2023-03-29104-3762/+5143
* Make exprIsConApp_maybe a bit clevererwip/T23159Simon Peyton Jones2023-03-271-8/+54
* Improve documentation for resizing of byte arraysBodigrim2023-03-251-11/+35
* Improve documentation of atomicModifyMutVar2#Bodigrim2023-03-251-5/+17
* codeGen/tsan: Disable instrumentation of unaligned storesBen Gamari2023-03-241-8/+7
* nativeGen/AArch64: Fix bitmask immediate predicateBen Gamari2023-03-241-15/+35
* Allow WARNING pragmas to be controlled with custom categoriesAdam Gundry2023-03-2416-60/+387
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-234-57/+139
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-227-60/+129
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-2213-4114/+4256
* Be more careful about quantificationSimon Peyton Jones2023-03-227-160/+215
* Compute LambdaFormInfo when using JavaScript backend.Luite Stegeman2023-03-211-3/+16
* Allow LLVM backend to use HDoc for faster file generation.Alex Mason2023-03-218-348/+524
* Document pdep / pext primopsBodigrim2023-03-211-10/+59
View Lorry Controller Status