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 /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

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

revision 1393, Fri Sep 26 17:00:32 2003 UTC revision 1394, Fri Sep 26 19:56:20 2003 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2003/09/26 15:00:00 CDT
18    Tag: blume-20030926-110_43_3
19    Description:
20    
21    - additional cleanup
22    - version number bump, NEW BOOTFILES
23    
24    ----------------------------------------------------------------------
25    Name: Matthias Blume (blume (at) tti - c (dot) org)
26  Date: 2003/09/26 12:00:00 CDT  Date: 2003/09/26 12:00:00 CDT
27  Tag: blume-20030926-ppautoload  Tag: blume-20030926-ppautoload
28  Description:  Description:
# Line 30  Line 39 
39    
40  The mechanism that picks names for types still needs some work, though.  The mechanism that picks names for types still needs some work, though.
41  (Right now it seems that if there is a type A.t which is defined to  (Right now it seems that if there is a type A.t which is defined to
42  be B.y, but B is unavailable at toplevel, then A.t gets printed as  be B.u, but B is unavailable at toplevel, then A.t gets printed as
43  "?.B.t" although the perhaps more sensible solution would be to use  "?.B.u" although the perhaps more sensible solution would be to use
44  "A.t" in this case.  In other words, the prettyprinter should follow  "A.t" in this case.  In other words, the prettyprinter should follow
45  a chain of DEFtycs not farther than there are corresponding toplevel  a chain of DEFtycs not farther than there are corresponding toplevel
46  names in the current environment.)  names in the current environment.)

Legend:
Removed from v.1393  
changed lines
  Added in v.1394

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