[Ur] debugging

Gergely Buday gbuday at gmail.com
Fri Dec 30 07:22:31 EST 2011


Hi,

the manual says

  For debugging purposes, a transactional function
  is provided for outputting a string on the server
  process' stderr.

  val debug : string -> transaction unit

How can I use this in a pure function? As I understand this, any use
of a monadic function  puts the whole function into the transaction
monad. If this is true, I cannot print intermediate values into
standard error from a pure function. Is this right? How can I debug a
pure function then?

- Gergely



More information about the Ur mailing list