Re: [CZT-Devel] Typechecking using ZML files

[Tim M. <tm...@un...>]

It parses and typechecks fine for me, although I haven't checked whether 
the toolkit section is being re-typechecked,

Petra, how are you running this? From the command-line tool?

Cheers,
Tim

On 13/10/11 00:43, Petra Dietrich wrote:
> 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
>
>
>
> ------------------------------------------------------------------------------
> All the data continuously generated in your IT infrastructure contains a
> definitive record of customers, application performance, security
> threats, fraudulent activity and more. Splunk takes this data and makes
> sense of it. Business sense. IT sense. Common sense.
> http://p.sf.net/sfu/splunk-d2d-oct
>
>
>
> _______________________________________________
> CZT-Devel mailing list
> CZT...@li...
> https://lists.sourceforge.net/lists/listinfo/czt-devel