Re: [cedet-semantic] Debugging EXPANDFULL rules.

[David P. <dav...@wa...>]

>   | id COLON type_or_nonempty_type_or_type_plus from_typeexpr_opt
>     (let ((variables (cons $1 my-theoryformal-idops))
>           (result (VARIABLE-TAG variables $3 nil)))
>       (message "%S:%S %S" $1 $3 $4)
>       (message "variables = %S" variables)
>       (message "result = %S" result)
>       (setq my-theoryformal-idops nil)
>       result)
>   | id COLON typeexpr
>     (let ((variables (cons $1 my-theoryformal-idops))
>           (result (VARIABLE-TAG variables $3 nil)))
>       (message "%S:%S" $1 $3)
>       (message "variables = %S" variables)
>       (message "result = %S" result)
>       (setq my-theoryformal-idops nil)
>       result)
>   | opsym COLON typeexpr
>     (let ((variables (cons $1 my-theoryformal-idops))
>           (result (VARIABLE-TAG variables $3 nil)))
>       (message "%S:%S" $1 $3)
>       (message "variables = %S" variables)
>       (message "result = %S" result)
>       (setq my-theoryformal-idops nil)
>       result)

It looks that the `let' statements above have to be `let*' because
the value of `variables' is used to compute the value of `result'.

IMO the `let' clauses above fail with a "(void-variable variables)"
error which is probably masked by a `condition-case' at a upper level
in semantic code.

David