diff options
| author | Pierre-Marie Pédrot | 2014-03-01 14:17:09 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-05 21:23:14 +0100 |
| commit | 2a0d260c9c80c07844605fcb6844bb9cfdfeb0fd (patch) | |
| tree | 6330bc8c76a73a514d0b93c76de6c1fe79cc947d /lib | |
| parent | 073e4a3fc9748268c2b4e5549e54d894c6fe74cd (diff) | |
Canary testing absence of generic equality for KerNames
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/errors.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/errors.ml b/lib/errors.ml index 9df276465d..45e0f9fdf2 100644 --- a/lib/errors.ml +++ b/lib/errors.ml @@ -114,4 +114,5 @@ let noncritical = function | Sys.Break | Out_of_memory | Stack_overflow | Assert_failure _ | Match_failure _ | Anomaly _ | Timeout | Drop | Quit -> false + | Invalid_argument "equal: functional value" -> false | _ -> true |