Sockeye: Change default dest base for mapping to 0 (again...)
authorDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 2 Aug 2017 15:37:53 +0000 (17:37 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 2 Aug 2017 15:37:53 +0000 (17:37 +0200)
commit5fcaa436b2d58585b72b5628be9f293ae207b273
tree549839beeac676608ea78e0c3dc17eaa53f79f94
parentcd4682d9f637b5ca9750e14925c53ad35f61fcbf
Sockeye: Change default dest base for mapping to 0 (again...)

Also clean up imports

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