Re: HUGS error messages

[Noel]

sorry for any duplicates -- my last message went astray..

> 
> | Does anybody know if there is a list of HUGS error messages (with
> | comments)?
> 

Simon Thompson has a page at
http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e/errors.html

which, though not exhaustive, is certainly useful -- especially when
teaching / startiong to use Hugs.

noel

-- 
Noel Winstanley
Dept of Computing Science
University of Glasgow
http://www.dcs.gla.ac.uk/~nww/       
mailto:[EMAIL PROTECTED]