Opened 14 years ago
Closed 14 years ago
#1004 closed defect (fixed)
inf is a number in TOL on linux
Reported by: | Jorge | Owned by: | Jorge |
---|---|---|---|
Priority: | high | Milestone: | Mantainance |
Component: | Kernel | Version: | |
Severity: | critical | Keywords: | |
Cc: | scanner, constant |
Description
inf
is considered a number in TOL when running on linux but not when running on windows.
The following code:
Real { WriteLn("inf="<<inf); Real inf = 2; Real b = 3; If(inf<b, WriteLn("2 < 3"),WriteLn("2 > 3") ); inf };
will output:
- on linux:
2>3
- on windows:
2<3
Change History (20)
comment:1 Changed 14 years ago by
Priority: | highest → high |
---|
comment:2 Changed 14 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
comment:4 Changed 14 years ago by
La sentencia
Real inf = 2;
debería dar un error.
Habría que comprobar si asa lo mismo con otros números especiales como nan
comment:5 Changed 14 years ago by
también sería bueno que en el interfaz salga resaltada como palabra clave inf
comment:9 Changed 14 years ago by
Resolution: | fixed |
---|---|
Status: | closed → reopened |
Existen muchos problema de compatibilidad hacia atrás por lo que resulta demasiado complicado cambiar todo el código que utiliza variables llamadas inf, INF, Inf o cualquier otra combinación de mayúsculas y minúsculas.
comment:10 Changed 14 years ago by
Resolution: | → fixed |
---|---|
Status: | reopened → closed |
comment:13 Changed 14 years ago by
Sería conveniente deshacer también el resaltado de esta palabra. Véase [3267]
comment:15 Changed 14 years ago by
comment:16 Changed 14 years ago by
comment:17 Changed 14 years ago by
Resolution: | fixed |
---|---|
Status: | closed → reopened |
Parece ser que de algún modo el problema persiste. Véase MMS#712.
comment:18 Changed 14 years ago by
El problema puede estar relacionado con el comportamiento diferente de la sentencia:
Text FormatReal(1/0);
en los distintos operativos.
comment:19 Changed 14 years ago by
Owner: | changed from Víctor de Buen Remiro to Jorge |
---|---|
Status: | reopened → assigned |
comment:20 Changed 14 years ago by
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
(In [3236]) Fixes #1004