mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-19 06:17:33 +03:00
Add failing test
This commit is contained in:
parent
60dca9eb5b
commit
6db10fdf99
11
unison-src/tests/fix1640.u
Normal file
11
unison-src/tests/fix1640.u
Normal file
@ -0,0 +1,11 @@
|
||||
|
||||
unique type Color = Red | Black
|
||||
unique type RBTree a = Leaf | Tree Color (RBTree a) a (RBTree a)
|
||||
|
||||
isRed = cases
|
||||
Color.Red -> true
|
||||
Color.Black -> false
|
||||
|
||||
RBTree.isRed = cases
|
||||
RBTree.Tree Color.Red _ _ _ -> true
|
||||
_ -> false
|
Loading…
Reference in New Issue
Block a user