Sockeye: implement reference check inside node declarations
[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-- 2020 SockeyeASTInstantiator.hs
-rw-r--r-- 2884 SockeyeASTParser.hs
-rw-r--r-- 3356 SockeyeASTTypeChecker.hs
-rw-r--r-- 3136 SockeyeBackendProlog.hs
-rw-r--r-- 2128 SockeyeChecks.hs
-rw-r--r-- 16566 SockeyeInstantiator.hs
-rw-r--r-- 11449 SockeyeNetBuilder.hs
-rw-r--r-- 12583 SockeyeParser.hs
-rw-r--r-- 18137 SockeyeTypeChecker.hs