Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /tests/trunk/modules/outputs.post-110.61/223.4.out
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2461 - (download) (annotate)
Sat Apr 28 20:36:18 2007 UTC (12 years, 7 months ago) by gkuan
File size: 476 byte(s)
modules regression tests updated to multiline structure signature format
val it = () : unit
signature S = sig end
funsig FS(<param>: sig
                     structure X : <sig>
                   end) :
         sig end
functor F(<param>: sig functor G : <fctsig> end) :
         sig
           structure B : <sig>
         end
functor G0(<param>: sig
                      structure Z : <sig>
                    end) :
          sig
            structure C : <sig>
          end
223.4.sml:17.15-17.32 Error: unmatched structure specification: Z


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