error: … while evaluating the condition of the assertion '(false == null)' at /pwd/lang/eval-fail-assert-equal-type.nix:1:1: 1| assert false == null; | ^ 2| abort "unreachable" error: a Boolean of value 'false' is not equal to null of value 'null'
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
error: … while evaluating the condition of the assertion '(false == null)' at /pwd/lang/eval-fail-assert-equal-type.nix:1:1: 1| assert false == null; | ^ 2| abort "unreachable" error: a Boolean of value 'false' is not equal to null of value 'null'