Anonymous | Login | Signup for a new account | 2019-02-20 01:40 CET | ![]() |
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 | |||
0005835 | OCaml | ~DO NOT USE (was: OCaml general) | public | 2012-11-19 18:50 | 2013-02-19 04:14 | |||
Reporter | elnatan | |||||||
Assigned To | garrigue | |||||||
Priority | normal | Severity | minor | Reproducibility | have not tried | |||
Status | closed | Resolution | fixed | |||||
Platform | OS | OS Version | ||||||
Product Version | 3.12.0 | |||||||
Target Version | Fixed in Version | 4.01.0+dev | ||||||
Summary | 0005835: Nonoptional labeled arguments can be passed with '?'. This is confusing | |||||||
Description | I was surprised to find that the following works. I would have expected an error of some kind. let f ~x = x + 1;; let _ = f ?x:0;; Is this a bug or a feature? | |||||||
Tags | No tags attached. | |||||||
Attached Files | ||||||||
![]() |
|
(0008535) garrigue (manager) 2012-11-20 03:15 |
This is a bug. Allowing it would be a contradiction. For instance this code fails to type: let g f = f ?x:0 |
(0008653) garrigue (manager) 2012-12-27 04:16 |
Fix in trunk, at revision 13163. Will not merge into 4.00 branch, since the previous behavior was not dangerous. |
(0008861) doligez (administrator) 2013-02-18 20:11 |
Note: this bug fix breaks lablgtk (tested on version 2.14.2 and 2.16.0). |
(0008865) garrigue (manager) 2013-02-19 04:14 edited on: 2013-02-19 04:16 |
Replaced the error by a warning, as this appears to break lots of code, and this is only a question of principality of inference (there is no semantical problem). Committed in trunk, revision 13298. (Also fixed lablgtk, of course; thanks for the report) |
![]() |
|||
Date Modified | Username | Field | Change |
2012-11-19 18:50 | elnatan | New Issue | |
2012-11-20 03:15 | garrigue | Note Added: 0008535 | |
2012-11-20 03:15 | garrigue | Assigned To | => garrigue |
2012-11-20 03:15 | garrigue | Status | new => confirmed |
2012-12-27 04:16 | garrigue | Note Added: 0008653 | |
2012-12-27 04:16 | garrigue | Status | confirmed => closed |
2012-12-27 04:16 | garrigue | Resolution | open => fixed |
2012-12-27 04:16 | garrigue | Fixed in Version | => 4.01.0+dev |
2013-02-18 17:46 | doligez | Note Added: 0008860 | |
2013-02-18 19:59 | doligez | Note Deleted: 0008860 | |
2013-02-18 20:11 | doligez | Note Added: 0008861 | |
2013-02-19 04:14 | garrigue | Note Added: 0008865 | |
2013-02-19 04:16 | garrigue | Note Edited: 0008865 | View Revisions |
2017-02-23 16:36 | doligez | Category | OCaml general => -OCaml general |
2017-03-03 17:55 | doligez | Category | -OCaml general => -(deprecated) general |
2017-03-03 18:01 | doligez | Category | -(deprecated) general => ~deprecated (was: OCaml general) |
2017-03-06 17:04 | doligez | Category | ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general) |
Copyright © 2000 - 2011 MantisBT Group |