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/testcases/realconst.sml.bug.1
ViewVC logotype

Annotation of /sml/branches/primop-branch-3/testcases/realconst.sml.bug.1

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2392 - (view) (download)

1 : gkuan 2392
2 :     signature S =
3 :     sig
4 :     type ar
5 :     type elem
6 :     val cons : int * elem -> ar
7 :     end
8 :    
9 :     functor F(X : S) =
10 :     struct
11 :     end
12 :    
13 :     signature R =
14 :     sig
15 :     type 'a ar
16 :     val cons : int * 'a -> 'a ar
17 :     end
18 :    
19 :     structure N :> R =
20 :     struct
21 :     type 'a ar = 'a Array.array
22 :     val cons = Array.array
23 :     end
24 :    
25 :     structure M = F(
26 :     struct open N
27 :     type elem = int
28 :     type ar = elem ar
29 :     end)

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