Ticket #3 (closed defect: fixed)

Opened 4 years ago

Last modified 3 years ago

Problem with "input_value code mismatch"

Reported by: admin Owned by: somebody
Priority: major Milestone: PML language stabilisation
Component: PML proof-checker and compiler Version:
Keywords: Cc:

Description

It seems that in some circonstancies (at least under OS X),
the checksum produced by an ocaml binary to check if closure comes from the same binary, changes even for the same binary.

This is hard to reproduce (pb occurs only on Tom's laptop)

This needs to be further investigated ...

Change History

comment:1 Changed 3 years ago by raffalli

The issue seems to be solver with ocaml-3.11.2 and later at least

comment:2 Changed 3 years ago by raffalli

  • Status changed from new to closed
  • Resolution set to fixed
Note: See TracTickets for help on using tickets.