Skip to content

Commit 903a0e1

Browse files
authored
Merge pull request mgajda#3 from mgajda/dataopt-patch-1
data P definition missing constructor
2 parents abfb824 + a954742 commit 903a0e1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

plan.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ With example document like:
8888

8989
Should be translated into:
9090
```haskell
91-
data P = [PElt]
91+
data P = P [PElt]
9292

9393
data PElt = Em EmT
9494
| Strong StrongT

0 commit comments

Comments
 (0)