Sockeye: Checker now checks everything
authorDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 6 Jul 2017 22:03:48 +0000 (00:03 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 6 Jul 2017 22:03:48 +0000 (00:03 +0200)
commitce448f6639501e699f886a8fb4d6ef87182d2525
tree89361119e52119aa4c0b23c7d0fbffbff1370e71
parentd0ae8b2f300088de9c1e43e23d4e73902547e555
Sockeye: Checker now checks everything

TODO:
- Better error messages
- Clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeASTIntermediate.hs
tools/sockeye/SockeyeChecker.hs