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

SCM Repository

[smlnj] Annotation of /sml/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m22.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3284 - (view) (download)

1 : gkuan 3053 (* bug 587.sml *)
2 :     (* Compiler bug: ModuleUtil: Instantiate:getSigPos.2<Argument> *)
3 :    
4 : dbm 3284 signature S1 = sig end;
5 : gkuan 3053
6 : dbm 3284 signature S2 =
7 : gkuan 3053 sig
8 : dbm 3284 type t1
9 :     type t2
10 :     val f : t2 -> t2 -> unit
11 : gkuan 3053 end;
12 :    
13 : dbm 3284 funsig SF (X : S1) = S2;
14 : gkuan 3053
15 : dbm 3284 functor F (functor XF : SF) = struct end;

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