Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000016mercuryBugpublic2007-10-05 16:262007-10-18 16:20
Reporterpjrm 
Assigned Tojuliensf 
PrioritynormalSeveritytextReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
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.
Relationships
Attached Files

Notes
(0000026)
juliensf   
2007-10-15 22:58   
I've posted a diff that fixes this.
(0000030)
juliensf   
2007-10-18 16:20   
r1.409 of doc/reference_manual.texi fixes this.

Issue History
Date ModifiedUsernameFieldChange
2007-10-05 16:26pjrmNew Issue
2007-10-15 22:58juliensfNote Added: 0000026
2007-10-15 22:58juliensfAssigned To => juliensf
2007-10-15 22:58juliensfStatusnew => assigned
2007-10-18 16:20juliensfStatusassigned => resolved
2007-10-18 16:20juliensfResolutionopen => fixed
2007-10-18 16:20juliensfNote Added: 0000030