|
@@ -1035,6 +1035,9 @@ let rec reduce_loop ctx e =
|
|
|
| TCall ({ eexpr = TField (o,FClosure (c,cf)) } as f,el) ->
|
|
|
let fmode = (match c with None -> FAnon cf | Some c -> FInstance (c,cf)) in
|
|
|
{ e with eexpr = TCall ({ f with eexpr = TField (o,fmode) },el) }
|
|
|
+ | TSwitch (e1,[[{eexpr = TConst (TBool true)}],{eexpr = TConst (TBool true)}],Some ({eexpr = TConst (TBool false)})) ->
|
|
|
+ (* introduced by extractors in some cases *)
|
|
|
+ e1
|
|
|
| _ ->
|
|
|
reduce_expr ctx e)
|
|
|
|