[Ur] Signature for a style declaration

[Sergey Mironov]

OK, probably that was because of late evening. Works fine, as expected.
Sorry for the noise

Sergey

2013/10/14 Adam Chlipala <adamc at csail.mit.edu>:
> 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.