better error message from checkPLam
authorArseniy Alekseyev <rotsor@gmail.com>
Sat, 22 Apr 2017 16:09:16 +0000 (17:09 +0100)
committerArseniy Alekseyev <rotsor@gmail.com>
Sat, 22 Apr 2017 16:09:16 +0000 (17:09 +0100)
commita4bdaaf29ba23e4bc9a24b0851ea2702cf8874ab
tree70d3f3956adf914fbea8f0839cb1206e3ffe7ca9
parent9ae218e0beefd3cc2c617cf6b66ac9faba1a8af7
better error message from checkPLam
TypeChecker.hs