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 /bugs/trunk/openbugs
ViewVC logotype

Diff of /bugs/trunk/openbugs

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

revision 1344, Wed Aug 13 18:04:08 2003 UTC revision 1345, Fri Aug 15 22:07:45 2003 UTC
# Line 1  Line 1 
1  415. [Andrew] late error detection in parsing  415. [] late error detection in parsing
2  416. [dbm] equality property checking in functor parameter matching  416. [dbm] equality property checking in functor parameter matching
3  417. [] cosmetic error message suggestion  454. [jhr] running out of memory
 454. [] running out of memory  
4  592. [dbm] unhelpful error messages for record type mismatches  592. [dbm] unhelpful error messages for record type mismatches
 675. [] prettyprinter doesn't sense System.Print.linewidth  
5  725. [] fragility of quote/antiquote implementation  725. [] fragility of quote/antiquote implementation
 730. [] reappearance of bug 705 on RS/6000  
6  735. [dbm] bad type error message  735. [dbm] bad type error message
7  745. [] Prettyprinter produces bad output when printing records  745. [] Prettyprinter produces bad output when printing records
8  753. [] pretty printer prints syntactically incorrect text  753. [] pretty printer prints syntactically incorrect text
9  774. [] aliased exceptions are pattern-matched in the wrong order  774. [] aliased exceptions are pattern-matched in the wrong order
10  779. [Andrew] val rec syntax overly restrictive  779. [] val rec syntax overly restrictive
11  827. [] exportML including future evaluations  827. [] exportML including future evaluations
12  852. [dbm] include merging types  852. [dbm] Include Merging Types
13  854. [] excessive spilling with large let expressions  854. [] excessive spilling with large let expressions
14  856. [zhong] unique constructors not representationally transparent  856. [zhong] unique constructors not representationally transparent
 857. [dbm] type error message points to wrong place  
