Mercurial > urweb
changeset 1724:125f9b01fbf1
Another test for cancelation in error messages
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 22 Apr 2012 09:18:21 -0400 |
| parents | 5ecf67553da8 |
| children | 7b9775d4a8ce |
| files | tests/cancel2.ur |
| diffstat | 1 files changed, 5 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/cancel2.ur Sun Apr 22 09:18:21 2012 -0400 @@ -0,0 +1,5 @@ +fun f [r] [[Id, Foo] ~ r] (x : $(map (fn ts => $ts) r ++ [Id = int, Foo = string])) + : $(map (fn ts => $ts) r ++ [Foo = string]) = x + +val r = {} +val x : $(map (fn ts => $ts) _ ++ [Foo = string]) = f r