Sockeye: Checker almost finished
authorDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 6 Jul 2017 16:19:22 +0000 (18:19 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 6 Jul 2017 16:19:22 +0000 (18:19 +0200)
commit6a5ece1ddf1841a3b4ff7f1aa169f518e3e5f532
treeee7c42eec729713b0959f0e7296ade3b77718ab0
parent5d8228370d610d57b7384638f4161cbc80ec7785
Sockeye: Checker almost finished

TODO: check module instantiations

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