2024-11-24 11:21 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000016mercuryBugpublic2007-10-18 16:20
Reporterpjrm 
Assigned Tojuliensf 
PrioritynormalSeveritytextReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000016: doc: description of float token wrong
DescriptionAccording to the current definition of the float token in the Mercury Reference manual, 1.0E-3 is not a float token (unless `-' is considered a "decimal digit"; which it isn't according to every authority I can think of):

  @item float
  A floating point literal consists of a sequence of decimal digits,
  a decimal point and a sequence of digits (the fraction part), and
  the letter @samp{E} and another sequence of decimal digits (the exponent).
  The fraction part or the exponent (but not both) may be omitted.

Please insert

  and an optional sign (@samp{+} or @samp{-})

after {E}. Please also consider inserting

  (or @samp{e})

Thanks,

pjrm.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000026

juliensf (administrator)

I've posted a diff that fixes this.

~0000030

juliensf (administrator)

r1.409 of doc/reference_manual.texi fixes this.
+Notes

-Issue History
Date Modified Username Field Change
2007-10-05 16:26 pjrm New Issue
2007-10-15 22:58 juliensf Note Added: 0000026
2007-10-15 22:58 juliensf Assigned To => juliensf
2007-10-15 22:58 juliensf Status new => assigned
2007-10-18 16:20 juliensf Status assigned => resolved
2007-10-18 16:20 juliensf Resolution open => fixed
2007-10-18 16:20 juliensf Note Added: 0000030
+Issue History