Anonymous | Login | Signup for a new account | 2019-02-24 01:51 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 | |||||||
0007554 | OCaml | tools (ocaml{lex,yacc,dep,debug,...}) | public | 2017-06-07 12:26 | 2018-07-19 18:54 | |||||||
Reporter | nbb | |||||||||||
Assigned To | trefis | |||||||||||
Priority | normal | Severity | minor | Reproducibility | always | |||||||
Status | resolved | Resolution | fixed | |||||||||
Platform | x86_64 | OS | MacOs | OS Version | 12.5 | |||||||
Product Version | 4.04.1 | |||||||||||
Target Version | Fixed in Version | 4.08.0+dev/beta1 | ||||||||||
Summary | 0007554: identifiers not recognized by ocaml when assigned by deconstructing a tuple | |||||||||||
Description | consider this snippet:let n, nstop, nex = List.(length resokerr, length lims, length exceptions) in Printf.printf "%d stopped iterations (%.0f%%)\n" nstop (float_of_int nstop /. float_of_int n *. 100.); when stepping into the printf line with ocamldebug, neither of n, nstop, nex can be printed. | |||||||||||
Steps To Reproduce | assign identifiers in tuple form. then try to print while they are in scope. | |||||||||||
Tags | No tags attached. | |||||||||||
Attached Files | ||||||||||||
![]() |
|
(0017848) dra (developer) 2017-06-07 16:09 |
I've only done a quick check, but I can confirm that this was not a problem in 4.02.2 and is still a problem in 4.04.1 |
(0019059) matt (reporter) 2018-04-25 11:42 |
Also reproduced in 4.06.1 |
(0019084) trefis (manager) 2018-05-01 12:10 |
This regression was introduced by https://github.com/ocaml/ocaml/commit/aaeda7763bca8402cb2e53bdb57a456a04ada04b [^] which address 0004800 . My guess (though I haven't dived in the code yet) is that the optimization produces new idents that are not added in the environment (I don't know whether that issue arises in Matching or Simplif). |
(0019261) trefis (manager) 2018-07-19 18:54 |
Fixed in trunk by https://github.com/ocaml/ocaml/pull/1751 [^] |
![]() |
|||
Date Modified | Username | Field | Change |
2017-06-07 12:26 | nbb | New Issue | |
2017-06-07 16:08 | dra | Status | new => confirmed |
2017-06-07 16:08 | dra | Product Version | 4.04.0 => 4.04.1 |
2017-06-07 16:08 | dra | Description Updated | View Revisions |
2017-06-07 16:09 | dra | Note Added: 0017848 | |
2018-04-25 11:42 | matt | Note Added: 0019059 | |
2018-05-01 12:10 | trefis | Note Added: 0019084 | |
2018-07-19 17:40 | gasche | Status | confirmed => resolved |
2018-07-19 17:40 | gasche | Fixed in Version | => 4.08.0+dev/beta1 |
2018-07-19 17:40 | gasche | Resolution | open => fixed |
2018-07-19 17:40 | gasche | Assigned To | => trefis |
2018-07-19 18:54 | trefis | Note Added: 0019261 |
Copyright © 2000 - 2011 MantisBT Group |