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 /tests/trunk/bugs/tests.obsolete/bug1270.2.sml
ViewVC logotype

Annotation of /tests/trunk/bugs/tests.obsolete/bug1270.2.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 548 - (view) (download)
Original Path: sml/trunk/tests/bugs/tests/bug1270.2.sml

1 : dbm 548 (* bug1270.2.sml *)
2 :    
3 :     signature T =
4 :     sig
5 :     type p
6 :     structure A : sig type s end
7 :     val f1 : unit -> A.s list
8 :     end;
9 :    
10 :     functor PD(type t):
11 :     sig
12 :     val f2 : (unit -> t) -> t
13 :     end =
14 :     struct
15 :     fun f2 f = f()
16 :     end
17 :    
18 :     functor TF(structure P : T) :
19 :     sig
20 :     type r = (P.A.s list)
21 :     val g : P.p -> r option
22 :     end =
23 :     struct
24 :     type r = P.A.s list
25 :     structure B = PD(type t = r)
26 :     fun g x = SOME(B.f2 P.f1)
27 :     end;

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