Re: XRM 66: Add parameterized formulas. - Projects

12 Jun 2006

...
 >> "SIGOURE" == SIGOURE Benoit
&lt;sigoure.benoit(a)lrde.epita.fr&gt; writes: 
...
     cannot-redefine-static-const(|idf) =
      !idf => Identifier(idf')  
...
     cannot-redefine-formula(|idf) =
      !idf => Identifier(idf') 
...
  +
 +  cannot-redefine-parameterized-formula(|idf) =
 +    !idf => Identifier(idf') 
Shouldn't you introduce string-from-identifier?  Or
identifier-to-string, I don't know if there is a name convention.