Giters

swarm-game / swarm

Resource gathering + programming game

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rewrite `addLocToTypeErr`

byorgey opened this issue · comments

commented

I actually want to completely rewrite addLocToTypeErr (it should actually have a type like SrcLoc -> TC a -> TC a, and maybe a different name to go with it; it should handle all the different kinds of type errors, to facilitate which we should factor the SrcLoc out so it's not duplicated in every constructor, etc.) so I'd prefer to just wait and do all the refactoring at once.

Originally posted by @byorgey in #1283 (comment)