summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/App.hs
Commit message (Expand)AuthorAgeFilesLines
* 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