Created
July 16, 2020 08:58
-
-
Save phase/2529cb061f9e7904cd608d8c09880fbf to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| "A$1$a B$1$b", | |
| "\tb (LA$1;)V b1" | |
| "B$1$b B$2$c", | |
| "\tb1 (LA$1;)V b2" | |
| "A$1$a B$2$c", | |
| "\tb (LA$1;)V b1", // Strict merge strategy can't handle this case | |
| "\tb1 (LA$1;)V b2" | |
| // left | |
| M Money | |
| A BlockStone | |
| a (LM;)I buy | |
| // right | |
| A StoneBlock | |
| buy (LM;)I purchase | |
| // strict output | |
| M Money | |
| A StoneBlock | |
| a (LM;)I buy | |
| buy (LM;)I purchase | |
| // loose output | |
| M Money | |
| A StoneBlock | |
| a (LM;)I purchase |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment