#!/bin/bash

rm -rf /tmp/inconsistent-assumptions
mkdir -p /tmp/inconsistent-assumptions
cd /tmp/inconsistent-assumptions

echo 'module A = Lib__A module B = Lib__B' > lib.ml
echo 'type t = int' > a.ml
echo 'let x : A.t = 1' > b.ml
function build {
    ocamlopt -w -49 $@ -no-alias-deps -c lib.ml &&
    ocamlopt -w -49 $@ -no-alias-deps -open Lib -o lib__A -c a.ml &&
    ocamlopt -w -49 $@ -no-alias-deps -open Lib -o lib__B -c b.ml
}
build "$@"
# now change the interface of A:
echo 'type t = float' > a.ml
build "$@"