Skip to content

Commit

Permalink
review suggestion
Browse files Browse the repository at this point in the history
  • Loading branch information
ggreif committed Aug 2, 2024
1 parent e02db3d commit 31cf9cc
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/ir_def/construct.ml
Original file line number Diff line number Diff line change
Expand Up @@ -76,9 +76,9 @@ let wildP =
(* Primitives *)

let varE (id, typ) =
if T.is_mut typ
then { it = VarE (Var, id); at = no_region; note = Note.{ def with typ = T.as_immut typ } }
else { it = VarE (Const, id); at = no_region; note = Note.{ def with typ } }
{ it = VarE ((if T.is_mut typ then Var else Const), id)
; at = no_region
; note = Note.{ def with typ = T.as_immut typ } }

let varLE (id, typ) =
{ it = VarLE id; at = no_region; note = typ }
Expand Down

0 comments on commit 31cf9cc

Please sign in to comment.