Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] Diff of /bugs/trunk/sortedbugs
ViewVC logotype

Diff of /bugs/trunk/sortedbugs

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

revision 1338, Tue Jun 17 21:00:40 2003 UTC revision 1339, Fri Jun 20 15:21:57 2003 UTC
# Line 153  Line 153 
153  1172. [dbm] error message about non-constructor in pattern needs more info  1172. [dbm] error message about non-constructor in pattern needs more info
154  1181. [dbm,Zhong] tmp argument naming in front end  1181. [dbm,Zhong] tmp argument naming in front end
155  1183. [Zhong, dbm] distorted abstract syntax printed in type error message  1183. [Zhong, dbm] distorted abstract syntax printed in type error message
 1186. [dbm] type printing in multi-declaration  
156  1208. [dbm] unimplemented strexp syntax  1208. [dbm] unimplemented strexp syntax
157  1210. [jhr, Lal] weak pointers to strings cause SML to crash  1210. [jhr, Lal] weak pointers to strings cause SML to crash
158  1220. [dbm] type definition masks datatype  1220. [dbm] type definition masks datatype
# Line 170  Line 169 
169  1307. [?] Illegal escapes in strings not recognized  1307. [?] Illegal escapes in strings not recognized
170  1314. [Lal] ml-burg loops on invalid character in input file  1314. [Lal] ml-burg loops on invalid character in input file
171  1319. [jhr, Andrew] Real.toManExp on Intel  1319. [jhr, Andrew] Real.toManExp on Intel
 1321. [dbm] printing of datatype = datatype in signatures  
172  1324. [dbm] Equality check in where type  1324. [dbm] Equality check in where type
173  1328. [dbm] non-legal respecifications and redeclarations  1328. [dbm] non-legal respecifications and redeclarations
174  1329. [dbm] Problem with realisation in where type  1329. [dbm] Problem with realisation in where type
# Line 726  Line 724 
724  ---------------  ---------------
725  784. [dbm] unnatural type error messages  (fixed earlier)  784. [dbm] unnatural type error messages  (fixed earlier)
726  895. [dbm] printing type unit when hidden  895. [dbm] printing type unit when hidden
727    1186. [dbm] type printing in multi-declaration (fixed earlier)
728    1321. [dbm] printing of datatype = datatype in signatures
729    
730  Fixes To Verify  Fixes To Verify
731  ---------------  ---------------

Legend:
Removed from v.1338  
changed lines
  Added in v.1339

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