thanks david for the explanation, and I didn't even know that one could
force the type of a variable and bypass the automatic type inference
system: cool feature!
On 18/05/2014 10:22, David Baelde wrote:
> Hi,
>
> We made strip_blank return an active source after some enhancement of
> type infer
Hi,
We made strip_blank return an active source after some enhancement of
type inference by Samuel... we knew it was still not perfect, but
didn't expect that it would strike so soon. One solution for you woule
be to annotate your list reference with its type, e.g. blah = ref (...
: active_source)