caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] possible typechecker bug
@ 2003-09-18 16:11 Fernando Alegre
  2003-09-19  2:00 ` malc
  0 siblings, 1 reply; 32+ messages in thread
From: Fernando Alegre @ 2003-09-18 16:11 UTC (permalink / raw)
  To: caml-list


Hi,

We are puzzled by what we think is possiby a typechecker bug, as the only
difference between Tbool and Tfloat below is the specific type (either bool
or float). Is there any other explanation? I would like to get some
confirmation that this is indeed a bug before submitting it as a bug
report.

Here is the content of test.ml:

module Test (A: sig type t end) (B: sig type x = {f:A.t} end) = struct end

module Abool = struct type t = bool end
module Bbool = struct type x = {f:bool} end

module Afloat = struct type t = float end
module Bfloat = struct type x = {f:float} end

module Tbool  = Test(Abool) (Bbool)
module Tfloat = Test(Afloat)(Bfloat)


And here is the output (both in Ocaml-3.06 and 3.07beta):

$ ocamlc -c test.ml
File "test.ml", line 11, characters 29-35:
Signature mismatch:
Modules do not match:
  sig type x = Bfloat.x = { f : float; }  end
is not included in
  sig type x = { f : Afloat.t; }  end
Type declarations do not match:
  type x = Bfloat.x = { f : float; }
is not included in
  type x = { f : Afloat.t; }

-- 
					
			-Fernando Alegre (fernando@cc.gatech.edu)

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 32+ messages in thread
end of thread, other threads:[~2003-09-23 21:48 UTC | newest]

Thread overview: 32+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-09-18 16:11 [Caml-list] possible typechecker bug Fernando Alegre
2003-09-19  2:00 ` malc
2003-09-19  2:06   ` Fernando Alegre
2003-09-19  6:57     ` Julien Signoles
2003-09-19  8:01       ` [Caml-list] Commercial application written in O'Caml: ExcelEverywhere Mattias Waldau
2003-09-19  9:26         ` Benjamin Geer
2003-09-20  8:12           ` Damien Doligez
2003-09-19 11:10         ` skaller
2003-09-19 14:49           ` Richard Jones
2003-09-19 15:02             ` Remi Vanicat
2003-09-19 17:20               ` Karl Zilles
2003-09-20 19:25             ` skaller
2003-09-20 20:28               ` Benjamin Geer
2003-09-21 11:55                 ` skaller
2003-09-21 15:01                   ` [Caml-list] how can I print graphics on my local printer under Linux? PL
     [not found]                     ` <20030921161556.GA451@swordfish>
2003-09-22  8:10                       ` PL
2003-09-22  8:38                         ` Basile Starynkevitch
2003-09-23 20:24                           ` Christophe TROESTLER
2003-09-23 21:48                           ` Pierre Weis
2003-09-22  9:21                         ` Olivier Andrieu
2003-09-19 22:29           ` [Caml-list] Commercial application written in O'Caml: ExcelEverywhere Oleg Trott
2003-09-20  9:09             ` Mattias Waldau
2003-09-20  9:25               ` Jean-Marc Eber
2003-09-21  9:38                 ` Xavier Leroy
2003-09-20 20:01               ` skaller
2003-09-20 19:58             ` skaller
2003-09-19 11:48         ` Ville-Pertti Keinonen
2003-09-20 18:53           ` skaller
2003-09-20 19:31             ` Alain.Frisch
2003-09-19 14:47         ` Richard Jones
2003-09-20 19:32           ` skaller
2003-09-19 16:23         ` kknowles

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).