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 /sml/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m22.sml
ViewVC logotype

View of /sml/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m22.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3284 - (download) (annotate)
Thu Mar 26 16:02:03 2009 UTC (11 years, 7 months ago) by dbm
File size: 261 byte(s)
new version of m21 test case that fails when loaded as a single file
(* bug 587.sml *)
(* Compiler bug: ModuleUtil: Instantiate:getSigPos.2<Argument> *)

signature S1 = sig end;

signature S2 = 
  sig
    type t1
    type t2
    val f : t2 -> t2 -> unit
  end;

funsig SF (X : S1) = S2;

functor F (functor XF : SF) = struct end;

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