Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /tests/trunk/bugs/tests.post-110.63/bug117.2.sml
ViewVC logotype

View of /tests/trunk/bugs/tests.post-110.63/bug117.2.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2517 - (download) (annotate)
Mon May 7 19:43:37 2007 UTC (12 years ago) by gkuan
File size: 1231 byte(s)
divided sharing type eqprop test into two cases: duplicate constructor case and type sharing eqprop case
(* bug117.2.sml *)

(***************************************************************************)
(* This is illegal in version 3 of the ML standard                         *)
(* s may only be elaborated to a non-equality type (+ extra bits)          *)
(* t may only be elaborated to an equality type (for consistency with its  *)
(* constructor environment)                                                *)
(* Hence s and t can't share                                               *)
(*                                                                         *)
(* 5/7/07 Error recovery change for duplicate constructor names no longer  *)
(*   continues to instantiate and thus to check sharing type constraints   *)
(*   in the presence of duplicate constructor names. This test will now be *)
(*   divided into two. One to ensure that duplicate constructors signatures*)
(*   do not instantiate (117.1), and the other to ensure that sharing type *)
(*   checking for equality type properly (117.2).                          *)
(***************************************************************************)

signature BADSIG =
sig
  datatype s = DummyA of bool -> bool
  datatype t = DummyB of int
  sharing type s = t;
end;


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0