Changeset d06ddf9 in tol


Ignore:
Timestamp:
Nov 18, 2010, 3:32:15 PM (16 years ago)
Author:
Pedro Gea <pgea@…>
Branches:
1941-docker-image-to-test, devel, master
Children:
7e78186
Parents:
0cc72d6
Message:

Se modifica la función IsTolName ya que provoca una advertencia a causa de la nueva función Replace.
Quizá dentro de la StdLib hay otras funciones en circunstancias similares.
Refs #1011

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@2687 be4846ae-f051-483a-831f-b64e7d08527f

File:
1 edited

Legend:

Unmodified
Added
Removed

  • tol/stdlib/general/grammars/_real.tol

    r0cc72d6 rd06ddf9  
    102102Real IsTolName(Text name)
    103103//////////////////////////////////////////////////////////////////////////////
    104 { Replace(ToName(name), "'", "_") == name };
     104{ (Text Replace(ToName(name), "'", "_")) == name };
    105105//////////////////////////////////////////////////////////////////////////////
    106106PutDescription(I2("Returns True if name is a TOL variable identifier name,
Note: See TracChangeset for help on using the changeset viewer.