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.obsolete/bug227.1.sml
ViewVC logotype

View of /tests/trunk/bugs/tests.obsolete/bug227.1.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (download) (annotate)
Sat Apr 28 20:18:10 2007 UTC (12 years, 2 months ago) by gkuan
File size: 517 byte(s)
(* bug227.1.sml *)

(* equality on datatypes *)

datatype 'a d1 = c11 | c12 of ('a * 'a d1);
datatype 'a d2 = c21 | c22 of ('a d2 * 'a );
datatype    d3 = c31 | c32 of ( d3 * int);

c11 = c11; (* works correctly *)
c12(1,c11) = c12(1,c11);  (* 0.56: uncaught exception Match; 0.59: ok *)
c21 = c21; (* loops forever in 0.56 and 0.59 *)
c22(c21,1) = c22(c21,1);  (* 0.56: uncaught exception Match; 0.59: ok *)
c31 = c31; (* works correctly *)
c32(c31,1) = c32(c31,1);  (* 0.56: uncaught exception Match; 0.59: ok *)



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