Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006380OCamlOCaml typingpublic2014-04-25 03:432014-07-16 16:09
Reportersliquister 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version4.01.0 
Target Version4.03.0+devFixed in Version 
Summary0006380: -short-paths sometimes does not shorten paths
DescriptionWhen type errors happen while matching a .ml against with its interface, -short-paths seems to have no effect.
In the type error below, I'd expect to see "val a : unit -> t" instead of "val a : unit -> A.Std.t".
Steps To Reproduce$ cat a.ml
module Std = struct
  type t
end
$ ocamlopt -c -short-paths a.ml
$ cat b2.mli
open A.Std
val a : unit -> t
$ ocamlopt -c -short-paths b2.mli
$ cat b2.ml
open A.Std
let a = ()
$ ocamlopt -c -short-paths b2.ml
File "b2.ml", line 1:
Error: The implementation b2.ml does not match the interface b2.cmi:
       Values do not match:
         val a : unit
       is not included in
         val a : unit -> A.Std.t
       File "b2.ml", line 2, characters 4-5: Actual declaration
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0011658)
doligez (administrator)
2014-06-04 21:51

reproduced on 4.02.0+dev

- Issue History
Date Modified Username Field Change
2014-04-25 03:43 sliquister New Issue
2014-06-04 21:51 doligez Note Added: 0011658
2014-06-04 21:51 doligez Target Version => 4.03.0+dev
2014-07-16 16:09 doligez Status new => confirmed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker