Skip to content

Commit

Permalink
remove UInt hack in typeloader
Browse files Browse the repository at this point in the history
  • Loading branch information
Simn committed Feb 7, 2024
1 parent b97d9d4 commit 454d3da
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/typing/typeloadFields.ml
Original file line number Diff line number Diff line change
Expand Up @@ -605,9 +605,7 @@ let type_var_field ctx t e stat do_display p =
let e = if do_display then Display.preprocess_expr ctx.com e else e in
let e = type_expr ctx e (WithType.with_type t) in
let e = AbstractCast.cast_or_unify ctx t e p in
match t with
| TType ({ t_path = ([],"UInt") },[]) | TAbstract ({ a_path = ([],"UInt") },[]) when stat -> { e with etype = t }
| _ -> e
e

let type_var_field ctx t e stat do_display p =
let save = TypeloadFunction.save_field_state ctx in
Expand Down

0 comments on commit 454d3da

Please sign in to comment.