[Ur] about the UrFlow Demos

[Adam Chlipala]

It seems I stopped bothering to update those demos over the last few 
years.  Sorry!  If it makes you feel any better, that feature was never 
really production-quality, so you'd might as well learn about it by 
reading a paper instead of running a real compiler. ;)

On 09/10/2018 04:44 PM, Fabrice Leal wrote:
> Hi, I downloaded the scdv.tgz and tried to compile the demos but had 
> to fix a "wrap" function used throughout the poll, calendar, gradebook 
> and forum demos:
> it seems that just replacing the arguments title and body with "titl" 
> and "bod" gets rid of the compilation errors, and then I seem to be 
> able to run the demos normally.
>
> However when i run urweb with the -iflow switch, I get a few 
> "Information flow checker can't parse SQL query" notices, so I'm not 
> sure if I'm missing something or if there's anything needing fixing.