Sockeye: Collect errors in type checker instead of failing at first one
[barrelfish] / tools / sockeye /
drwxr-xr-x   ..
-rw-r--r-- 539 Hakefile
-rw-r--r-- 8448 Main.hs
-rw-r--r-- 1229 SockeyeASTDecodingNet.hs
-rw-r--r-- 1991 SockeyeASTInstantiator.hs
-rw-r--r-- 2884 SockeyeASTParser.hs
-rw-r--r-- 3356 SockeyeASTTypeChecker.hs
-rw-r--r-- 3136 SockeyeBackendProlog.hs
-rw-r--r-- 2113 SockeyeChecks.hs
-rw-r--r-- 16614 SockeyeInstantiator.hs
-rw-r--r-- 11802 SockeyeNetBuilder.hs
-rw-r--r-- 12583 SockeyeParser.hs
-rw-r--r-- 18085 SockeyeTypeChecker.hs