Print type errors withing checkBidirectionalizability
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 16 Sep 2010 14:44:25 +0000 (14:44 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 16 Sep 2010 14:44:25 +0000 (14:44 +0000)
commit13025a8891e01c532ac1c4e910a2b50c138e86da
tree8f11955e60068ca33f4e74c0dcee21ecdb846a5f
parent889889d16a42874b038280c7a78c6b67b8007084
Print type errors withing checkBidirectionalizability
SemSyn.hs