Merge pull request #9645 from tweag/undeprecate-isNull

Undeprecate isNull
This commit is contained in:
Robert Hensing 2023-12-20 18:15:49 +01:00 committed by GitHub
commit 8e64cd59b0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -438,9 +438,7 @@ static RegisterPrimOp primop_isNull({
.doc = R"(
Return `true` if *e* evaluates to `null`, and `false` otherwise.
> **Warning**
>
> This function is *deprecated*; just write `e == null` instead.
This is equivalent to `e == null`.
)",
.fun = prim_isNull,
});