0003679: Warning display problems

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003679

OCaml

OCaml general

public

2005-06-08 23:48

2013-06-12 17:23

Reporter

administrator

Assigned To

lefessan

Priority

normal

Severity

text

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

OS Version

Product Version

Target Version

4.00.2+dev

Fixed in Version

4.01.0+dev

Summary

0003679: Warning display problems

Description

Full_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.

Tags

No tags attached.

Attached Files

Relationships

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

(0003452) doligez (manager) 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