Sockeye: Code cleanup
[barrelfish] / tools / sockeye /
drwxr-xr-x   ..
-rw-r--r-- 539 Hakefile
-rw-r--r-- 8340 Main.hs
-rw-r--r-- 1229 SockeyeASTDecodingNet.hs
-rw-r--r-- 2026 SockeyeASTInstantiator.hs
-rw-r--r-- 2884 SockeyeASTParser.hs
-rw-r--r-- 3386 SockeyeASTTypeChecker.hs
-rw-r--r-- 3144 SockeyeBackendProlog.hs
-rw-r--r-- 2128 SockeyeChecks.hs
-rw-r--r-- 16483 SockeyeInstantiator.hs
-rw-r--r-- 12250 SockeyeNetBuilder.hs
-rw-r--r-- 12583 SockeyeParser.hs
-rw-r--r-- 18083 SockeyeTypeChecker.hs