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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2469 - (view) (download)

1 : gkuan 2426 val it = () : unit
2 :     signature S =
3 :     sig
4 :     eqtype t
5 :     val x : t
6 :     end
7 : gkuan 2461 funsig FS(<param>: sig
8 :     structure X : <sig>
9 :     end) :
10 :     sig
11 :     structure C : <sig>
12 :     end
13 : gkuan 2426 functor F(<param>: sig
14 :     functor G : <fctsig>
15 :     structure Y : <sig>
16 :     end) :
17 :     sig
18 :     structure B : <sig>
19 :     val y : bool
20 :     end
21 :     structure a : S
22 : gkuan 2461 functor g(<param>: sig
23 :     structure X : <sig>
24 :     end) :
25 :     sig
26 :     structure C : <sig>
27 :     end
28 : gkuan 2426 structure D :
29 :     sig
30 :     structure B : <sig>
31 :     val y : bool
32 :     end
33 :     val it = true : bool
34 :    

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