Changes

Page history
Update handling source locations authored by Simon Peyton Jones's avatar Simon Peyton Jones
Show whitespace changes
Inline Side-by-side
implementing-trees-that-grow/handling-source-locations.md
View page @ 03e6f055
...@@ -48,7 +48,7 @@ Again, `XRec` is typically a type family. For some indices (say `Vanilla`) ...@@ -48,7 +48,7 @@ Again, `XRec` is typically a type family. For some indices (say `Vanilla`)
we can easily elide all these `XRec` wrappers: we can easily elide all these `XRec` wrappers:
``` ```
type instance XRec Vanilla a = a type instance XRec Vanilla a = a
```
But for GHC we can use it to add a source location for each `XRec`: But for GHC we can use it to add a source location for each `XRec`:
``` ```
type instance XRec (GhcPass p) a = Located a type instance XRec (GhcPass p) a = Located a
... ...
......