zipperposition 0.2 fails to compile on 4.01 #1

Closed
avsm opened this Issue Sep 14, 2013 · 1 comment

Projects

None yet

2 participants

@avsm
avsm commented Sep 14, 2013

A find function has been added to the Set.S signature in OCaml 4.01:

# Error: The implementation src/ptset.ml
#        does not match the interface src/ptset.cmi:
#        ...
#        In module Big:
#        The field `find' is required but not provided
# Command exited with code 2.

Found as part of OCamlPro/opam-repository#1029

@avsm avsm referenced this issue in ocaml/opam-repository Sep 14, 2013
Closed

ocamlot triage 20130830 mainly for Linux 4.00.1 and some 4.1 #1029

32 of 61 tasks complete
@c-cube
Owner
c-cube commented Sep 15, 2013

Le Sat, 14 Sep 2013, Anil Madhavapeddy a écrit :

A find function has been added to the Set.S signature in OCaml 4.01:

# Error: The implementation src/ptset.ml
#        does not match the interface src/ptset.cmi:
#        ...
#        In module Big:
#        The field `find' is required but not provided
# Command exited with code 2.

I see. As I'm working on a new version of Zipperposition (after tons of
refactoring), is it possible to just annotate the 0.2 to require ocaml
<= 4.00.1 ?

Cheers,

Simon

@c-cube c-cube referenced this issue in ocaml/opam-repository Sep 24, 2013
Closed

zipperposition doesn't compile on 4.01.0 #1130

@c-cube c-cube closed this Oct 21, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment