Re: question

[bob@almeria.inria.fr (Renaud Marlet)]

Atomic operators and the value they store are two different things.
In your example:

   ident V is an atomic operator of type IDENT storing value V
   V       is a string value     of type string
   num N   is an atomic operator of type VALUE storing value N
   N       is a string value     of type string

Your pair operator is typed:	pair -> IDENT  BOOL VALUE
Your are using it with type:	pair  (string, BOOL, string)

You should write either
   pair_s[] |- ident V, false, num N: pair_s[pair(ident V, false, num N)]
or
   pair_s[] |- Ident, false, Num: pair_s[pair(Ident, false, Num)]

Have a look chapter 3.3 (Patterns) in the TYPOL reference manual for precise
explanation.

--Renaud