Incorporate changes from master
authorMatthías Páll Gissurarson <pallm@chalmers.se>
Fri, 31 May 2019 17:18:03 +0000 (19:18 +0200)
committerMatthías Páll Gissurarson <pallm@chalmers.se>
Fri, 31 May 2019 17:18:03 +0000 (19:18 +0200)
commit5833238951562f3b7478e2f2f96416cffea72e90
tree58d02999e30a3893f11d96e882e9d9b7c66e1e5b
parentad044888eea51f54f87aeeee7c4cd35192bd6ae6
Incorporate changes from master
compiler/typecheck/TcHoleErrors.hs