> Hello! I used "git bisect" to find the commit that introduced
> behaviour that causes Ur/Web to fail the Fortunes test in the
> benchmarks. It's commit 5cc729b48aad084757a049b7e5cdbadae5e9e400 from
> November 2018. Unfortunately that's a pretty big squashed commit from
> a PR:
>
I don't think it is in use today, but an idea for a federated login that does
not reveal usage information to the authentication service is SPRESSO,
described here: http://arxiv.org/pdf/1508.01719.pdf
___
Ur mailing list
Ur@impredicative.com
I think the GUI library has something that might suit your case. The
sourceL.ur and sourceL.urs listed here:
http://hg.impredicative.com/gui/file/d32fb0f7b137
I think implement the change listener Adam mentioned.
I was kind of expecting that, but I do think it is a common thing and
so
Well, while Ur is full of undecidable type inference issues, I generally
try to keep type _checking_ (of sufficiently annotated programs)
decidable or at least predictable. It seems hard to support predictable
checking of same-module type class usage without requiring restrictions
that
Hello all,
Servers pass a lot of interesting information to the CGI
programs in the form of environment variables (for example,
if you do client cert authentication, that info comes in the
form of an environment variable.) It would be great if
Ur/Web could access that information.
with the response mime type
seems to work for Firefox.
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur# HG changeset patch
# User Karn Kallio kkallio@eka
# Date 1321467682 16200
# Node ID
On Tuesday, August 30, 2011 06:45:10 PM Adam Chlipala wrote:
Currently, Ur/Web supports an 'id' attribute on any XML element. I
added this when someone requested support for the label tag.
Currently, 'id' attributes have type [string]. This freaks me out
somewhat, since it's anti-modular;
Hello ur group,
I am running Linux Komputer 2.6.32-33-generic #70-Ubuntu SMP Thu Jul 7
21:09:46 UTC 2011 i686 GNU/Linux . I upgraded my system, e.g. sudo
apt-get install postgresql. But got below . ??
With Debian/Ubuntu it may be necessary to install a package called postgresql-
I was trying to modify the tree example to be a collapsing tree and when
this renders the javascript ends up getting spewed out all over the
form. It looks like it's getting escaped or something.
If I understand correctly, any dyn xml which must be spliced into the document
at program
Well, some similar fuzzy brainstorming that has occurred to me before:
To have safely tweakable themes Ur/Web could represent them as types in
some way. That probably means Ur/Web will have to represent CSS too.
To naturally support user changes of themes at run time then probably
What about a wiki page ? SASS/HAML could be implemented as well. It
looks like it doesn't make sense to implement all features of
haml-lang.com. But most of its syntax is much nicer to write.
I do not think that HAML or SASS add any abstractions that Ur/Web with a
full CSS support
What about a wiki page ? SASS/HAML could be implemented as well. It looks
like it doesn't make sense to implement all features of haml-lang.com.
But most of its syntax is much nicer to write.
I do not think that HAML or SASS add any abstractions that Ur/Web with a full
CSS support would not
hi all, yesterday i was trying the demo one by one, suddenly the server was
down and is still unavailable. Is it my network problem or we all
experience this?
--
Best Regards,
Liu Qiang
It seems to be the server ... the demos show me this:
Service Temporarily Unavailable
The server is
Here is an example of Ur/Web code which leads to generation of a webapp.c
which does not compile ... maybe it is an urweb compiler bug?
Title: Example
example.urp
-
$/list
example
example.urs
-
val main : unit -> transaction page
example.ur
-
val intList = 1 :: 2 :: 3 :: []
val
Karn Kallio wrote:
Well, looking at the code I thought that it should output both,
because gcc
is supposed to support non-constant initializers. But I am not really
any help, because I do not know enough about gcc to say. One thing that
I do notice in your example is that the printf
Vag Vagoff wrote:
On 12.12.2010 18:06, Marc Weber wrote:
Which kind of application do you have in mind where this really matters?
Maybe we can help you find an alternative (Eg Amazon cloud like stuff)
You are not specific enough. Which web application do you have in mind?
Various
Same here with gcc (GCC) 4.4.3
[kkal...@eka:~/scratch/test]$ gcc test.c
[kkal...@eka:~/scratch/test]$ ./a.out
Outer
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Karn Kallio wrote:
Same here with gcc (GCC) 4.4.3
[kkal...@eka:~/scratch/test]$ gcc test.c
[kkal...@eka:~/scratch/test]$ ./a.out
Outer
Thanks. The other important question is whether, when you look at the
code, you also expect it to output two lines, not just one.
Well
Hey folks,
I've taken a look at the Ur/Web demos the other day and
read a couple emails on the list.
if anyone's worried about Ur/Web surviving or gaining
wide-spread adoption, well, just fill in as much
info/examples on the Wiki as you can, and add any usable
code you might have, or
I thought to express record subtyping using Ur/Web's disjointness constraints
and symmetric concatenation.
This works:
fun subrecord [super :: {Type}] [evidence ::: {Type}] [super ~ evidence] (sub
: $(super ++ evidence)) = sub
con supertype :: {Type} = [One = string, Two = string]
val subrec
Karn Kallio wrote:
However, this does not compile:
[codesnip]
giving error:
f.ur:11:4-11:6: Expression is not a constructor function
Expression: fl
Type: Top.folder[[Type]] super
This makes sense, since you are trying to apply [fl] as a constructor
function
Excerpts from Adam Chlipala's message of Wed Dec 08 00:40:43 +0100 2010:
Which benefits do you see from server-side JavaScript? I'll be really
surprised if any such system can get over the inherent costs of the
JavaScript language, to match the performance and security of Ur/Web.
Karn Kallio wrote:
Adam, now that somebody ( Marc Weber ) is working on an application (
payment gateway ) where the transaction model of Ur/Web does not cleanly
apply, is there a chance of you generalizing Ur/Web transactions in a
safe, principled way ( that allows representing
with a SAGA that has a null compensation for the process of
writing the record.
Karn Kallio: I don't know yet whether I'm going to implement them all -
or writing some interfaces to reuse existing code.
SAGA? Wikipedia is refering to:
* SAGA (computing), a Simple API for Grid Applications
The Ur/Web compiler links to the libmhash dynamic library independent of the
-static parameter being given to the compiler, which links only the liburweb
statically.
This patch makes the Ur/Web compiler also link libmhash statically with the -
static flag. The motivation is to have -static
With regards to 8) there is a mercurial repository available;
hg clone http://hg.impredicative.com/urweb
should get you a copy.
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Vladimir Shabanov wrote:
So savepoint will be introduced only where it really needed (dml with
user error handling)? I think that this is the best solution.
Yes, that's what I meant.
BTW it can be useful to have function for cancelling (and maybe
restarting) transaction as a part of
Maybe of interest:
While packaging Ur/Web for NixOS ( http://nixos.org/ , a Linux distribution
using a non-standard prefix-based directory layout ) it was necessary to apply
a patch removing the postgresql directory prefix hardcoded in the header paths
in the file postgres.sml.
I believe
28 matches
Mail list logo