|
|
@@ -7316,12 +7316,12 @@ struct
|
|
|
let ret = collect_fields cl ( if is_float || is_set then Some (false) else None ) (Some static) in
|
|
|
let ret = if is_set then List.filter (fun (_,cf) ->
|
|
|
match cf.cf_kind with
|
|
|
- | Var { v_write = AccNever } -> false
|
|
|
+ (* | Var { v_write = AccNever } -> false *)
|
|
|
| _ -> not (Meta.has Meta.ReadOnly cf.cf_meta)) ret
|
|
|
else
|
|
|
List.filter (fun (_,cf) ->
|
|
|
match cf.cf_kind with
|
|
|
- | Var { v_read = AccNever } -> false
|
|
|
+ (* | Var { v_read = AccNever } -> false *)
|
|
|
| _ -> true) ret in
|
|
|
if is_float then
|
|
|
List.filter (fun (_,cf) -> (* TODO: maybe really apply_params in cf.cf_type. The benefits would be limited, though *)
|