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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2461 - (view) (download)

1 : gkuan 2426 val it = () : unit
2 :     signature S = sig end
3 : gkuan 2461 funsig FS(<param>: sig
4 :     structure X : <sig>
5 :     end) :
6 :     sig end
7 :     functor F(<param>: sig functor G : <fctsig> end) :
8 :     sig
9 :     structure B : <sig>
10 :     end
11 :     functor G0(<param>: sig
12 :     structure Z : <sig>
13 :     end) :
14 :     sig
15 :     structure C : <sig>
16 :     end
17 : gkuan 2426 223.4.sml:17.15-17.32 Error: unmatched structure specification: Z
18 :    

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