Sockeye: Collect errors in type checker instead of failing at first one
authorDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 31 Jul 2017 16:26:35 +0000 (18:26 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 31 Jul 2017 16:26:35 +0000 (18:26 +0200)
commitd09e69c3832f78a288cd92db377f3be04a13151a
tree7477dd5dbe60c8726746abefa7f630f7e1239736
parenta2de75446c10166923c6b2f9c65271a11fda7aae
Sockeye: Collect errors in type checker instead of failing at first one

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeASTTypeChecker.hs [new file with mode: 0644]
tools/sockeye/SockeyeInstantiator.hs
tools/sockeye/SockeyeNetBuilder.hs
tools/sockeye/SockeyeTypeChecker.hs [new file with mode: 0644]