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/299.out
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2426 - (view) (download)

1 : gkuan 2426 val it = () : unit
2 :     signature S1 = sig type t end
3 :     signature S2 =
4 :     sig
5 :     structure T : sig type t end
6 :     datatype r = Kr of T.t
7 :     end
8 :     signature S3 =
9 :     sig
10 :     type s
11 :     datatype t = Kt of s
12 :     end
13 :     functor F(<param>: sig
14 :     structure C : <sig>
15 :     structure D : <sig>
16 :     structure E : <sig>
17 :     sharing type E.t = C.T.t
18 :     end) :
19 :     sig end
20 :    

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