[clean-list] Error [StdTime.dcl, 11]: ostick.dcl could not be imported

Lee Ho Yeung jobmattcon at gmail.com
Sat Apr 9 11:48:13 MEST 2011


in window i choose environment gast, and want to test following code, i
import gast and run, then ask for library and i append
{Application}\Libraries, it has the following error. and i can not find
ostick.dcl in all directory, where is it? how to solve this error and run.

[martin001.icl,]: no abc file
Error [StdTime.dcl,11]: ostick.dcl could not be imported
module martin001
import gast
propAbs :: Int -> Bool
propAbs i = abs i >= 0

Start = test propAbs

Regards,
Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.science.ru.nl/pipermail/clean-list/attachments/20110409/e0faf74d/attachment.html>


More information about the clean-list mailing list