% $Id: NewQueueWrong.oz,v 1.2 2007/11/14 01:49:28 leavens Exp leavens $ % Figure 5.17 in CTM declare fun {NewQueue} Given GivePort={NewPort Given} Taken TakePort={NewPort Taken} in Given=Taken queue(put:proc {$ X} {Send GivePort X} end get:proc {$ ?X} {Send TakePort X} end) end