frenetic-lang/frenetic

Incomplete pattern-matching in benchmark code

basus opened this issue · 2 comments

basus commented

Compiling the latest master branch gives me the following warnings:

File "bench/src/PolicyGen.ml", line 104, characters 19-75:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
File "bench/src/PolicyGen.ml", line 108, characters 43-77:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
File "bench/src/PolicyGen.ml", line 108, characters 25-78:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
File "bench/src/PolicyGen.ml", line 109, characters 43-82:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
File "bench/src/PolicyGen.ml", line 109, characters 25-83:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
File "bench/src/PolicyGen.ml", line 110, characters 19-90:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
File "bench/src/PolicyGen.ml", line 122, characters 6-432:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
Middlebox
File "bench/src/PolicyGen.ml", line 114, characters 4-775:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
Middlebox

Seems like something that someone should look into?

See #520.

Finally got travis to accept this.