Re: [Ur] about the UrFlow Demos

2018-09-10 Thread 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.


___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


[Ur] about the UrFlow Demos

2018-09-10 Thread Fabrice Leal
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.

Thanks in advance :)

-- 
---
Fabrice Leal
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur