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

SCM Repository

[smlnj] Annotation of /tests/trunk/SUMMARY-110.64
ViewVC logotype

Annotation of /tests/trunk/SUMMARY-110.64

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2567 - (view) (download)

1 : dbm 2559 Summary of regression failures for 110.63
2 : dbm 2567 5/17/07
3 : dbm 2559
4 :     coresml:
5 :    
6 : dbm 2567 r012c-fl.sml
7 :     first error message is spurious
8 : dbm 2559
9 : dbm 2567 t013.sml
10 :     n Div 0 raises Overflow instead of Div [ppc specific]
11 :    
12 :    
13 : dbm 2559 basis:
14 :    
15 : dbm 2567 real.sml
16 :     fails test11c because of inaccurate printing of reals with large mantissa
17 : dbm 2559
18 : dbm 2567 timer.sml
19 :     Timer.cpu_timer prints as ?.InternalTime.cpu_timer
20 : dbm 2559
21 : dbm 2567 word.sml, word8.sml, word32.sml
22 :     n div 0 raises Overflow instead of Div [ppc specific]
23 :    
24 :    
25 : dbm 2559 typing:
26 :    
27 : dbm 2567
28 : dbm 2559 modules:
29 : dbm 2567 316.sml, 316.1.sml:
30 : dbm 2559
31 : dbm 2567 Former printing bug (caused by the spec being ERRORtyc) is
32 :     partially fixed , but printing of type elements in an inferred
33 :     functor result signature is incomplete, and we don't print the
34 :     arity properly if arity > 0. A better fix would replace the
35 :     ERRORtyc spec in the inferred signature with a new DUMMYtyc
36 :     constructor that carried the name and arity of the tyc element.
37 :    
38 :     A more expensive fix might print the functor result signature
39 :     by instantiating the functor parameter sig and applying the
40 :     functor to the instantiation, then printing the result structure.
41 :    
42 : dbm 2559 bugs:

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