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

[Lee Ho Yeung]

i can run now after import StdEnv

On Sat, Apr 9, 2011 at 5:48 PM, Lee Ho Yeung <jobmattcon at gmail.com> wrote:

> 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/1ff46451/attachment.html>