Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[fix] stdlib, mongo: unused value

  • Loading branch information...
commit 8e30b1e52fbb4ac77b454054e970eb942a3f5ef8 1 parent 1b39c01
@BourgerieQuentin BourgerieQuentin authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  stdlib/apis/mongo/bson.opa
View
2  stdlib/apis/mongo/bson.opa
@@ -661,7 +661,7 @@ Bson = {{
| {some = lty} -> {TyName_args=[lty.f2]; TyName_ident="list"}
| {none} -> ty
else ty
- | ~{failure} -> ty
+ | {failure=_} -> ty
nty
check_list(ty, f, f2) =
Please sign in to comment.
Something went wrong with that request. Please try again.