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
5/17/07

coresml:

 r012c-fl.sml
   first error message is spurious

 t013.sml
   n Div 0 raises Overflow instead of Div [ppc specific]


basis:

 real.sml
   fails test11c because of inaccurate printing of reals with large mantissa

 timer.sml
   Timer.cpu_timer prints as ?.InternalTime.cpu_timer

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


typing:


modules:
 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.

bugs:

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