Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / Flattening-notes
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...
2014-12-10  Simon Peyton JonesComments only: move flattening notes to TcFlatten
2014-12-08  Gabor Greifcatch some recent typos
2014-12-08  Richard EisenbergRAE's response to SPJ's question in flattening-notes
2014-12-08  Simon Peyton JonesRevise flattening-notes
2014-12-07  Richard EisenbergAdded comments to flattening-notes
2014-12-05  Simon Peyton JonesAdd notes about the inert CTyEqCans
2014-11-06  Simon Peyton JonesWibbles to notes
2014-11-04  Simon Peyton JonesSimon's major commit to re-engineer the constraint...
2014-11-04  Simon Peyton JonesAdd flattening-notes