[CZT-Devel] Unexpected dependency on "TypeChecker .java"

[Leo F. <le...@cs...>]

Hi Tim and others,

I am including the Z TypeChecker into the Circus compiler and I noticed 
an unexpected
dependency on some object z classes, namely, 
net/sourceforge/czt/oz/ast/NameSignaturePair.

The problem happen during the instantiation of the class
net.sourceforge.czt.typecheck.z.TypeChecker at the line 102

"predChecker_ = new PredChecker(this);"

I also noticed that the factory implementation in 
net.sourceforge.czt.typecheck.util.impl,
also enforce that Z specifications will need to include the ObjectZ Jar 
file!

As I will not consider ObjectZ for Circus, is there any way around the 
ObjectZ dependency?

Thanks.
Leo