Checkpoint in bugfixing
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 1 Jul 2015 21:14:37 +0000 (17:14 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 1 Jul 2015 21:14:37 +0000 (17:14 -0400)
commit4a6ab143ecf44a32f9618ac7e7d3c80e011c118b
treedcc7e4efae5d3969b8f9ae22f54997ccab8c631c
parent2b6989ca014a5f0c4156c2e91893839c32bb2654
Checkpoint in bugfixing
12 files changed:
compiler/deSugar/DsExpr.hs
compiler/hsSyn/HsExpr.hs
compiler/hsSyn/HsUtils.hs
compiler/typecheck/Inst.hs
compiler/typecheck/TcExpr.hs
compiler/typecheck/TcHsSyn.hs
compiler/typecheck/TcHsType.hs-boot [new file with mode: 0644]
compiler/typecheck/TcMatches.hs
compiler/typecheck/TcTyClsDecls.hs
compiler/typecheck/TcType.hs
compiler/typecheck/TcUnify.hs
testsuite/tests/typecheck/should_compile/Vta1.hs