summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/App.hs
Commit message (Expand)AuthorAgeFilesLines
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-031-1/+2
* Disallow `tagToEnum#` on `type data` typeswip/T22948Ryan Scott2023-02-201-0/+2
* Improve GHC.Tc.Gen.App.tcInstFunwip/T22908Simon Peyton Jones2023-02-201-16/+12
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-24/+26
* Fix typosKrzysztof Gogolewski2022-09-141-3/+3
* Fix typosEric Lindblad2022-09-141-4/+4
* Fix the interaction of operator sections and deep subsumptionSimon Peyton Jones2022-07-251-6/+20
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-3/+7
* Remove many GHC dependencies from L.H.Sromes2022-07-061-1/+1
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-5/+5
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-091-253/+32
* Improve error reporting in generated codeSimon Peyton Jones2022-05-041-23/+21
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-4/+8
* Docs: datacon eta-expansion, rep-poly checkssheaf2022-04-081-4/+7
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-17/+14
* Improve out-of-order inferred type variablessheaf2022-03-021-3/+8
* Introduce ConcreteTv metavariablessheaf2022-03-021-8/+8
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-10/+7
* Look through untyped TH splices in tcInferAppHead_maybeRyan Scott2022-02-091-13/+24
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-2/+2
* Fix typosKrzysztof Gogolewski2021-12-251-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-6/+240
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-271-19/+4
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-4/+8
* Fix typo in Note [Quick Look for particular Ids]Viktor Dukhovni2021-06-231-1/+1
* Change representation of field selector occurencesShayne Fletcher2021-05-231-5/+4
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-3/+3
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-67/+97
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-98/+137
* Fix typosBrian Wignall2021-02-061-3/+3
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-1/+1
* Quick Look: zonk result typeSimon Peyton Jones2020-12-191-19/+67
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-4/+4
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-9/+12
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-2/+2
* Make 'undefined x' linear in 'x' (#18731)Krzysztof Gogolewski2020-09-261-2/+7
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-0/+1083