Sockeye: Rename Checker to TypeChecker
authorDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 31 Jul 2017 12:14:03 +0000 (14:14 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 31 Jul 2017 12:14:03 +0000 (14:14 +0200)
commit422adfd5af961081c66c812dc4879a5b0bed8beb
treec17091d20c0c4d07dd165864e889640bd813327a
parent4e9c45b4669f62fb74eb32cdfb06ed40a899ead2
Sockeye: Rename Checker to TypeChecker

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/Main.hs
tools/sockeye/SockeyeAST.hs [deleted file]
tools/sockeye/SockeyeASTParser.hs
tools/sockeye/SockeyeChecker.hs [deleted file]
tools/sockeye/SockeyeInstantiator.hs
tools/sockeye/SockeyeNetBuilder.hs