Use noSrcSpan instead of a dummy SrcSpan.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 13:50:07 +0000 (15:50 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 13:50:07 +0000 (15:50 +0200)
commit4eb5c11261fbaab7dea9aee26a45989f9616366e
tree99e64c925517e5c6458b2a478d5c3b025a2b8d23
parent6f2707125f9f2c087952a6a52fd5ea6f49a99cef
Use noSrcSpan instead of a dummy SrcSpan.
HsTools.hs