Use same format of spans as GHC