skate: store source position when parsing a skatefile
authorReto Achermann <reto.achermann@inf.ethz.ch>
Sat, 6 May 2017 14:12:53 +0000 (16:12 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Sat, 6 May 2017 14:12:53 +0000 (16:12 +0200)
commitfb2856c03a1471b22ab46ee3f267fadda1d1cd46
treed8b3a352fbd3114467b05ed1b94a0bdd61fea0b4
parentbfa17c71c54cfbb376ca529b9a59bed35a3816d1
skate: store source position when parsing a skatefile

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
tools/skate/Main.hs
tools/skate/SkateBackendCode.hs
tools/skate/SkateBackendHeader.hs
tools/skate/SkateBackendWiki.hs
tools/skate/SkateChecker.hs
tools/skate/SkateDeclarationTable.hs
tools/skate/SkateParser.hs
tools/skate/SkateSchema.hs
tools/skate/SkateTypeTable.hs
tools/skate/foobar.sks [deleted file]