Merge branch 'develop' into patch-map-inner-patch-desugar
commit970522464f88c97e935513c7be8de81a9fb95154
authorJohn Ericson <John.Ericson@Obsidian.Systems>
dateWed 5 Feb 2020, 22:24 (7 years ago)
parent444969d25f202b
ChangeLog.md+5−1
@@ -1,11 +1,15 @@
11# Revision history for patch
22
3−## 0.1.0.0
3+## Unreleased
44
55* Rewrite `PatchMapWithMove` in terms of `PatchMapWithPatchingMove`.
66 Care is taken to make this as little of a breaking change as possible.
77 In particular, `PatchMapWithMove` is a newtype of `PatchMapWithPatchingMove` as is the `NodeInfo` of `PatchMapWithPatchingMove`'s `NodeInfo`.
88
9+## 0.0.3.1
10+
11+* Replace `fromJust` with something easier to debug.
12+
913## 0.0.3.0
1014
1115* Create `PatchMapWithPatchingMove` variant which supports moves with a patch.
patch.cabal+1−1
@@ -1,5 +1,5 @@
11Name: patch
2−Version: 0.0.3.0
2+Version: 0.0.3.1
33Synopsis: Infrastructure for writing patches which act on other types.
44Description:
55 In this library, a patch is something which can be applied, analogous to a