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 /sml/trunk/tests/typing/outputs.pre-110.5/2.out
ViewVC logotype

View of /sml/trunk/tests/typing/outputs.pre-110.5/2.out

Parent Directory Parent Directory | Revision Log Revision Log

Revision 548 - (download) (annotate)
Tue Feb 29 16:38:11 2000 UTC (21 years, 3 months ago) by dbm
File size: 237 byte(s)
Initial revision
val it = () : unit
2.sml:4.1-8.8 Warning: type vars not generalized because of
   value restriction are instantiated to dummy types (X1,X2,...)
2.sml:6.10-6.49 Error: match redundant
          x as (_,_) => ...
    -->   (y,z) => ...

ViewVC Help
Powered by ViewVC 1.0.0