Skip to content

Commit

Permalink
Remove test with output difference on 4.14
Browse files Browse the repository at this point in the history
The difference is due to which expressions the compiler marks as ghost.
  • Loading branch information
aantron committed Dec 18, 2023
1 parent 004a913 commit 5dee086
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions test/instrument/value.t
Original file line number Diff line number Diff line change
Expand Up @@ -184,7 +184,6 @@ No instrumentation is inserted into expressions that are (syntactic) values.
> let _ = (`Foo :> [ `Foo | `Bar ])
> let f () = `Foo
> let _ = (f () :> [ `Foo | `Bar ])
> let _ = fun () -> (f () :> [ `Foo | `Bar ])
> EOF
let _ = (`Foo :> [ `Foo | `Bar ])
Expand All @@ -193,8 +192,6 @@ No instrumentation is inserted into expressions that are (syntactic) values.
`Foo
let _ = (___bisect_post_visit___ 1 (f ()) :> [ `Foo | `Bar ])
let _ = fun () -> (f () :> [ `Foo | `Bar ])
$ bash test.sh <<'EOF'
Expand Down

0 comments on commit 5dee086

Please sign in to comment.