Sockeye: Show global and root module fails first
authorDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 2 Aug 2017 11:09:58 +0000 (13:09 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 2 Aug 2017 11:09:58 +0000 (13:09 +0200)
commit8e42ba85dafe5f371afe65af7a44f759cdb21572
tree32f473bad5aa60e1d0f1c8c9c8f0c77a75cd956d
parent0770c7ef9fdba6d9d15928d6c2c1074ff5bea56a
Sockeye: Show global and root module fails first

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