Skip to content

Instantly share code, notes, and snippets.

@mukeshtiwari

mukeshtiwari/InterfaceProblelm.ml

Created May 9, 2018 05:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mukeshtiwari/965ffa692b2712439d03100fe3a1a617 to your computer and use it in GitHub Desktop.
Save mukeshtiwari/965ffa692b2712439d03100fe3a1a617 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
InterfaceProblelm.ml
Error: The implementation lib/lib.pp.ml
does not match the interface lib/.lib.objs/lib.cmi:
Values do not match:
val encrypt_zero_margin :
cand list ->
Big_int.big_int ->
(cand -> cand -> Big_int.big_int) ->
cand -> cand -> Big_int.big_int * Big_int.big_int
is not included in
val encrypt_zero_margin :
'a1 list -> pubkey -> 'a1 ballot -> 'a1 eballot
File "lib/lib.mli", line 189, characters 0-73: Expected declaration
File "lib/lib.ml", line 588, characters 4-23: Actual declaration
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment