A more ready-made solution:

def test_date(~day,~month)
  fun () -> print(get_process_output("date +%d/%m")=="#{day}/#{month}\n")
end

And then as Romain said:

switch([(test_date(day=25,month=12),christmas)])

Merry christmas ;)
-- 
David

------------------------------------------------------------------------------
This SF.Net email is sponsored by the Verizon Developer Community
Take advantage of Verizon's best-in-class app development support
A streamlined, 14 day to market process makes app distribution fast and easy
Join now and get one step closer to millions of Verizon customers
http://p.sf.net/sfu/verizon-dev2dev 
_______________________________________________
Savonet-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/savonet-users

Reply via email to