[Hat] Fwd: buggy sorting function

[Thomas Davie]

On 16 Sep 2005, at 16:09, Malcolm Wallace wrote:

> Thomas Davie <tatd2 at kent.ac.uk> writes:
>
>
>> lappybob$ ./hellSort
>> [6,4,2,9,10,9,3]
>>
>>> [2,3,4,6,9,10,9]
>>>
>> ^CKilled
>>
>
> This looks like a problem straight-away.  The "Killed" message
> indicates that your OS is killing the program and truncating the trace
> file, whereas the ^C signal ought to be caught nicely, allowing the
> program to finish flushing the trace file to disc.
>
>
>> hat-detect (error): file hellSort.hat is too short
>>
>
> Yup, looks like the trace file was incompletely written to disc.
>
> In the given example program, you don't actually need to ^C it - just
> give it a blank line as input and it should terminate normally.
Oops... dumb bob...

> Given that, I was able to use hat-observe and hat-trail successfully,
> but the current CVS versions of hat-detect and hat-check are slightly
> broken (they don't deal correctly with DoLambda 0x5).

I'm working with my new version of hat-detect (although not of hat- 
check).

I knew it would be something obvious, thanks people :)

Bob