| Anonymous | Login | Signup for a new account | 2013-05-25 16:17 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0005526 | OCaml | OCaml general | public | 2012-03-07 12:00 | 2012-03-07 12:08 | |||||||
| Reporter | frisch | |||||||||||
| Assigned To | frisch | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | have not tried | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | ||||||||||||
| Target Version | Fixed in Version | |||||||||||
| Summary | 0005526: Warning 31 (linking twice the same module name) cannot be made fatal | |||||||||||
| Description | The new warning 31 is never turned into an error, even with -warn-error +31. This is because Warnings.check_fatal is only called after compilation, not linking. | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0007020) frisch (developer) 2012-03-07 12:08 |
Commit 12196. I've added calls to check_fatal after all linking operations in main.ml and optmain.ml (even though some of these operations can currently raise warnings, but this could change later). |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-03-07 12:00 | frisch | New Issue | |
| 2012-03-07 12:05 | frisch | Assigned To | => frisch |
| 2012-03-07 12:05 | frisch | Status | new => assigned |
| 2012-03-07 12:08 | frisch | Note Added: 0007020 | |
| 2012-03-07 12:08 | frisch | Status | assigned => resolved |
| 2012-03-07 12:08 | frisch | Resolution | open => fixed |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |