diff options
author | Son Ho | 2024-06-03 14:56:42 +0200 |
---|---|---|
committer | Son Ho | 2024-06-03 14:56:42 +0200 |
commit | 67ef9b5316b6550c3386ae095197ea513ed7dfbb (patch) | |
tree | b617f6258e3b589c734adfa1b1509a67163cbad2 /compiler/InterpreterLoopsMatchCtxs.ml | |
parent | ec1e958fd7bd82a4e931e1dc7acb79eeccef92ac (diff) |
Cleanup a bit
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterLoopsMatchCtxs.ml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/compiler/InterpreterLoopsMatchCtxs.ml b/compiler/InterpreterLoopsMatchCtxs.ml index bc39d5ec..3f7c023e 100644 --- a/compiler/InterpreterLoopsMatchCtxs.ml +++ b/compiler/InterpreterLoopsMatchCtxs.ml @@ -837,15 +837,7 @@ module MakeJoinMatcher (S : MatchJoinState) : PrimMatcher = struct in (* Add a marker to the abstraction indicating the provenance of the value *) let pm = if value_is_left then PLeft else PRight in - let absl = - List.map - (fun abs -> - { - abs with - avalues = List.map (add_marker_avalue span ctx0 pm) abs.avalues; - }) - absl - in + let absl = List.map (abs_add_marker span ctx0 pm) absl in push_absl absl; (* Return [Bottom] *) mk_bottom span v.ty |