From adamc at impredicative.com Sun Nov 8 12:42:48 2009
From: adamc at impredicative.com (Adam Chlipala)
Date: Sun, 08 Nov 2009 12:42:48 -0500
Subject: [Ur] New release
Message-ID: <4AF70318.9010106@impredicative.com>
Available as usual at: http://www.impredicative.com/ur/
CHANGELOG for this release:
- Bug fixes
- Optimization improvements
- Removed a restriction that prevented some RPCs and calls to sleep or recv
from compiling
From vshabanoff at gmail.com Sat Nov 21 17:29:00 2009
From: vshabanoff at gmail.com (Vladimir Shabanov)
Date: Sun, 22 Nov 2009 01:29:00 +0300
Subject: [Ur] UTF-8 in xml
Message-ID: <8ef825670911211429t42bf8466qc4f5de4eba82c8ef@mail.gmail.com>
Hello, ur.
When I'm writing some utf-8 text inside Ur generates escape
sequences, while it should just leave text as is since Ur generates
xml in utf-8 encoding (at least it is written at first line of
html-s).
Could this be fixed?
From adamc at impredicative.com Sun Nov 22 11:33:21 2009
From: adamc at impredicative.com (Adam Chlipala)
Date: Sun, 22 Nov 2009 11:33:21 -0500
Subject: [Ur] UTF-8 in xml
In-Reply-To: <8ef825670911211429t42bf8466qc4f5de4eba82c8ef@mail.gmail.com>
References: <8ef825670911211429t42bf8466qc4f5de4eba82c8ef@mail.gmail.com>
Message-ID: <4B0967D1.1030106@impredicative.com>
Vladimir Shabanov wrote:
> When I'm writing some utf-8 text inside Ur generates escape
> sequences, while it should just leave text as is since Ur generates
> xml in utf-8 encoding (at least it is written at first line of
> html-s).
>
> Could this be fixed?
>
Support for non-ASCII characters is certainly in my plans, but I don't
feel I know enough right now to implement it securely. I've read scare
stories about normalization of Unicode and the problems it can cause.
In particular, I want to be sure that no CDATA text is escaped in a way
that leaves characters which browsers will interpret in any way besides
displaying them literally.
Does anyone understand the issue well enough to suggest the right way to
implement this?
From vshabanoff at gmail.com Sun Nov 22 15:35:19 2009
From: vshabanoff at gmail.com (Vladimir Shabanov)
Date: Sun, 22 Nov 2009 23:35:19 +0300
Subject: [Ur] Few bugs, questions and feature requests
Message-ID: <8ef825670911221235y62578c71v2ef9341347e0b2b2@mail.gmail.com>
First of all thanks for nice language, played with it for a some time
and here are some bug reports & questions.
__________
When there is a form and no .urs-file Ur gives strange error:
":0:0-0:0: Function needed for both a link and a form"
somemodule.ur:
fun main () : transaction page = return
and submit r = return
When I add somemodule.urs (even the empty one) error disappear.
I took me about a hour to determine source of problem since error
message is quite undescriptive.
__________
Empty tags pair gives "syntax error: deleting BEGIN_TAG GT END_TAG":
fun main () = return
Nested empty tags pairs gives additional "syntax error found at XML_END":
fun main () = return
This is fixed by adding spaces between tags, but still I don't think
this is an error.
__________
When I try to add some attributes to html tags I get "Couldn't prove
field name disjointness" error:
fun main () = return
#
123
As I understand Ur currently doesn't support html tag attributes
(except 'style' which is handled specially). But instead something
like "attributes doesn't supported, try CSS styles" error, Ur display
error which is related to record fields which is quite confusing.
__________
I get "Couldn't prove field name disjointness" for such code:
fun row (label : string) =
{[label]}
fun main () = return
And "Some constructor unification variables are undetermined in
declaration" for this one:
fun row (label : string) =
{[label]}
fun main () = return
Making "main () = return (row "asdf")" cures second case but not the first.
I get the same errors with xml "label".
__________
"