Skip to content

Commit

Permalink
Update src/lowering/desugar.ml
Browse files Browse the repository at this point in the history
  • Loading branch information
ggreif authored Oct 16, 2024
1 parent 7086198 commit 0877d44
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lowering/desugar.ml
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,7 @@ and exp' at note = function
(breakE "!" (nullE()))
(* case ? v : *)
(varP v) (varE v) ty).it
| S.ObjBlockE (s, (self_id_opt,_), dfs) ->
| S.ObjBlockE (s, (self_id_opt, _), dfs) ->
obj_block at s self_id_opt dfs note.Note.typ
| S.ObjE (bs, efs) ->
obj note.Note.typ efs bs
Expand Down

0 comments on commit 0877d44

Please sign in to comment.