Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003679OCamlOCaml generalpublic2005-06-08 23:482013-06-12 17:23
Reporteradministrator 
Assigned Tolefessan 
PrioritynormalSeveritytextReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Version4.00.2+devFixed in Version4.01.0+dev 
Summary0003679: Warning display problems
DescriptionFull_Name: Robert Roessler
Version: 3.08.3
OS: Windows XP SP2
Submission from: adsl-63-194-18-166.dsl.lsan03.pacbell.net (63.194.18.166)


When OCaml is displaying warnings involving non-specific context, i.e., an
entire expression rather than a single line followed by a line with a '^', it
seems to display the expression with a trailing ".." string.

(* trivial example *)
match 0 with
| 0 -> 0
;;

gives (on STDERR):
Characters 0-21:
Warning: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
1

gives (on STDOUT):
  match 0 with
  | 0 -> 0..

I have observed two situations where this does NOT happen:

1) if there is any whitespace (space, tab, comment AFTER one or more
line-terminators) following the end of the expression, then the ".." is
suppressed

(* "suppressed" example *)
match 0 with
| 0 -> 0
(* x *)
;;

gives (on STDOUT):
  match 0 with
  | 0 -> 0

2) if there is any whitespace (space, tab, comment BEFORE the line terminator)
following the end of the expression, then the ".." sequence is lengthened

(* "lengthened" example *)
match 0 with
| 0 -> 0 (* x *)
;;

gives (on STDOUT):
  match 0 with
  | 0 -> 0..........

Note that the number of '.' chars appears to equal the TOTAL number of
whitespace chars + 2.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003024)
administrator (administrator)
2005-08-04 17:36

CRLF problem?
(0003452)
doligez (administrator)
2005-12-15 15:13

probably a binary IO vs text IO problem
(0009459)
lefessan (developer)
2013-06-12 13:54

Fixed by commit 13767 in SVN trunk.
(0009465)
lefessan (developer)
2013-06-12 17:23

All chars before and after the location are replaced by dots. Actually, the only bug is that '\r' should probably not be replaced by a dot, as it is not really visible.

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue
2005-12-15 15:13 doligez Note Added: 0003452
2005-12-15 15:13 doligez Severity minor => text
2005-12-15 15:13 doligez Description Updated
2012-09-06 16:44 doligez Target Version => 4.00.1+dev
2012-09-11 09:51 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-06-12 13:54 lefessan Note Added: 0009459
2013-06-12 13:54 lefessan Status acknowledged => resolved
2013-06-12 13:54 lefessan Fixed in Version => 4.01.0+dev
2013-06-12 13:54 lefessan Resolution open => fixed
2013-06-12 13:54 lefessan Assigned To => lefessan
2013-06-12 17:23 lefessan Note Added: 0009465


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker