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/typing/tests/21.sml
ViewVC logotype

Annotation of /tests/trunk/typing/tests/21.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2558 - (view) (download)

1 : dbm 2558 (* 21.sml *)
2 :     (* derived from bug409.sml *)
3 :     (* type checking after functor application, nonstrict type constructor *)
4 :    
5 :     signature BS =
6 :     sig
7 :     type 'a t
8 :     val f: int -> 'a t
9 :     end;
10 :    
11 :     structure B =
12 :     struct
13 :     type 'a t = bool * int
14 :     fun f(x): 'a t = (true,x)
15 :     end;
16 :    
17 :     functor F(X: BS) = struct end;
18 :    
19 :     structure A = F(B);

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