[Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless'

Adam Chlipala adamc at csail.mit.edu
Thu Jul 16 16:20:02 EDT 2015


On 07/16/2015 09:54 AM, Stefan Scott Alexander wrote:
> When initially trying to compile UPO, I am getting compile errors (the 
> following line, printed 3 times):
>
> /home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL 
> /style.css passed to 'bless'

One might make an argument that the following configuration should be 
moved into the UPO library itself, but:
Somewhere in a .urp file, you need to whitelist that URL 
("/style.css").  See the UPO example .urp files for code.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150716/25e97199/attachment.html>


More information about the Ur mailing list