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/bug845.sml
ViewVC logotype

View of /tests/trunk/bugs/tests.obsolete/bug845.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (download) (annotate)
Sat Apr 28 20:18:10 2007 UTC (12 years, 3 months ago) by gkuan
File size: 446 byte(s)
(* bug845.sml *)
(* 845. bus error from locals in signatures *)

signature S =
sig
  local
      structure A: sig type t end
   in         
      val make: int -> A.t
      val destr: A.t -> int
      val add: A.t -> A.t -> A.t
  end
end;

structure M1: S =
struct
  local structure A = struct type t=int end 
   in fun make(x:int) = x
      fun destr x = x
      fun add (x:int)  y = x+y
  end
end;

open M1;     

val x1 = make 3;

add x1 x1;


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