| #
1082e3d4 |
|
10-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Better overload-removal API in Parse
Previously, one could only remove mappings from strings to bare terms,
making it hard to remove overloadings to patterns. Now it is possible
to remove pattern overloadings too.
Illustrate new facility with example of fixing record field updates to
be less polymorphic.
|
| #
34e79290 |
|
10-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Better overload-removal API in Parse
Previously, one could only remove mappings from strings to bare terms,
making it hard to remove overloadings to patterns. Now it is possible
to remove pattern overloadings too.
Illustrate new facility with example of fixing record field updates to
be less polymorphic.
|