You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3679 Reporter: administrator Assigned to:@lefessan Status: closed (set by @xavierleroy on 2015-12-11T18:19:37Z) Resolution: fixed Priority: normal Severity: text Target version: 4.00.2+dev Fixed in version: 4.01.0+dev Category: ~DO NOT USE (was: OCaml general)
Bug 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:
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
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.
The text was updated successfully, but these errors were encountered:
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.
Original bug ID: 3679
Reporter: administrator
Assigned to: @lefessan
Status: closed (set by @xavierleroy on 2015-12-11T18:19:37Z)
Resolution: fixed
Priority: normal
Severity: text
Target version: 4.00.2+dev
Fixed in version: 4.01.0+dev
Category: ~DO NOT USE (was: OCaml general)
Bug 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:
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
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.
The text was updated successfully, but these errors were encountered: