[CZT-Devel] bug report: net.sourceforge.czt.typecheck.z.PredChecker

[Julian R. <jro...@gm...>]

Hei,

Summary.....: A general Throwable exception has happened - class
net.sourceforge.czt.typecheck.z.impl.PowerTypeImpl cannot be cast to class
net.sourceforge.czt.z.ast.ProdType
(net.sourceforge.czt.typecheck.z.impl.PowerTypeImpl and
net.sourceforge.czt.z.ast.ProdType are in unnamed module of loader 'app')
Exception...: java.lang.ClassCastException
Cause.......: none

I use Microsoft Word 2007 with the plug-in ZWordTools Release 3.3.0.1
configured for CZT type-checking with option “Allow use before
declaration”.

The ZWordTools-generated temp.bat file contains (java -jar
"C:\Users\Julian\AppData\Roaming\Microsoft\Word\STARTUP\ZWTools\cztinterface.jar"
-d -t  "temp.zed8" > "temp.ztr" 2> "temp.zte")
Please see attached files.
Including a minimal temp.docx to reproduce the error.
The temp.ztr file is empty.

With thanks,
julian