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: 6804 Reporter:@chambart Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2016-12-07T10:47:18Z) Resolution: fixed Priority: normal Severity: crash Version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: back end (clambda to assembly)
Bug description
The function Closure.find_action is wrong, an example of failing code:
type t =
| A0 of unit
| A1 of unit
| A2 of unit
let f x = match x with
| A0 () -> 1
| A1 () | A2 () -> 2
Thanks, fixed by commit 15880 on trunk. Do you know if it is possible for find_action to return None? (i.e. if the matched value can be outside the specified cases)
Original bug ID: 6804
Reporter: @chambart
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2016-12-07T10:47:18Z)
Resolution: fixed
Priority: normal
Severity: crash
Version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: back end (clambda to assembly)
Bug description
The function Closure.find_action is wrong, an example of failing code:
type t =
| A0 of unit
| A1 of unit
| A2 of unit
let f x = match x with
| A0 () -> 1
| A1 () | A2 () -> 2
let v = f (A1 ())
This was introduced in commit 15812
see c38fc54
The text was updated successfully, but these errors were encountered: