[Ur] Minimal modification to Crud1: Moved a `@foldR` call *before* the `return`, no longer compiles.

[Stefan Scott]

Thank you. The reasons you provided make sense. I will have to do a bit of
"refactoring".

I had also been thinking that monadic versions of folders might be helpful
- and I had forgotten that this was already available using Monad.foldR.

Thanks!

####

On Mon, Aug 31, 2015 at 2:02 PM, Ziv Scully <ziv at mit.edu> wrote:

> I see two problems at least:
>
> 1) The type signatures (e.g. [colMeta] in the .urs file) haven't been
> updated to reflect the fact that the widget field will be a transaction.
>
> 2) The accumulating function passed to [foldR] doesn't treat its arguments
> like transactions.
>
> A completely different approach might use something like Monad.exec or
> Monad.foldR. ).
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150831/c2e8e92a/attachment.html>