Sockeye: Start implementing port checks
authorDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 27 Jul 2017 16:05:14 +0000 (18:05 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 27 Jul 2017 16:05:14 +0000 (18:05 +0200)
commit8b3954e0d659f38a65b24317e3eb21d1b2945b2a
treef6f9b7508c2beebecdb5d112cc870c8141986c27
parent4564ef41195757492376b7d8b10dbff182162cfd
Sockeye: Start implementing port checks

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/Main.hs
tools/sockeye/SockeyeAST.hs
tools/sockeye/SockeyeChecks.hs [new file with mode: 0644]
tools/sockeye/SockeyeSimplifier.hs [new file with mode: 0644]