[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
(Aucun)
I have encoutered a problem while handling VTP.
Let us consider a language L and suppose that:
---the following operator is defined in "L.metal" as follows:
unsigned_integer -> implemented as INTEGER ;
---and there is the following rule in "L-std.ppml":
unsigned_integer *unsigned_integer_atom ->
[<h> integerpp(*unsigned_integer_atom)] ;
If I evaluate:
(setq u
({tree}:atom_replace
({tree}:make ({name}:operator 'unsigned_integer ({name}:formalism 'L)))
1992))
and then:
(display_result u z)
---where "z" is an editor window, and "display_result" a function which
displays a tree---I get the following message:
** sun4 : machine error : segmentation fault
Nevertheless:
({tree}:atom_value u) ===> 1992
I am very surprised because the same actions for atomic operators declared
"implemented as IDENTIFIER" or "implemented as TREE" work fine.
What happened? And how can I solve this problem?
J.-M. Hufflen