% $Id: MakeDFVTest.oz,v 1.2 2009/12/03 16:08:37 leavens Exp $ \insert 'MakeDFV.oz' \insert 'TestingNoStop.oz' declare MyDFV = {MakeDFV} {Test {Send MyDFV isdet($)} '==' false} {Send MyDFV unifyWith(7)} {Test {Send MyDFV getValue($)} '==' 7} DFV2 = {MakeDFV} local U in {Send DFV2 getValue(U)} {Send DFV2 unifyWith(after)} {Test {Send DFV2 isdet($)} '==' true} {Test U '==' after} end