Fatal warnings (important for soundness) not enforced

imandra-ai / imandra-vscode

VSCode extension for developing imandra

Other

2 stars 0 forks source link

Closed grantpassmore closed 5 years ago

grantpassmore commented 5 years ago

In VS Code, we're somehow not enforcing fatal warnings like pattern matching completeness:

type nat = Z | S of nat

let f = function
 | Z -> true
;;

verify f;;

c-cube commented 5 years ago

couldn't reproduce? :/