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/modules/outputs.post-110.61/12.out
ViewVC logotype

Annotation of /tests/trunk/modules/outputs.post-110.61/12.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2469 - (view) (download)

1 : gkuan 2426 val it = () : unit
2 :     signature SET = sig type r end
3 : gkuan 2461 signature GRAPH =
4 :     sig
5 :     structure E : sig type r end
6 :     end
7 : gkuan 2426 signature GRAM =
8 :     sig
9 :     datatype s = TERM
10 :     end
11 : gkuan 2461 signature LGRAPH =
12 :     sig
13 :     structure L :
14 :     sig
15 :     structure E : <sig>
16 :     end
17 :     end
18 : gkuan 2426 functor F(X: sig type t end) : sig type r end
19 : gkuan 2461 functor G(Y: sig type u end) :
20 :     sig
21 :     structure E : <sig>
22 :     end
23 : gkuan 2426 functor H(Z: sig
24 :     datatype s = TERM
25 :     end) :
26 : gkuan 2461 sig
27 :     structure L : <sig>
28 :     end
29 : gkuan 2426 structure A :
30 :     sig
31 :     datatype s = TERM
32 :     end
33 :     structure B : LGRAPH
34 :     val foo = fn : B.L.E.r -> unit
35 :    

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