Sockeye: Add check for self instantiation
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 7 Jul 2017 15:34:42 +0000 (17:34 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 7 Jul 2017 15:34:42 +0000 (17:34 +0200)
commitac9cf5631db5e2399a159b469f7474ec83b97ade
tree02e0c83628404f5264834b0bdfea980963094900
parent2c603a20823e68778f9c3a78a18e7cafd9738e3c
Sockeye: Add check for self instantiation

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