15  876. [dbm] uninformative type error message  876. [dbm] uninformative type error message
16  883. [Andrew] ML-Yacc can lose on multiline comments  883. [] ML-Yacc can lose on multiline comments
17  914. [Andrew] "foo1" style names in productions in mlyacc  914. [] "foo1" style names in productions in mlyacc
18  929. [dbm] failure of respecifying type after include  929. [dbm] failure of respecifying type after include
19  933. [Andrew] bogus message after explicit "raise Match"  933. [] bogus message after explicit "raise Match"
20  934. [] Control.CG.misc4 when retargeting  934. [] Control.CG.misc4 when retargeting
21  939. [dbm] confusing type error message  939. [dbm] confusing type error message
22  948. [] heap images too large  948. [] heap images too large
# Line 38  Line 34 
34  1081. [dbm] difficult type error message  1081. [dbm] difficult type error message
35  1084. [dbm] hole in value restriction implementation (bottom type)  1084. [dbm] hole in value restriction implementation (bottom type)
36  1086. [dbm] illegal signature decl inside structure not rejected  1086. [dbm] illegal signature decl inside structure not rejected
37  1118. [jhr, Andrew] Compiler bug: 222 in prof  1118. [jhr] Compiler bug: 222 in prof
38  1119. [] excessive memory usage (same as 1131?)  1119. [] excessive memory usage (same as 1131?)
39  1120. [] profiling on Linux  1120. [] profiling on Linux
40  1125. [dbm] Unbound raised instead of proper error for sig inside functor  1125. [dbm] Unbound raised instead of proper error for sig inside functor
41  1131. [jhr] Failure to reclaim garbage (new new runtime)  1131. [jhr] Failure to reclaim garbage (new new runtime)
42  1135. [Andrew, Matthias] CM compiling files that haven't changed (fixed? Matthias)  1135. [Matthias] CM compiling files that haven't changed (fixed? Matthias)
43  1154. [Andrew] CM insists on recompiling sources in a stable library  1154. [] CM insists on recompiling sources in a stable library
44  1163. [] Wrong match compiler warning  1163. [] Wrong match compiler warning
45  1165. [jhr,dbm] wrong type name printed for OS.Process.success  1165. [jhr,dbm] wrong type name printed for OS.Process.success
46  1168. [] Interrupt within a 'use'  1168. [] Interrupt within a 'use'
# Line 61  Line 57 
57  1242. [dbm] error recovery in open could be better  1242. [dbm] error recovery in open could be better
58  1254. [dbm] Disagreements between SML/NJ and Defn: datatype replication  1254. [dbm] Disagreements between SML/NJ and Defn: datatype replication
59  1259. [dbm] Mistakenly inadmissable signature.  1259. [dbm] Mistakenly inadmissable signature.
60  1261. [dbm, Appel] explicit type parameter with "val rec" not supported  1261. [dbm] explicit type parameter with "val rec" not supported
61  1282. [dbm] sharing syntax not consistent with SML 97  1282. [dbm] sharing syntax not consistent with SML 97
62  1287. [dbm] SML'97 scoping restrictions on local datatypes  1287. [dbm] SML'97 scoping restrictions on local datatypes
63  1292. [dbm] val rec (fun) should be able to rebind constructor id  1292. [dbm] val rec (fun) should be able to rebind constructor id
64  1299. [dbm,jhr] some error messages aren't being sent to stderr  1299. [dbm,jhr] some error messages aren't being sent to stderr
65  1300. [dbm] type printing of datacon domain  1300. [dbm] type printing of datacon domain
66  1301. [Andrew, Lal] too big real literal yields uncaught exception BadReal  1301. [Lal] too big real literal yields uncaught exception BadReal
67  1302. [jhr] handling differing newline conventions across OSes  1302. [jhr] handling differing newline conventions across OSes
68  1306. [dbm,Zhong] Refutable patterns and generalization  1306. [dbm,Zhong] Refutable patterns and generalization
69  1307. [?] Illegal escapes in strings not recognized  1307. [?] Illegal escapes in strings not recognized
70  1309. [Zhong, Andrew] SML/NJ not safe for space  1309. [Zhong] SML/NJ not safe for space
71  1310. [Andrew] ML-Yacc fails to accept double backslash strings in .grm file  1310. [] ML-Yacc fails to accept double backslash strings in .grm file
72  1311. [dbm] odd secondary typing error after incorrect datatype decl  1311. [dbm] odd secondary typing error after incorrect datatype decl
73  1314. [Lal] ml-burg loops on invalid character in input file  1314. [Lal] ml-burg loops on invalid character in input file
74  1319. [jhr, Andrew] Real.toManExp on Intel  1319. [jhr] Real.toManExp on Intel
75  1323. [Zhong, Andrew] "uncaught exception RegMap" on hppa  1323. [Zhong] "uncaught exception RegMap" on hppa
76  1324. [dbm] Equality check in where type  1324. [dbm] Equality check in where type
77  1328. [dbm] non-legal respecifications and redeclarations  1328. [dbm] non-legal respecifications and redeclarations
78  1329. [dbm] Problem with realisation in where type  1329. [dbm] Problem with realisation in where type
# Line 91  Line 87 
87  1351. [dbm] Datatype replication within abstypes  1351. [dbm] Datatype replication within abstypes
88  1355. [Lal] exportFn image size increase on alpha32x-osf1  1355. [Lal] exportFn image size increase on alpha32x-osf1
89  1356. [Matthias] Inflexibility in installation and CM  1356. [Matthias] Inflexibility in installation and CM
90  1358. [dbm, Andrew] bad error message line numbers in interactive system  1358. [dbm] bad error message line numbers in interactive system
91  1360. [Zhong?] uncaught exception FPRegEA (or RegMap)  1360. [Zhong?] uncaught exception FPRegEA (or RegMap)
92  1362. [jhr?] Real.toManExp o Real.fromManExp  1362. [jhr?] Real.toManExp o Real.fromManExp
93  1366. [dbm, Zhong] opaque signatures and functor specs  1366. [dbm, Zhong] opaque signatures and functor specs
94  1367. [jhr] "Internal error: undefined sigTbl entry for signal 2"  1367. [jhr] "Internal error: undefined sigTbl entry for signal 2"
95  1368. [jhr] 1+2 = 102 in IntInf  1368. [jhr] 1+2 = 102 in IntInf
96  1370. [dbm, Andrew] op keyword pedantry  1370. [dbm] op keyword pedantry
97  1371. [jhr] signal-sysdep.h on HPUX10.01  1371. [jhr] signal-sysdep.h on HPUX10.01
98  1375. [jhr] Word31.fromString disagrees with Basis Library specification  1375. [jhr] Word31.fromString disagrees with Basis Library specification
99  1378. [jhr] Incorrect behaviour of String.from{C}String on nonprintable chars  1378. [jhr] Incorrect behaviour of String.from{C}String on nonprintable chars
100  1380. [jhr] Scan.[s]scanf does not allow ordinary [ character  1380. [jhr] Scan.[s]scanf does not allow ordinary [ character
101  1381. [Andrew] ml-yacc looping  1381. [] ml-yacc looping
102  1382. [Zhong?] space leak in CML  1382. [Zhong?] space leak in CML
103  1383. [jhr] Basis Library Specification of Char.toCString and String.toCString  1383. [jhr] Basis Library Specification of Char.toCString and String.toCString
104  1387. [jhr] scanning hex numbers from strings  1387. [jhr] scanning hex numbers from strings
105  1388. [jhr,Andrew] SML/NJ does not follow Basis Library Spec on div, mod, quot, rem  1388. [jhr,] SML/NJ does not follow Basis Library Spec on div, mod, quot, rem
106  1389. [Lal?] core dump on Sparc/Solaris  1389. [Lal?] core dump on Sparc/Solaris
107  1390. [dbm] incorrect parsing of sigb sequences  1390. [dbm] incorrect parsing of sigb sequences
108  1392. [dbm, Andrew] bad regions for "match nonexhaustive" messages  1392. [dbm] bad regions for "match nonexhaustive" messages
109  1394. [dbm, Andrew] "*" not allowed as record label pattern abbreviation  1394. [dbm] "*" not allowed as record label pattern abbreviation
110  1395. [jhr, Lorenz] OS.FileSys.modTime fails for open file on Windows 95.  1395. [jhr, Lorenz] OS.FileSys.modTime fails for open file on Windows 95.
111  1396. [Zhong] uncaught exception ltUnbound (secondary error)  1396. [Zhong] uncaught exception ltUnbound (secondary error)
112  1398. [Andrew] bus error in using Compiler.Profile  1398. [] bus error in using Compiler.Profile
113  1400. [dbm] Prettyprinter bug  1400. [dbm] Prettyprinter bug
114  1401. [jhr,erg] Posix.Process.waitpid_nh is buggy.  1401. [jhr,erg] Posix.Process.waitpid_nh is buggy.
115  1402. [jhr,erg] Word.fmt incorrectly uses lowercase letters for hex digits.  1402. [jhr,erg] Word.fmt incorrectly uses lowercase letters for hex digits.
# Line 121  Line 117 
117  1405. [jhr,erg] Posix.TTY discrepancy with Basis Library spec  1405. [jhr,erg] Posix.TTY discrepancy with Basis Library spec
118  1406. [jhr,erg] STRING does not agree with Basis Library spec  1406. [jhr,erg] STRING does not agree with Basis Library spec
119  1408. [jhr,erg] OrdSet.app order doesn't agree with comment  1408. [jhr,erg] OrdSet.app order doesn't agree with comment
120  1410. [Andrew?] no comments in %header  1410. [?] no comments in %header
121  1413. [jhr] can read from instream from process created by Unix.execute  1413. [jhr] can read from instream from process created by Unix.execute
122  1415. [jhr] Date.fmt raises Date on large strings  1415. [jhr] Date.fmt raises Date on large strings
123  1416. [jhr] Date.fmt produces incorrect results on %j, %U, %W, and %<other>  1416. [jhr] Date.fmt produces incorrect results on %j, %U, %W, and %<other>
# Line 132  Line 128 
128  1427. [jhr] End-of-file marks in Stream IO  1427. [jhr] End-of-file marks in Stream IO
129  1429. [jhr] two problems with StreamIO.setPosOut  1429. [jhr] two problems with StreamIO.setPosOut
130  1430. [Lorenz?] heap2exec broken  1430. [Lorenz?] heap2exec broken
131  1431. [Andrew] yypos in ml-lex is off by one (or two)  1431. [] yypos in ml-lex is off by one (or two)
132  1433. [dbm] eqtype u=t doesn't force eqtype [partially fixed]  1433. [dbm] eqtype u=t doesn't force eqtype [partially fixed]
133  1434. [dbm] bogus "Error: non-constructor applied to argument in pattern: ::"  1434. [dbm] bogus "Error: non-constructor applied to argument in pattern: ::"
134  1435. [Andrew] ML-Yacc documentation needs to be updated  1435. [] ML-Yacc documentation needs to be updated
135  1436. [Lorenz, Zhong] representation exception raised by C function  1436. [Lorenz, Zhong] representation exception raised by C function
136  1437. [jhr] Unix.signal missing  1437. [jhr] Unix.signal missing
137  1439. [jhr, Andrew] OS.FileSys.access raises inappropriate SysErr exception  1439. [jhr] OS.FileSys.access raises inappropriate SysErr exception
138  1443. [Lal, jhr] Real.toManExp broken -- wrong exponent returned.  1443. [Lal, jhr] Real.toManExp broken -- wrong exponent returned.
139  1444. [jhr] First Century Blues  1444. [jhr] First Century Blues
140  1447. [jhr?} Real.fmt fails on large real number  1447. [jhr?} Real.fmt fails on large real number
141  1449. [Lal?] FFT benchmark gives wrong answers.  1449. [Lal?] FFT benchmark gives wrong answers.
142  1451. [jhr, Andrew] Math.sin(large number) is wrong  1451. [jhr] Math.sin(large number) is wrong
143  1452. [jhr, Andrew] Math.sinh(small number)=0.0  1452. [jhr] Math.sinh(small number)=0.0
144  1453. [dbm, Zhong] Compiler bug: LtyExtern: incorrect lambda types in lt_select  1453. [dbm, Zhong] Compiler bug: LtyExtern: incorrect lambda types in lt_select
145  1454. [dbm, Wadler] Unexpected force of lazy suspension in pattern match  1454. [dbm, Wadler] Unexpected force of lazy suspension in pattern match
146  1456. [jhr] Int.sameSign  1456. [jhr] Int.sameSign
# Line 165  Line 161 
161  1483. [dbm] confusing type error messages (literals, IntInf)  1483. [dbm] confusing type error messages (literals, IntInf)
162  1484. [Zhong] reorder optimization disabled by FLINT  1484. [Zhong] reorder optimization disabled by FLINT
163  1485. [Zhong] quadratic(?) blowup compiling long sequence of val bindings  1485. [Zhong] quadratic(?) blowup compiling long sequence of val bindings
164  1486. [jhr, Andrew] Math.pow gives questionable results  1486. [jhr] Math.pow gives questionable results
165  1487. [dbm, Andrew] parentheses not permitted in val rec binding  1487. [dbm] parentheses not permitted in val rec binding
166  1488. [jhr] Array.fromList of empty list generates bogus "empty" array  1488. [jhr] Array.fromList of empty list generates bogus "empty" array
167  1489. [dbm] bad type of equality function defined for abstype  1489. [dbm] bad type of equality function defined for abstype
168  1490. [jhr] double error message for bad string constant  1490. [jhr] double error message for bad string constant

Legend:
Removed from v.1344  
changed lines
  Added in v.1345

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