Skip to content
  • Xavier Leroy's avatar
    Compatibility with OCaml 4.10 (#214) · d5435a34
    Xavier Leroy authored
    debug/DwarfPrinter.mli: unused functor parameter trigger warning 69,
      replace by non-dependent functor type.
    Makefile.extr: turn warning 69 (unused functor parameter) off
      for extracted code
    configure: accept OCaml versions above 4.09
    configure: update messages for unsupported versions of OCaml and Coq
    d5435a34