Sockeye: Checker now checks everything
[barrelfish] / tools / sockeye /
drwxr-xr-x   ..
-rw-r--r-- 539 Hakefile
-rw-r--r-- 5001 Main.hs
-rw-r--r-- 2973 SockeyeASTBackend.hs
-rw-r--r-- 3257 SockeyeASTFrontend.hs
-rw-r--r-- 2303 SockeyeASTIntermediate.hs
-rw-r--r-- 526 SockeyeBackendPrintAST.hs
-rw-r--r-- 2697 SockeyeBackendProlog.hs
-rw-r--r-- 17563 SockeyeChecker.hs
-rw-r--r-- 12146 SockeyeParser.hs