% $Id: EnvironmentTest.oz,v 1.1 2010/04/01 14:58:10 leavens Exp leavens $ \insert 'Environment.oz' \insert 'TestingNoStop.oz' {StartTesting 'Environment'} {Test try {ApplyEnv {EmptyEnv} x} catch nameNotDefined(_) then true end '==' true} local XYZ123 = {Extendenv {EmptyEnv} [x y z] [1 2 3]} in {Test {ApplyEnv XYZ123 x} '==' 1} {Test {ApplyEnv XYZ123 y} '==' 2} {Test {ApplyEnv XYZ123 z} '==' 3} {Test {ApplyEnv {OverrideEnv XYZ123 {EmptyEnv}} x} '==' 1} {Test {ApplyEnv {OverrideEnv XYZ123 {EmptyEnv}} y} '==' 2} {Test {ApplyEnv {OverrideEnv XYZ123 {EmptyEnv}} z} '==' 3} local XYZQ1bac = {Extendenv XYZ123 [z y q] [a b c]} in {Test {ApplyEnv XYZQ1bac x} '==' 1} {Test {ApplyEnv XYZQ1bac y} '==' b} {Test {ApplyEnv XYZQ1bac z} '==' a} {Test {ApplyEnv XYZQ1bac q} '==' c} end end {StartTesting done}