Move HoleFitPlugin definitions and instances to TcRnTypes
authorMatthías Páll Gissurarson <pallm@chalmers.se>
Thu, 23 May 2019 10:46:32 +0000 (12:46 +0200)
committerMatthías Páll Gissurarson <pallm@chalmers.se>
Fri, 31 May 2019 17:15:26 +0000 (19:15 +0200)
commitec71e30ef2b4d2a40042faba92241ad8ff4e9f9a
tree1e9d40d8d3118cdfb92f416782805564742f84b1
parent7d27636ac9e7e7e83a49e0889b7a2a2e65323e2f
Move HoleFitPlugin definitions and instances to TcRnTypes
compiler/typecheck/TcHoleErrors.hs
compiler/typecheck/TcRnTypes.hs