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/SUMMARY-110.64
ViewVC logotype

View of /tests/trunk/SUMMARY-110.64

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2567 - (download) (annotate)
Thu May 17 22:28:34 2007 UTC (12 years, 2 months ago) by dbm
File size: 1078 byte(s)
changed outputs to agree with corrected printing of inferred functor result signatures; minor edits of some tests
Summary of regression failures for 110.63


   first error message is spurious

   n Div 0 raises Overflow instead of Div [ppc specific]


   fails test11c because of inaccurate printing of reals with large mantissa

   Timer.cpu_timer prints as ?.InternalTime.cpu_timer

 word.sml, word8.sml, word32.sml
   n div 0 raises Overflow instead of Div [ppc specific]


 316.sml, 316.1.sml: 

    Former printing bug (caused by the spec being ERRORtyc) is
    partially fixed , but printing of type elements in an inferred
    functor result signature is incomplete, and we don't print the
    arity properly if arity > 0.  A better fix would replace the
    ERRORtyc spec in the inferred signature with a new DUMMYtyc
    constructor that carried the name and arity of the tyc element.

    A more expensive fix might print the functor result signature
    by instantiating the functor parameter sig and applying the
    functor to the instantiation, then printing the result structure.


ViewVC Help
Powered by ViewVC 1.0.0