Sockeye: Implement proper module instantiation check
[barrelfish] / tools / sockeye /
drwxr-xr-x   ..
-rw-r--r-- 539 Hakefile
-rw-r--r-- 5124 Main.hs
-rw-r--r-- 2944 SockeyeAST.hs
-rw-r--r-- 1577 SockeyeASTDecodingNet.hs
-rw-r--r-- 2628 SockeyeASTParser.hs
-rw-r--r-- 3342 SockeyeBackendProlog.hs
-rw-r--r-- 19889 SockeyeChecker.hs
-rw-r--r-- 15441 SockeyeNetBuilder.hs
-rw-r--r-- 12084 SockeyeParser.hs