1 implementation module StdIOExt
3 /** Collection of functions that extend functionality of StdIO.
8 from iostate import appIOToolbox
10 /** makeSound path ioSt
11 plays a sound file, located at path. If no such file is found, the function
14 makeSound :: !String -> (IOSt .l) -> IOSt .l
15 makeSound file = appIOToolbox (osSound file)
17 osSound :: !String !*OSToolbox -> *OSToolbox
19 # (ok,tb) = winPlaySound file tb
21 | otherwise = abort ("makeSound: unable to play sound file" +++ file +++ ".\n")