annotate tests/cancel2.ur @ 2024:6372a742ab04

Allow '+' char in blessMime See this one [1] for an example [1] - http://www.w3.org/TR/SVGTiny12/mimereg.html
author Sergey Mironov <grrwlf@gmail.com>
date Thu, 05 Jun 2014 20:36:12 +0000
parents 125f9b01fbf1
children
rev   line source
adam@1724 1 fun f [r] [[Id, Foo] ~ r] (x : $(map (fn ts => $ts) r ++ [Id = int, Foo = string]))
adam@1724 2 : $(map (fn ts => $ts) r ++ [Foo = string]) = x
adam@1724 3
adam@1724 4 val r = {}
adam@1724 5 val x : $(map (fn ts => $ts) _ ++ [Foo = string]) = f r