0005835: Nonoptional labeled arguments can be passed with '?'. This is confusing

Issue History
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)

Notes
(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)

Relationships