<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 6 Aug 2019 at 19:00, Adam Chlipala <<a href="mailto:adamc@csail.mit.edu">adamc@csail.mit.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 8/5/19 5:17 PM, Oisín Mac Fhearaí wrote:<br>> [...]<br>
> It would seem that Unicode characters are being stripped from the <br>
> output, causing the test to fail. I'm not familiar with exactly what <br>
> the test is trying to do, and I don't know much about how Ur handles <br>
> UTF-8.<br>
That's odd.  I see the Unicode characters when I run that benchmark <br>
locally with a recent Git checkout of Ur/Web.  Are you sure you ran the <br>
database-setup scripts properly?  What happens when you query the <br>
database manually?  Are the right characters there?<br></blockquote><div><br></div><div>I didn't run the database-setup scripts manually; the "tfb" script at the repo root does that. I also tested one of the Go frameworks the same way: "/tfb --mode benchmark --test fasthttp-postgresql --type fortune", which seems to pass the test. When I ran the benchmark with the Ubuntu package version of urweb, it also passed the test (albeit many, many times more slowly).</div><div><br></div><div>To double-check though, I built an image from toolset/databases/postgres/postgres.dockerfile and saw that there are actually two duplicate tables: "fortune" and "Fortune". That's curious, but they contain the same 12 rows (including UTF characters) anyway.</div><div><br></div><div>It is a bit puzzling, because my local Urweb version seems to have no problem showing UTF-8 text from a table.<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div></div>