oleks opened this issue 8 years ago · 1 comments
Currently it just prints a Haskell type.
This have now been improved
We would need a more detailed parsing to give more details
One points though, perhaps check should not report empty leaves as an invalid judgement. It is now just an indication of pending work.
check