Re: [CZT-Devel] Typechecking using ZML files

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

Ok, I have solved this problem now (I think). The typechecker was using 
object IDs in one place to determine if two types were the same, but 
because the parent was being parsed from XML, two equivalent types were 
being created, but with different object IDs.

I couldn't find a bug report on sourceforge -- did you submit one, Petra?

Regards,
Tim

On 14/10/11 02:31, Petra Dietrich wrote:
> 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
>
>
>
> ------------------------------------------------------------------------------
> 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