cw5_marking/c3.sc
changeset 978 8778d23fef92
equal deleted inserted replaced
977:1e6eca42d90b 978:8778d23fef92
       
     1 // for testing compilation
       
     2 
       
     3 import $file.cw051_add
       
     4 import cw051_add._
       
     5 
       
     6 val mand = os.read(os.pwd / "mand.fun")
       
     7 
       
     8 test_string(mand, "mand")
       
     9