Re: [CZT-Devel] Typechecking using ZML files

[Petra D. <Pet...@ec...>]

On 13/10/11 16:54, Tim Miller wrote:
> Petra, how are you running this? From the command-line tool?

See attached files.
If I put parent.zml and test.zed8 in the same directory (without
parent.zed8 being available) and run

java -jar czt.jar test.zed8

I get:
ERROR "test.zed8", line 3, column 18: Implicit parameters not determined
	Expression: dom
ERROR "test.zed8", line 3, column 26: Implicit parameters not determined
	Expression: ∅

However, parent.zml is generated from parent.zed8 using:

java -jar czt.jar -o parent.xml parent.zed8

and if parent.zed8 is available (that is, in the same directory so that
czt can find it) it typechecks fine.

Cheers,
Petra