[Ur] displaying source t

Adam Chlipala adamc at impredicative.com
Mon Sep 5 07:31:26 EDT 2011


Gergely Buday wrote:
>> in monadic code we store values in source t typed variables, they act
>> like references in Standard ML.
>>
>> How can I simply show their values in a return xml fragment? The {[
>> var ]} syntax is for ordinary, i.e. not source t variables.
>>      
> One solution I have found is to include
>
> <dyn signal={ns<- signal n; return<xml><br/>{[ns]}</xml>}/>
>
> Is this the canonical solution?
>    

That's the canonical code to implement the effect under the hood, though 
I wouldn't include <br/> there.  It's easy to write a polymorphic 
function encapsulating this functionality.



More information about the Ur mailing list