Original bug ID: 295
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Dear Manuel,

Thanks for the beta-testing!

1. The file byterun/makefile.nt needs to be fixed by adding backtrace.obj to
   the OBJ list.

Oups, sorry. I've fixed this.

2. Compiling our Vault compiler with the new version, I noticed that
   camldepend seems to be less smart about local modules with the same name as
   some global module. E.g., I had a module env.ml containing a functor called
   ENV(...).
   Camldepend generated a self-dependency on env.cmo.

3. More seriously, I'm getting a type error where I did not used to get one.
   It seems that Ocaml considers some types to be distinct where they were not
   before, although I'm confused as to why. Here's the error.

File "typing/typematch.ml", line 1778, characters 4-19:
This pattern matches values of type Types.presence * ([< Absent] as 'a) but is here used to match values of type Types.presence * Types.presence Type 'a is not compatible with type Types.presence = [ Present of Types.state * Types.type_expr | `Absent]

If I understand it correctly, the compiler complains that `Absent does not
match Types.presence, whereas it should. The error was generated in a
pattern match of the form:

match p1,p2 with
Absent,Absent -> ()
| Present (s1,ty1), Present (s2,ty2) ->
unify_state (Some r) unif assm env modpath s1 s2;
begin try
unify unif assm env modpath ty1 ty2
with
Unify(cause,env,c1,c2) ->
raise (Unify(RsrcType(r,cause),env,c1,c2)) end | Absent, _ ->
raise (Unify(Missing r, env, CCap c1, CCap c2)) | _, Absent ->
raise (Unify(Extra r, env, CCap c1, `CCap c2))

That's a showstopper for me.

We will look into this.

Cheers,

• Xavier