Sockeye: Add node type for cores
authorDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 11 Sep 2017 12:08:35 +0000 (14:08 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 11 Sep 2017 12:08:35 +0000 (14:08 +0200)
commit5812ba78c757ffb42630fe84f6b635885b70e953
tree0f3f5c20d7c7c139fde61e362d5b22cb83febca4
parentaf87fa9bc3c10add3a389db871b4f03d2ac62e1a
Sockeye: Add node type for cores

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeASTDecodingNet.hs
tools/sockeye/SockeyeASTInstantiator.hs
tools/sockeye/SockeyeASTParser.hs
tools/sockeye/SockeyeASTTypeChecker.hs
tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeInstantiator.hs
tools/sockeye/SockeyeParser.hs