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

SCM Repository

[smlnj] Diff of /tests/trunk/modules/README
ViewVC logotype

Diff of /tests/trunk/modules/README

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2640, Wed May 30 21:48:13 2007 UTC revision 2641, Wed May 30 22:35:28 2007 UTC
# Line 10  Line 10 
10    
11  316, 316.1: printing of type components of inferred functor result  316, 316.1: printing of type components of inferred functor result
12              signatures              signatures
13    
14    
15    ==========================
16    Bugs:
17    
18    224.sml: (type printing in error message)
19      Type of B.C.A.x printed as ?.B.t (should be B.C.A.t?)
20      Type of A.x printed as ?.t (should be A.t?)
21    
22    229.sml: (type printing in error message)
23      Type of c.B.x printed as ?.c.t, should be c.B.t.
24    
25    257.sml: ? in type paths in error message?  (probably not a bug)

Legend:
Removed from v.2640  
changed lines
  Added in v.2641

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