6debf9292f
This changes the Traversal API to the one that I've been working on in the Polyplate branch, but implemented in terms of Data. The performance isn't as good as the Polyplate version, but the code is a lot simpler because it doesn't need all the type constraints (and it doesn't make GHC struggle). This also reworks all the passes in Tock to use the new API, including those that previously used makeGeneric (which I've now removed) or everywhereM. Most of the passes are simpler because of this, and I suspect it's fixed a few subtle bugs resulting from missing recursion in makeGeneric code. I haven't yet profiled this, but subjectively it seems about the same as the old Traversal (and thus faster for all the passes that didn't yet use it). |
||
|---|---|---|
| .. | ||
| CommonTest.hs | ||
| Errors.hs | ||
| EvalConstants.hs | ||
| EvalLiterals.hs | ||
| GenericUtils.hs | ||
| Intrinsics.hs | ||
| Pattern.hs | ||
| PrettyShow.hs | ||
| ShowCode.hs | ||
| TestFramework.hs | ||
| TestHarness.hs | ||
| TestUtils.hs | ||
| TreeUtils.hs | ||
| Types.hs | ||
| Utils.hs | ||