diff options
Diffstat (limited to 'tests/tcsimp.ur')
| -rw-r--r-- | tests/tcsimp.ur | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/tcsimp.ur b/tests/tcsimp.ur new file mode 100644 index 00000000..5e471e6e --- /dev/null +++ b/tests/tcsimp.ur @@ -0,0 +1,3 @@ +val x : $(mapU string [A, B]) = {A = "hi", B = "bye"} + +val y = show x |