[CZT-Devel] Typechecking using ZML files

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

Hi,

I am trying to typecheck a specification who's parent is given as a zml
file that already contains type annotations.  Firstly, is my assumption
that this should work without having to re-typecheck the parent right?

Here is an example I am experimenting with:

─ section test parents toolkit └
─ ⊢? ∃x: ℙ(𝔸×𝔸) ⦁ dom x = ∅ └

The toolkit parent is derived from standard_toolkit by just translating
it to zml and renaming the Z section.  With standard_toolkit as parent,
everything works well, but with toolkit (the zml version of
standard_toolkit) I get the following error:
ERROR "test.utf8", line 1, column 20: Implicit parameters not determined
	Expression: dom
ERROR "test.utf8", line 1, column 28: Implicit parameters not determined
	Expression: ∅

Any ideas what's going on?

Thanks,
Petra