Re: [Savonet-users] Problem(?) with type inference of active_source

2014-05-18 Thread okay_awright
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

Re: [Savonet-users] Problem(?) with type inference of active_source

2014-05-18 Thread David Baelde
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)