[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