... | ... | @@ -232,7 +232,7 @@ x1 = Var NoExtField (RdrName "x") |
|
|
-- pattern matching:
|
|
|
process :: ExpPs -> ExpPs
|
|
|
process (Var _ x) = ...
|
|
|
process (Lam _ i e) = ... -- could use Var NoExtField v to create a new Var
|
|
|
process (Lam _ i e) = ...
|
|
|
process (App _ f a) = ...
|
|
|
process (New x) = noExtCon x -- this is possible, because type instance XNew Ps = NoExtCon
|
|
|
```
|
... | ... | |