The zip locator should behave much as in Haskell, Python, etc. but should n-ary. It takes n arguments, each of which are locators, and puts each group of values v0,...,vn into a record like { a0 |-> v0, ..., an |-> an}. It should fail if the arguments do not all produce the same number of values.
The
ziplocator should behave much as in Haskell, Python, etc. but shouldn-ary. It takesnarguments, each of which are locators, and puts each group of valuesv0,...,vninto a record like{ a0 |-> v0, ..., an |-> an}. It should fail if the arguments do not all produce the same number of values.