Re: [CZT-Devel] ZWordTools fails to proceed with this input

[<an...@an...>]

Dear Julian

 

I’m sorry, but this is again a fault in CZT, not in the Word tools themselves. I’m copying this to the czt developers, and if they fix it and let me know I will try and update the Z Word tools to incorporate the fix.

 

Are you using features of standard Z that are not in Spivey Z? If not, you might find it quicker and more reliable to use fuzz as the typechecker. As you said previously, it does not look as if CZT is being maintained.

 

Regards

 

Anthony

 

From: Julian Rose [mailto:jro...@gm...] 
Sent: 02 August 2020 14:50
To: Anthony Hall
Cc: Julian Rose
Subject: ZWordTools fails to proceed with this input

 

Hei Anthony,

 

ZWordTools typecheck (czt) livelocks on the attached input file.

The file contains a text summary of the problem, which cause is just a typo.

No fault is reported so I haven't raised a bug report.

The .zte and .ztr files are empty. The .zed8 is populated correctly (with typo).

 

With thanks,

julian