Skip to content

Instantly share code, notes, and snippets.

@linse

linse/gist:f7f60fb27dfa8aef7c8ad5d93ee4956a

Created August 25, 2020 11:17
Show Gist options
  • Save linse/f7f60fb27dfa8aef7c8ad5d93ee4956a to your computer and use it in GitHub Desktop.
Save linse/f7f60fb27dfa8aef7c8ad5d93ee4956a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
➜ keyfender git:(master) ✗ dune build
File "handler_keys.ml", lines 54-55, characters 4-25:
54 | ....method! post_is_create rd =
55 | Wm.continue true rd
Error: The method `post_is_create' has no previous definition
File "handler_users.ml", lines 36-37, characters 4-25:
36 | ....method! post_is_create rd =
37 | Wm.continue true rd
Error: The method `post_is_create' has no previous definition
File "hsm.ml", line 862, characters 37-41:
862 | | Ok priv -> add ~id t purpose priv
^^^^
Error: This expression has type
[> `ED25519 of Hacl_ed25519.priv | `RSA of Mirage_crypto_pk.Rsa.priv
]
but an expression was expected of type priv
The second variant type does not allow tag(s) `ED25519
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment