[Ur] effectful? (Re: 'Anonymous function remains at code generation' error)

[Marko Schütz Schmuck]

[sorry for not continuing the thread: I was having some issues with my
subscription to the mailing list and did not receive list emails.]

In lib.urp of blobText I had marked BlobText.blobText as
effectful since it allocates memory. With the effectful annotation I
got the error

Anonymous function remains at code generation

When I remove the annotation it compiles without error.

Is effectful used correctly in this way?
If this is so, what can I do to get the compiler to accept the source
code? I had tried decomposing and annotating some types in the hope
that this was an issue with the type checker that could be solved this
way...
How should the allocated memory be released?
Or is effectful not needed here? Why?

Thanks,

Marko
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP Digital Signature
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170222/dd671acd/attachment.sig>