OK, probably that was because of late evening. Works fine, as expected. Sorry for the noise
Sergey 2013/10/14 Adam Chlipala <[email protected]>: > On 10/14/2013 01:26 PM, Sergey Mironov wrote: >> >> I want to export some styles from my module. What signatures should I >> write in the *urs file in order to do it? For example, bootstrap >> library exports styles but it doesn't contain urs file (Ur/Web >> generates it silently AFAIK). But in my case it is my responsibility >> so how should I handle it? >> >> Placing >> >> (* Module.urs *) >> val mystyle : css_class >> >> (* Module.ur *) >> style mystyle >> >> doesn't work :( >> > > > "Doesn't work" in what sense? My natural extension from your example works > fine. > > You can write > style mystyle > in a signature, as a shorthand for what you wrote above. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
