Sockeye: Implement proper module instantiation check
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 14 Jul 2017 09:05:42 +0000 (11:05 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 14 Jul 2017 09:05:42 +0000 (11:05 +0200)
commit3063abb954e15b6add2b6937baf42eca2a02284e
tree277b92ae72c696043bb17a15b83f15322153d460
parentc2a74779f2162a17e95fa4a8ab7a22b75c3ff9d1
Sockeye: Implement proper module instantiation check

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/Main.hs
tools/sockeye/SockeyeChecker.hs
tools/sockeye/SockeyeNetBuilder.hs