i can run now after import StdEnv<br><br>
<div class="gmail_quote">On Sat, Apr 9, 2011 at 5:48 PM, Lee Ho Yeung <span dir="ltr"><<a href="mailto:jobmattcon@gmail.com">jobmattcon@gmail.com</a>></span> wrote:<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">
<div>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.</div>
<div> </div>
<div>[martin001.icl,]: no abc file<br>Error [StdTime.dcl,11]: ostick.dcl could not be imported<br></div>
<div>module martin001</div>
<div>import gast</div>
<div>propAbs :: Int -> Bool<br>propAbs i = abs i >= 0</div>
<div> </div>
<div>Start = test propAbs</div>
<div> </div>
<div>Regards,</div>
<div>Martin<br></div></blockquote></div><br>