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 2573 - (download) (annotate)
Mon May 21 05:29:47 2007 UTC (12 years ago) by dbm
File size: 1451 byte(s)
updated output for types in inferred functor signatures
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:

  bug3.sml, bug538.sml, bug1092.2.sml
    printing full path for some types when printing bindings resulting
    from an open decl

  bug130.1.sml
    printing of full type paths (S.T) instead of local path (T)

  bug247.sml
    error messages differ because of different paths for sml

  bug908.1.sml, bug908.2.sml
    [PPC only] Overflow raised instead of expected Div


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