Hi,

I noticed the notation X=label(...) in Yves Jaradin's script, but I did not find it in the tutorial/reference manual. By translating this into kernel language, it is obvious what it does. Since record construction is much simpler with this syntax, I think it would be nice to have this in the docs (or did I just miss it?)

Moreover, I would like to know something more about how record constraints work. What is the difference (e.g. in performance) between creating a record at once (e.g. using List.toRecord) and building the record using record constraints (i.e. telling the features incrementally using "^")?

Thank you!

Cheers,
Filip
_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to