Woups! Typol bug

[kuehne@pi.informatik.th-darmstadt.de (Thomas Kuehne)]

I was asked by the Typol type checker to report the following (bug?):

export  ANNOT_SPEC(penv[] |- spec)
        as add_procdefs(spec)=_;

The reason for calling the function add_procdefs is the side effect of
annotating the tree spec. Therefore i do not need any result of the
computation. However supplying the anonymous variable as the result leads
to the 'Woups!'.

By the way, is this how you do it ?
When interpreting a process call (like a procedure call) i need access
to the process defintion. My idea is to first annotate all nodes with
process calls with their corresponding process definition.
When arriving at a process call i simply 'getannot' the definition.
Is there another method ?
You might need to know that i am interpreting a tree with references to a
second tree. The second tree contains the process calls.
That is way working with an environment, that is updated during interpretation,
is not straightforward.

Thank you

  Thomas.