The current compilation strategy just doesn't support signal computation
on the server. Sorry!
What's the use case? Maybe I can talk you out of it. :)
On 03/04/2015 04:32 AM, Sergey Mironov wrote:
Hi! I'd like to discuss an issue I faced when I tried to write
function for mapping signals. Compiler answered an error on my attempt
to call [get] function of a [source] group on a server side, where I
tried to get an initial value for a copy of signal from the original
signal
val get : t ::: Type -> source t -> transaction t
I expected that we can think signals are just read-only variables from
the server's point of view. Is absence of server-[get] a vital
restriction?
Regards,
Sergey
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
