Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcSimplify.hs-boot
2018-01-26  Matthías Páll Giss... Sort valid substitutions for typed holes by "relevance"
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...