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

Annotation of /bugs/trunk/sortedbugs

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1345 - (view) (download)

1 : macqueen 944 Bugs sorted by priority
2 :     =======================
3 :    
4 :     Critical
5 :     --------
6 :     1524. Bus Error [NO REPRO, related to 1507?]
7 :     1535. [] Large ml-yacc generated file fails to compile on HP-UX
8 :     1537. [Zhong, Stefan, Lal, Allen] compiler blowup with large andalso expression
9 :     1574. [jhr?] Segmentation fault in gc, alpha dunix only
10 :     1601. [?] SML/NJ terminates with `unexpected fault, signal = 11'
11 :     1613. [?] Fatal error -- unexpected fault (on x86-linux, sparc-solaris)
12 :    
13 :    
14 :     Performance
15 :     -----------
16 :     1485. [Zhong] quadratic(?) blowup compiling long sequence of val bindings
17 :     1491. [Zhong] Polymorphic Computation Too Slow
18 :     1492. [Zhong] Compile-time performance problem with long list value
19 :     1534. [Zhong, dbm, ?] polymorphic equality for concrete eqtypes ...
20 :     1538. [Leung] mlyacc generates bad code
21 :     1539. [jhr, Zhong] Array equality uses polyEqual
22 :    
23 :    
24 :     High
25 :     ----
26 :     856. [Zhong] unique constructors not representationally transparent
27 :     1193. [Zhong,jhr,Lorenz] Memory leak due to ref cells
28 :     1309. [Zhong, Andrew] SML/NJ not safe for space
29 :     1310. [Andrew] ML-Yacc fails to accept double backslash strings in .grm file
30 :     1348. [Riccardo?] "Out of environment space" on Windows
31 :     1349. [Lal, jhr?] segmentation faults on Linux
32 :     1355. [Lal] exportFn image size increase on alpha32x-osf1
33 :     1358. [dbm, Andrew] bad error message line numbers in interactive system
34 :     1360. [Zhong?] uncaught exception FPRegEA (or RegMap)
35 :     1362. [jhr?] Real.toManExp o Real.fromManExp
36 :     1366. [dbm, Zhong] opaque signatures and functor specs
37 :     1367. [jhr] "Internal error: undefined sigTbl entry for signal 2"
38 :     1371. [jhr] signal-sysdep.h on HPUX10.01
39 :     1375. [jhr] Word31.fromString disagrees with Basis Library specification
40 :     1381. [Andrew] ml-yacc looping
41 :     1383. [jhr] Basis Library Specification of Char.toCString and String.toCString
42 :     1388. [jhr,Andrew] SML/NJ does not follow Basis Library Spec on div, mod, quot, rem
43 :     1398. [Andrew] bus error in using Compiler.Profile
44 :     1401. [jhr,erg] Posix.Process.waitpid_nh is buggy.
45 :     1403. [jhr,erg] Possible bug is Posix.FileSys.pathconf
46 :     1405. [jhr,erg] Posix.TTY discrepancy with Basis Library spec
47 :     1406. [jhr,erg] STRING does not agree with Basis Library spec
48 :     1408. [jhr,erg] OrdSet.app order doesn't agree with comment
49 :     1413. [jhr] can read from instream from process created by Unix.execute
50 :     1419. [dbm] incorrect printing of signature containing "where type"
51 :     1420. [dbm] improper printing of "multiple defs at tycon spec" warning message
52 :     1427. [jhr] End-of-file marks in Stream IO
53 :     1429. [jhr] two problems with StreamIO.setPosOut
54 :     1433. [dbm] eqtype u=t doesn't force eqtype.
55 :     1435. [Andrew] ML-Yacc documentation needs to be updated
56 :     1436. [Lorenz, Zhong] representation exception raised by C function
57 :     1437. [jhr] Unix.signal missing
58 :     1439. [jhr] OS.FileSys.access raises inappropriate SysErr exception
59 :     1443. [Lal, jhr] Real.toManExp broken -- wrong exponent returned.
60 :     1446. [dbm, Zhong] "Translate: unexpected tyvar INSTANTIATED in mkPE" in lazy code
61 :     1449. [Lal?] FFT benchmark gives wrong answers.
62 :     1451. [jhr, Andrew] Math.sin(large number) is wrong
63 :     1452. [jhr, Andrew] Math.sinh(small number)=0.0
64 :     1453. [dbm, Zhong] Compiler bug: LtyExtern: incorrect lambda types in lt_select
65 :     1454. [dbm, Wadler] Unexpected force of lazy suspension in pattern match
66 :     1456. [jhr] Int.sameSign
67 :     1460. [Lorenz, Riccardo] CM.stabilize(') fails when calling BinIO under Win32
68 :     1462. [jhr, Emden] Error in "g" format handling
69 :     1465. [dbm] Type variables not as general as Definition
70 :     1467. [Zhong] Looping functions fail in FLINT
71 :     1468. [Lorenz, Riccardo] ccalls crashes on Cfunction(fn _ => Cvoid)
72 :     1470. [dbm, Zhong] compilation blowup (in FLINT?)
73 :     1472. [dbm] datatype involving real are treated as equality types
74 :     1478. [Lorenz, Riccardo] Fatal Error win32:fault_handler
75 :     1479. [jhr] failure to run under IRIX 6.5
76 :     1481. [dbm, Zhong] Error: Compiler bug: EntityEnv: lookEP.1
77 :     1483. [dbm] confusing type error messages (literals, IntInf)
78 :     1484. [Zhong] reorder optimization disabled by FLINT
79 :     1488. [jhr] Array.fromList of empty list generates bogus "empty" array
80 :     1489. [dbm] bad type of equality function defined for abstype
81 :     1490. [jhr] double error message for bad string constant
82 :     1493. [Riccardo] NT Installer messes up PATH in the registrry
83 :     1494. [dbm] rebound datatype prints incorrectly
84 :     1497. [jhr] bug in IntInf.scan StringCvt.HEX
85 :     1499. [dbm] Uncaught exception during compilation of bad signature
86 :     1501. [jhr] Memory leak
87 :     1505. [dbm] opaque functor signature match
88 :     1511. [dbm] Compiler problem "tyvarType: CONty"
89 :     1518. [jhr] Posix.IO.FLock.flock type disagrees with basis library spec
90 :     1519. [Lal, Allen] Compiler bug: HppaCG.incOffset - spill area too small [NO REPRO]
91 :     1521. [?] random crashes on AMD K6-III [NO REPRO]
92 :     1522. [dbm] Replication of replicated datatype - not allowed
93 :     1523. [Lorenz] installing SML/NJ-C Foreign Function Interface library
94 :     1527. [jhr] assertion failure and unknown tag
95 :     1528. [Zhong] Compiler bug: LtyKernel: unexpected TC_FIX freevars in tc_aux [NO REPRO]
96 :     1531. [jhr] Basis library discrepancies in IntInf and POSIX_FLAGS
97 :     1532. [] Date:DATE missing fromString [FIX]
98 :     1535. [] Large ml-yacc generated file fails to compile on HP-UX
99 :     1541. [dbm] Array2.array equality type incorrect
100 :     1548. [dbm] open and signature matching with polymorphic type constructors
101 :     1565. [dbm] Overflow exception while loading IntInf
102 :     1568. [jhr] installing under digital unix (tru64) 5.0
103 :     1569. [jhr] segfault in BuildLiterals
104 :     1570. [Zhong, Stefan] RecoverLty exception
105 :     1575. [Riccardo?] Bad response to EOF on standard input on Windows 98
106 :     1580. [dbm] uncaught exception ltUnbound
107 :     1583. [dbm] datatype foo = datatype bar raises Unbound exception
108 :     1587. [jhr, Lal?] Problem with Real.rem
109 :     1588. [Riccardo?] BinIO.inputAll raises Subscript (Windows)
110 :     1592. [?] Math.pow is not accurate
111 :     1593. [?] Pattern matching on word constants causes overflow in the compiler
112 :     1594. [jhr] linker errors on FreeBSD 4.x
113 :     1595. [dbm] suspicious signatures printed when using datatype replication
114 :     1596. [Zhong, dbm] TransTypes: unexpected FORMAL kind in tycTyc-h
115 :     1598. [?] IntInf broken on Windows
116 :     1603. [dbm] Unbound exception from recursive datatype replication
117 :     1605. [dbm] out-of-date example of ML-lex in lexgen.{doc,tex}
118 :     1607. [?] inaccurate transcendentals (Math.sin)
119 :     1608. [dbm] where clauses in sig causes compiler bug: unexpected DATATYPE 354
120 :    
121 :    
122 :     Medium
123 :     ------
124 :     592. [dbm] unhelpful error messages for record type mismatches
125 :     735. [dbm] bad type error message
126 :     745. [] Prettyprinter produces bad output when printing records
127 :     753. [] pretty printer prints syntactically incorrect text
128 :     774. [] aliased exceptions are pattern-matched in the wrong order
129 :     852. [dbm] include merging types
130 :     854. [] excessive spilling with large let expressions
131 :     876. [dbm] uninformative type error message
132 :     883. [Andrew] ML-Yacc can lose on multiline comments
133 :     929. [dbm] failure of respecifying type after include
134 :     933. [Andrew] bogus message after explicit "raise Match"
135 :     939. [dbm] confusing type error message
136 :     1003. [] extra newline in non-exhaustive match warning
137 :     1017. [dbm] another hard-to-read error message
138 :     1045. [dbm] better message for missing spec in signature match
139 :     1030. [] string literals in presence of CM-library on Alpha
140 :     1058. [dbm] misleading error message
141 :     1081. [dbm] difficult type error message
142 :     1118. [Andrew] Compiler bug: 222 in prof
143 :     1120. [] profiling on Linux
144 :     1125. [dbm] Unbound raised instead of proper error for sig inside functor
145 :     1163. [] Wrong match compiler warning
146 :     1165. [jhr,dbm] wrong type name printed for OS.Process.success
147 :     1168. [] Interrupt within a 'use'
148 :     1172. [dbm] error message about non-constructor in pattern needs more info
149 :     1181. [dbm,Zhong] tmp argument naming in front end
150 :     1183. [Zhong, dbm] distorted abstract syntax printed in type error message
151 :     1208. [dbm] unimplemented strexp syntax
152 :     1210. [jhr, Lal] weak pointers to strings cause SML to crash
153 :     1220. [dbm] type definition masks datatype
154 :     1233. [Zhong?] funny printing of multiple bindings in a declaration
155 :     1242. [dbm] error recovery in open could be better
156 :     1254. [dbm] Disagreements between SML/NJ and Defn: datatype replication
157 :     1261. [dbm, Appel] explicit type parameter with "val rec" not supported
158 :     1282. [dbm] sharing syntax not consistent with SML 97
159 :     1287. [dbm] SML'97 scoping restrictions on local datatypes
160 :     1292. [dbm] val rec (fun) should be able to rebind constructor id
161 :     1300. [dbm] type printing of datacon domain
162 :     1301. [Andrew, Lal] too big real literal yields uncaught exception BadReal
163 :     1306. [dbm,Zhong] Refutable patterns and generalization
164 :     1307. [?] Illegal escapes in strings not recognized
165 :     1314. [Lal] ml-burg loops on invalid character in input file
166 :     1319. [jhr, Andrew] Real.toManExp on Intel
167 :     1324. [dbm] Equality check in where type
168 :     1328. [dbm] non-legal respecifications and redeclarations
169 :     1329. [dbm] Problem with realisation in where type
170 :     1331. [jhr] eXene example code out of date
171 :     1332. [dbm] signature mistakenly rejected
172 :     1334. [dbm] problem with type checking abstype
173 :     1344. [jhr] Unimplemented real conversions
174 :     1346. [dbm] Compiler bug: ModuleUtil: getStr: bad entity
175 :     1351. [dbm] Datatype replication within abstypes
176 :     1364. [dbm] Mistakenly accepted datatype spec when signature matching.
177 :     1378. [jhr] Incorrect behaviour of String.from{C}String on nonprintable chars
178 :     1380. [jhr] Scan.[s]scanf does not allow ordinary [ character
179 :     1387. [jhr] scanning hex numbers from strings
180 :     1395. [jhr, Lorenz] OS.FileSys.modTime fails for open file on Windows 95.
181 :     1396. [Zhong] uncaught exception ltUnbound (secondary error)
182 :     1400. [dbm] Prettyprinter bug
183 :     1402. [jhr,erg] Word.fmt incorrectly uses lowercase letters for hex digits.
184 :     1410. [Andrew?] no comments in %header
185 :     1415. [jhr] Date.fmt raises Date on large strings
186 :     1416. [jhr] Date.fmt produces incorrect results on %j, %U, %W, and %<other>
187 :     1424. [dbm] inadaquate signature matching error message
188 :     1430. [Lorenz?] heap2exec broken
189 :     1431. [Andrew] yypos in ml-lex is off by one (or two)
190 :     1434. [dbm] bogus "Error: non-constructor applied to argument in pattern: ::"
191 :     1444. [jhr] First Century Blues
192 :     1447. [jhr?} Real.fmt fails on large real number
193 :     1464. [dbm] unnecessary instantiation of local nongeneralized types
194 :     1466. [jhr] GC signal never sent
195 :     1473. [jhr] weak pointer to a string causes core dump
196 :     1477. [jhr, Lal] assembler syntax nits for X86.prim.asm
197 :     1486. [jhr, Andrew] Math.pow gives questionable results
198 :     1504. [Lorenz, Riccardo] problem compiling smlnj-c on linux (red hat 6.0)
199 :     1506. [jhr] Uncaught Overflow/Div exceptions not printed correctly at top level
200 :     1526. [jhr] double-quote representation in strings and characters
201 :     1529. [jhr] The sign of ~0.0
202 :     1542. [dbm] No syntax error when the equals identifier ("=") is re-bound
203 :     1543. [jhr] DivZero exception in FreeBSD-current [Fix Included]
204 :     1553. [dbm] "dependency cycle in instantiate" insufficiently informative
205 :     1557. [jhr] OS.Path.toString raises no exception InvalidArc; InvalidArc not implemented
206 :     1560. [dbm] Compiler bug: Reconstruct: rator in profiling mode
207 :     1564. [dbm] signature prettyprinting not correct
208 :     1567. [dbm] Error: Compiler bug: InlInfo: Wrong field in INL_STR !
209 :     1573. [jhr, dbm] ARRAY array tycon should be an eqtype
210 :     1578. [dbm] invalid datatype replication causes compiler bug
211 :     1581. [?] Problem with constant strings in ML-Lex
212 :     1584. [dbm] Premature Overloading Resolution
213 :     1589. [jhr] incorrect implementation for Posix.TTY
214 :     1590. [Matthias] compilation manager reads tool files from wrong directory
215 :     1599. [dbm] Nonexhaustive binding failure during compilation of incorrect program
216 :     1600. [?] Word literals are not printed correctly in error messages
217 :     1602. [dbm] Nonexhaustive match failure during compilation (secondary)
218 :     1604. [dbm] suboptimal type error message
219 :     1610. [dbm,jhr] parsing OR-patterns with char literals
220 :     1612. [Zhong] poor code generation for nested loops
221 :    
222 :    
223 :     Low
224 :     ---
225 :     415. [Andrew] late error detection in parsing
226 :     416. [dbm] equality property checking in functor parameter matching
227 :     725. [] fragility of quote/antiquote implementation
228 :     779. [Andrew] val rec syntax overly restrictive
229 :     827. [] exportML including future evaluations
230 :     914. [Andrew] "foo1" style names in productions in mlyacc
231 :     934. [] Control.CG.misc4 when retargeting
232 :     1086. [dbm] illegal signature decl inside structure not rejected
233 :     1102. [dbm] bogus type sharing not rejected
234 :     1299. [dbm,jhr] some error messages aren't being sent to stderr
235 :     1311. [dbm] odd secondary typing error after incorrect datatype decl
236 :     1370. [dbm, Andrew] op keyword pedantry
237 :     1390. [dbm] incorrect parsing of sigb sequences
238 :     1394. [dbm, Andrew] "*" not allowed as record label pattern abbreviation
239 :     1476. [jhr] Missing operation in WORD
240 :     1487. [dbm, Andrew] parentheses not permitted in val rec binding
241 :     1520. [dbm] Output of type variables
242 :     1552. [dbm] Nonexaustive match failure during compilation
243 :    
244 :    
245 :     Addressed by "new new runtime"
246 :     ------------------------------
247 :     memory/binary-image problems
248 :     454. [] running out of memory /* not entirely a runtime problem */
249 :     948. [] heap images too large /* not entirely a runtime problem */
250 :     1119. [] excessive memory usage (same as 1131?) /* not GCing some arrays */
251 :     1131. [jhr] Failure to reclaim garbage (new new runtime) /* 1119? */
252 :     1180. [jhr] bug in blastRead, blastWrite?
253 :    
254 :     i/o redirection
255 :     977. [] sml > "a non-tty device" can cause GC failures /* no code */
256 :     1004. [jhr] blastIn and blastOut fail on objects containing code
257 :    
258 :    
259 :     Probably fixed (need verification)
260 :     ----------------------------------
261 :     1084. [dbm] hole in value restriction implementation (bottom type)
262 :     1106. [Andrew, dbm, Zhong] cutoff recompilation broken
263 :     1135. [Andrew, Matthias] CM compiling files that haven't changed (fixed?)
264 :     1154. [Matthias] CM insists on recompiling sources in a stable library (fixed?)
265 :    
266 :    
267 :     Obsolete or unreproducible?
268 :     ---------------------------
269 : macqueen 1345 730. [] reappearance of bug 705 on RS/6000
270 : macqueen 944 842. [dbm] sharing constraints in functor sig [moot in SML96]
271 :     855. [dbm] sharing in signatures [moot in SML96]
272 :     893. [] Bind exception while recompiling compiler with representation off
273 :     937. [] installing HOL90 on Alpha
274 :     946. [] runtime assertion failure on x86-linux
275 :     947. [] Compiler bug: not found in spill
276 :     955. [dbm] Compiler bug: PPVal.switch: none of the datacons matched (Compiler)
277 :     956. [] Compiler bug: empty data types in equal.sml
278 :     958. [] Ctrl-Z under AIX 4.1 /* jhr was fixing this for Irix */
279 :     967. [zhong] Compiler bug: translate.transpath on unexpected access
280 :     1029. [jhr] use not finding file on x86-solaris
281 :     1080. [dbm] "Compiler bug: SigMatch.lookStr 2a" during signature match
282 :     1117. [jhr] SIGINT handling (?)
283 :     1389. [Lal?] core dump on Sparc/Solaris
284 :     1459. segmentation fault after an interrupt
285 :    
286 :     Disputed Language Features
287 :     --------------------------
288 :     1259. [dbm] Mistakenly inadmissable signature. (1267 is duplicate)
289 :    
290 :    
291 :     Not a bug
292 :     ---------
293 :     873. [jhr,erg] faster nthtail suggested (a suggestion)
294 :     1049. [dbm] extraneous unresolved flex record error
295 :     1256. [dbm] Free type variables in local datatype declarations (Defn error)
296 :     1330. [dbm] Problem with type abbreviations in signatures
297 :     1345. [jhr] Char.toString(#"\n") error
298 :     1372. [Blume] missing links in smlnj-110.0-3.i386.rpm
299 :     1373. [Blume] smlnj-110.0-3.i386.rpm works only with libc.so.6
300 :     1379. [Blume] CM write permission error when CM (unnecessarily?) recompiles lib sources
301 :     1393. Overflow in std_out, memory leak while printing?
302 :     1441. [Riccardo, jhr] reading input from stdIn in emacs under Windows
303 :     1442. [Riccardo, jhr] EOF to terminate read terminates top level in emacs under Windows
304 :     1457. [jhr] Posix.FileSys.readdir
305 :     1458. Uninformative IO exception message / crash
306 :     1471. interrupt ignored in heap image created in background
307 :     1544. [Zhong?] SML/NJ 110.03 inlining bug [No Test]
308 :     1545. Datatypes involving the equality type variables are not treated as intended.
309 :     1546. Value restriction bug
310 :     1558. [jhr] Char.isCntrl #"\ddd" where ddd >= 128 should be true
311 :     1566. [jhr] GetOpt library not handling option parameters
312 :     1572. [?] performance slowdown, pequal?
313 :     1606. [jhr] absolute paths in .run-sml prevent moving installation
314 :    
315 :    
316 :     Not a bug, but should be fixed anyway
317 :     -------------------------------------
318 :     1455. [jhr, Lal] IntInf not properly supported
319 :     1550. type error message open to misinterpretation
320 :     1551. [?] unexpected behavior with bogus escape sequence in a string
321 :    
322 :    
323 :     Temporary fix
324 :     -------------
325 :     1169. [Zhong] problems printing polymorphic records
326 :    
327 :    
328 :     Fixed in 109.27
329 :     ---------------
330 :     12. [dbm] loss of information in value printing
331 :     317. [dbm] eqtypes and abstype
332 :     788. [dbm] "open" reports an error (it should always work) (== 847)
333 :     797. [Andrew] error in example "fol" in mlyacc
334 :     847. [dbm] opening structures with variables conflicting with constructors
335 :     936. [Zhong] failure translating abstype declarations
336 :     1027. [jhr] Word32.fromString and Word.fromString broken
337 :     1049. [dbm] extraneous unresolved flex record error ("not a bug")
338 :     1052. [jhr] crash on closing an input source
339 :     1136. [dbm] sharing causes a type to loose its equality property (== 1152)
340 :     1146. [Lorenz] core dump on x86/linux
341 :     1152. [dbm] opaque signature matching with sharing looses equality property
342 :     1160. [dbm] Compiler bug: PPAbsyn: unexpected absyn expression in ppExp'
343 :     1167. [Zhong] Compiler bug: boxity
344 :     1169. [Zhong] problems printing polymorphic records
345 :     1170. [dbm] where type problem
346 :     1176. [dbm] compiler bug printing type in error message
347 :     1177. [dbm] inappropriate nongeneralizable type variable error
348 :     1178. [jhr] Overloaded constants in patterns
349 :     1182. [dbm] Error: Compiler bug: PPType: printTyvar
350 :     1184. [Zhong] Compiler infinite loop
351 :     1185. [Zhong] Compiler bug of DECON on data constructors
352 :     1187. [dbm, Zhong] Compiler bug: Translate: unexpected tyvar LBOUND in mkPE
353 :     1188. [dbm] Compiler bug: Unify: instTyvar
354 :     1189. [Lal] Opening Real crashes system
355 :     1190. [dbm] Exception values matching against exceptions in signatures
356 :     1191. [dbm] pattern matching in presence of datatype replication
357 :     1192. [dbm] datatype replication not implemented inside of expressions
358 :    
359 :    
360 :     Fixed in 109.28
361 :     ---------------
362 :     1015. [jhr] formatting of real numbers is broken
363 :     1019. [Zhong] floats and Word32 in same closure
364 :     1035. [dbm] spurious secondary error message
365 :     1037. [dbm] inconsistent type sharing with DEFtycs (Compiler bug)
366 :     1040. [dbm] Match exception after unbound signature name
367 :     1042. [dbm] sig match failure produces "Compiler bug: ElabMod: rebind(TYCspec)"
368 :     1079. [dbm] constructor types omitted when printing structure signature
369 :     1100. [dbm] Compiler bug secondary error elaborating bad functor (SML96)
370 :     1113. [jhr] inappropriate error message for missing @SMLload arg
371 :     1138. [dbm] undefined signature generates secondary error
372 :     1150. [dbm] secondary error - Compiler bug: ModuleUtil: fctId
373 :     1151. [dbm, jhr] equality on reals admitted (actually fixed in 109.26 or earlier)
374 :     1174. [dbm] Compiler bug: SigMatch:packElems: STRspec (secondary error)
375 :     1175. [Zhong] uncaught exception RegMap
376 :     1179. [dbm] unmatched type specification leads to a Compiler bug error (1174)
377 :     1194. [dbm] Compiler bug: TypesUtil: extractDcons
378 :     1198. [dbm] unnecessary "?." in printed type name
379 :     1199. [jhr] size of exportFn image
380 :     1200. [dbm, Zhong] where type problem, rhs within current signature
381 :     1201. [dbm, Zhong] ltUnbound in curried functor with where structure
382 :     1202. [dbm, Zhong] Unbound in functor with where structure clause on parameter sig
383 :     1203. [dbm, Zhong] structure def spec doesn't work
384 :     1204. [dbm] invalid paths in lhs of where clauses
385 :    
386 :     Fixed in 109.30
387 :     ---------------
388 :     802. missing signature PRETTYPRINT
389 :     842. sharing constraints in functor sig [moot in SML96]
390 :     855. sharing in signatures [moot in SML96]
391 :     1212. [dbm] where structure when signatures differ
392 :     1214. Increased make time
393 :     1224. representation foulup
394 :     1225. SMLofNJ.Internals.GC.doGC doesn't work
395 :     1227. Unaligned access generated from floating-point arrays
396 :     1228. various Real functions on Alpha (parts 1, 5)
397 :     1229. Bugs in unionWith, unionWithi of smlnj-lib
398 :     1230. bus-error due to representation problem
399 :     1231. Compiler bug: ModuleUtil: unexpected binding in extractInfo
400 :     1232. consistent definitional specs seen as inconsistent
401 :    
402 :     Fixed in 109.31
403 :     ------------
404 :     720. [dbm,Zhong] when opening a structure at top-level, types are not printed
405 :     799. [dbm] bogus type name paths (?)
406 :     874. [lal] scheduler improperly reordering instructions
407 :     1159. [dbm, Matthias] extraneous types included in pervasive environment
408 :     1196. [jhr,erg] discrepencies between Basis implementation and documentation
409 :     1199. [jhr] size of exportFn image
410 :     1205. [dbm,Zhong] problem with "where structure" and curried functors (cf. 1201)
411 :     1213. [Matthias] CM dependency analysis (not reproducible)
412 :     1215. [Lal] Unaligned access messages
413 :     1218. [jhr] increase in size of exportFn image [same as 1199?]
414 :     1222. [Lal] ref assignment not performed before overflow
415 :     1223. [dbm, Zhong] Compiler bug: ModuleUtil: strId after unbound structure in functor
416 :     1228. [Andrew, Lal] various Real functions on Alpha (parts 3,4)
417 :     1234. [Zhong,dbm] EntityEnv.Unbound raised in functor application (also 1252)
418 :     1238. [dbm] Elaboration error involving where structure
419 :     1239. [Zhong, jhr] Subscript-out-of-bounds error when opening a structure
420 :     1240. [jhr,Zhong] Can't form pairs of reals
421 :     1241. [Zhong, jhr] confused datatype constructors
422 :     1243. Application of functor to different representations
423 :     1244. [dbm] Explicitly scoped type variable with 'val ... and' declaration
424 :     1245. [Zhong] Pretty printer bug
425 :     1246. [dbm] Explicit scoping of type variables does not obey the standard
426 :     1247. [jhr, Emden] IntSet library module is wrong
427 :     1248. [jhr] blastWrite failures
428 :     1249. [jhr] Time.time type too small
429 :     1250. [Zhong] Bind exception delayed by polymorphic generalization
430 :     1251. [Zhong,dbm] where specs cause exception Unbound
431 :     1252. [Zhong, dbm] Unbound exception on functor application
432 :     1253. [Zhong] pretty printing nested polymorphic records
433 :     1255. [dbm] Disagreements between SML/NJ and Defn: datatype replication, part II
434 :     1257. [dbm] (spurious) dependency cycle in instantiate
435 :     1260. Compiler bug (EntityEnv) when compiling ml-yacc
436 :     1270. [dbm, Zhong] EntityEnv.Unbound raised while compiling functor
437 :     1271. [dbm, Zhong] uncaught Unbound while compiling open
438 :    
439 :     Fixed in 109.32
440 :     ---------------
441 :     1075. [jhr] Infinite loop during profiling
442 :     1133. [Andrew] "<null region>" in non-exhaustive match warning messages (cf 1112)
443 :     1206. [dbm] Compiler bug: TransTypes: unexpected FORMAL kind in tycTyc-h
444 :     1236. [jhr] TextIO.outputSubstr doesn't work on substrings containing \n
445 :     1237. [jhr] ml-yacc doesn't handle constructors with long names
446 :     1272. [dbm] Match exception raised in instantiate while elaborating sig
447 :     1273. [jhr] control-c doesn't interrupt infinite loop
448 :     1274. [dbm] secondary compiler bug caused by unbound signature
449 :     1275. [Lal] mod and div broken on alpha
450 :     1276. [jhr] Posix.TTY.getattr returns invalid object.
451 :     1277. [jhr] Segmentation fault
452 :     1278. [jhr] segmentation faults running Unix.execute
453 :     1279. [dbm] frags and backquotes are confused
454 :     1280. [dbm] structure sharing semantics
455 :     1281. [dbm] Open in local-in-end can give "Compiler bug: PickMod: dontPickle"
456 :     1283. [jhr,Zhong] Representation exception raised during value pretty printing
457 :     1285. [Zhong] Compiler bug: LtyEnv: unexpected tycs in tcWhNorm-TC_PROJ
458 :    
459 :     Fixed in 110
460 :     ------------
461 :     1207. [dbm] unimplemented include syntax
462 :     1284. [Blume] bogus file created upon aborted run of ml-lex
463 :     1286. [dbm] Flexible records and as patterns
464 :     1288. [jhr] readDir returns "." and ".."
465 :     1289. [jhr] readDir and rewindDir raise the wrong exception on closed dir stream
466 :     1290. [jhr] OS.FileSys.fullPath raises exception on symbolic link
467 :     1291. [jhr] OS.FileSys.readLink returns bogus results
468 :     1293. [jhr] CharVector.mapi doesn't work with non-zero start index
469 :     1295. [jhr] SMLofNJ.exportFn should complain about an empty name
470 :     1296. [dbm] Datatype replication and signature matching.
471 :     1297. [dbm,Zhong] Compile time and space performance bug
472 :     1298. [dbm,Zhong] TransTypes: unexpected FORMAL kind in tycTyc-h
473 :     1303. [Matthias] CM file problems: multiple access not detected
474 :     1304. [dbm] Type printing of exceptions on top-level
475 :     1305. [lorenz] translation of newlines in TextIO
476 :     1308. [Zhong] uncaught exception Representation in Version 109.32
477 :     1312. [Matthias] CM.autoloading always returns false
478 :     1313. [dbm] CM autoloader doesn't cope with <returnStr>.<resultStr>
479 :     1315. [Zhong] bogus value created (probably representation bug)
480 :     1316. [dbm] type checker loops on incorrect function declaration
481 :     1317. [dbm] Error: Compiler bug: EntityEnv: lookEP.1
482 :    
483 :     Fixed in 110.0.1
484 :     ----------------
485 :     891. [Andrew] mllex state names not as general as advertized
486 :     997. [Andrew] lexgen doesn't check for unmatched quotes
487 :     1209. [Zhong] casting polymorphic functions and abstract types
488 :     1318. [dbm] incorrect sigmatch error in higher-order functor
489 :     1320. [Matthias] path name syntax used by cm when compiling to x86
490 :     1322. [Zhong, dbm] "Compiler bug: LambdaType: wrong TCs in tc_select"
491 :     1323. [Zhong, Andrew] "uncaught exception RegMap" on hppa
492 :     1325. [dbm] raises exception in compiler while trying to print error message
493 :     1326. [dbm] nonexhaustive match failure in pretty printer
494 :     1327. [dbm] tycStamp secondary error
495 :    
496 :     Fixed in 110.0.2
497 :     ----------------
498 :     1335. [Lal] nonexhaustive match failure in mips code generator
499 :     1337. [Zhong, Andrew, jhr] exporfFn in CML produces large images
500 :     1338. [Zhong, dbm] uncaught Unbound while compiling MLKit
501 :     1347. [dbm] Copying part of a recusive datatype gives constructors wrong types
502 :    
503 :     Fixed in 110.0.3
504 :     ----------------
505 :     1047. [] Not very random, random number generator ... (smlnj-lib)
506 :     1340. [Zhong] Segmentation fault on Sparc, x86, Alpha, and MIPS
507 :     1341. [jhr] configuration script error re: GLOBALS_HAVE_UNDERSCORE
508 :     1342. [jhr, Zhong] heap image size.
509 :     1343. [jhr] building runtime on x86 using gcc 2.8.0 fails
510 :     1350. [jhr] X86.prim.asm has a typo
511 :    
512 :     Fixed in 110.0.4/110.0.5
513 :     ------------------------
514 :     1302. [jhr] handling differing newline conventions across OSes
515 :     1352 [dbm] Equality status of reals is compromised
516 :     1354. [dbm] spurious? "possibly inconsistent structure definitions"
517 :     1357. [dbm] rebinding of constructors and exceptions not allowed
518 :     1365. [Zhong] datatype representation across functor boundary
519 :     1368. [jhr] 1+2 = 102 in IntInf [in library]
520 :     1369. [dbm] Unbound exception on structure sharing violation
521 :     1374. [dbm] Datatype replication causes nonexhaustive match error.
522 :     1377. [Lorenz] OS.FileSys.tmpName differs in unspecified behaviour on Windows and Unix
523 :     1382. [Zhong] space leak in CML
524 :     1384. [dbm] incorrect complaint about "inconsistent structure definitions"
525 :     1386. [dbm] redefinition of a type spec is not detected
526 :     1391. [dbm] Compiler bug - TransTypes: unexpected wildcard-type in toTyc
527 :     1421. [Zhong] incorrect type comparison for val spec in signature match
528 :     1432. [dbm] signature match fails for datatype specs if "where type" is used
529 :     1450. [jhr] bugs in Array2.fromList and Array2.row
530 :     1463. [jhr, Emden] Broken ARRAY2 Code
531 :     1477. [jhr, Lal] assembler syntax nits for X86.prim.asm
532 :     1500. [jhr] Runtime system on Linux with glibc2
533 :     1503. [jhr] redefinition of `struct sigcontext' under red hat 6.0
534 :     1512. [jhr] Nested absolute indent boxes don't work in PP library
535 :     1513. [jhr] Nested boxes containing breaks mess up scan stack in PP
536 :     1516. [Lorenz] mode bits for heap2exec output file
537 :    
538 :     Fixed in 110.0.6
539 :     ----------------
540 :     1294. [jhr] Real.fromString accepts too much
541 :     1359. [?] unexpected diagnostic message
542 :     1407. [jhr,erg] ARRAY does not agree with Basis Library spec
543 :     1448. [dbm] Real.round does not round to nearest even for ties
544 :     1525. [jhr] Array2 bug
545 :     1530. [jhr] ListSetFn should have opaque result [smlnj-lib]
546 :     1536. [dbm] ml-lex, ml-yacc path compiled into .heap/sml-cm.x86-win32 dump.
547 :     1547. [dbm] Treatment of definitional structure specs is bogus
548 :    
549 :     Fixed in 110.0.7
550 :     ----------------
551 :     1498. [dbm] Specialized real arrays not pretty-printed correctly
552 :     1510. [dbm] Signature matching bug makes "casts" possible
553 :     1556. signal race condition
554 :     1576. [Allen, jhr] buggy Real.!=
555 :     1577. [dbm, riccardo?] Stack Fault during install on Windows 2000
556 :     1586. [dbm] Windoze 9X installation exe has undefined parameters
557 :    
558 :     Fixed in 110.0.8
559 :     ----------------
560 :     1336. [Lal] Alarming "Approximating!" message
561 :     1585. [jhr] getpeername in sockets [fix]
562 :     1591. [jhr] Duplicate entries after insert() using IntRedBlackMap, WordRedBlackMap
563 :     1597. [jhr] CML withNack bug and possible CM bug
564 :    
565 :     Fixed in 110.1
566 :     --------------
567 :    
568 :     Fixed in 110.2
569 :     --------------
570 :    
571 :     Fixed in 110.5
572 :     --------------
573 :     1376. [Zhong] cycle in datatype specs not detected
574 :    
575 :     Fixed in 110.6
576 :     --------------
577 :     1302. [jhr] handling differing newline conventions across OSes
578 :     1356. [Matthias] Inflexibility in installation and CM
579 :     1365. [Zhong] Title: datatype representation across functor boundary
580 :     1368. [jhr] 1+2 = 102 in IntInf [in library]
581 :     1369. [dbm] Unbound exception on structure sharing violation
582 :     1377. [Lorenz] OS.FileSys.tmpName differs in unspecified behaviour on Windows and Unix
583 :     1382. [Zhong] space leak in CML
584 :     1425. [Zhong] Compiler bug: Literals: unexpected CPS header in litsplit
585 :    
586 :     Fixed in 110.7.1
587 :     ----------------
588 :     1359. [?] unexpected diagnostic message
589 :     1361. [Lal] Equality between variables and constants in Word32.
590 :     1399. [Lal] Overloaded operations done before type is known.
591 :    
592 :     Fixed in 110.7.2
593 :     ----------------
594 :     1359. [Zhong] unexpected diagnostic message
595 :     1391. [dbm] Compiler bug - TransTypes: unexpected wildcard-type in toTyc
596 :     1397. [dbm] Compiler bug caused by "val rec lazy" declaration
597 :     1409. [Zhong] Swaps reals in a structure or tuple
598 :     1411. [dbm] bad type checking of lazy fun declaration
599 :     1412. [dbm] lazy datatype spec expands to duplicate type specs
600 :    
601 :     Fixed in 110.8
602 :     --------------
603 :     1404. [jhr,erg] Parser combinator implements bind incorrectly
604 :    
605 :     Fixed in 110.9/110.9.1
606 :     ----------------------
607 :     1352. [dbm] Equality status of reals is compromised
608 :     1354. [dbm] spurious? "possibly inconsistent structure definitions"
609 :     1357. [dbm] rebinding of constructors and exceptions not allowed
610 :     1363. [Andrew] lexer doesn't detect EOF in string literals
611 :     1364. [dbm] Mistakenly accepted datatype spec when signature matching.
612 :     1374. [dbm] Datatype replication causes nonexhaustive match error.
613 :     1384. [dbm] incorrect complaint about "inconsistent structure definitions"
614 :     1385. [dbm] functor defn including "where" structure defs shouldn't elaborate
615 :     1386. [dbm] redefinition of a type spec is not detected
616 :     1414. [dbm,Zhong] Compiler bug: Instantiate: unexpected DATATYPE 354
617 :     1417. [Zhong] problems with datatype replication in functors
618 :     1418. [Blume] CM.set_path is a constant function
619 :     1421. [Zhong] incorrect type comparison for val spec in signature match
620 :     1422. [Lal] Core dump on Sparc when using lazy features
621 :     1423. [Leung] 2.0 + 2.0 = nan
622 :     1426. [Riccardo] smlnj-c interface function, second call core dumps
623 :     1428. [Blume] CM docs out of date
624 :     1432. [dbm] signature match fails for datatype specs if "where type" is used
625 :     1433. [dbm] eqtype u=t doesn't force eqtype. [partial fix]
626 :     1438. [Andrew] Wrong types for TextIO.StreamIO.inputAll and TextIO.StreamIO.mkInstream
627 :     1440. [Blume] CM.set_path has no effect in Win 32 or Irix 6.4
628 :     1445. [Zhong, dbm] uncaught Unbound in FLINT/trans/transtypes.sml
629 :     1446. [dbm, Zhong] "Translate: unexpected tyvar INSTANTIATED in mkPE" in lazy code
630 :     1450. [jhr] bugs in Array2.fromList and Array2.row
631 :     1463. [jhr, Emden] Broken ARRAY2 Code
632 :    
633 :    
634 :     Fixed in 110.12
635 :     ---------------
636 :     1469. [jhr, Zhong] Integer assignment should be unboxed assign
637 :    
638 :    
639 :     Fixed in 110.17
640 :     ---------------
641 :     1500. [jhr] Runtime system on Linux with glibc2
642 :     1503. [jhr] redefinition of `struct sigcontext' under red hat 6.0
643 :     1495. [Lal,jhr] 110.16 does not build cleanly on Sparc
644 :     1496. [Lal,jhr] Barnes-hut loops
645 :     1502. [jhr, Lal] compiler failes to build with small allocation space
646 :    
647 :    
648 :     Fixed in 110.18
649 :     ---------------
650 :     1509. [Lal, Leung] Division overflow is not detected properly on the sparc
651 :    
652 :    
653 :     Fixed in 110.19
654 :     ---------------
655 :     1480. [jhr] eXene unable to open display
656 :     1512. [jhr] Nested absolute indent boxes don't work in PP library
657 :    
658 :    
659 :     Fixed in 110.20
660 :     ---------------
661 :     1333. [Matthias] SML 110 CM sometimes keeps sometimes drops top level defs
662 :     1461. [Matthias] Changing directories confuses CM sharing
663 :     1474. [Matthias, dbm] Uncaught exception Compile "translate failed"
664 :     1475. [Matthias, dbm] CM uncaught exception Compile elaborate
665 :     1554. [Matthias] CM stale cache problem (check?)
666 :    
667 :    
668 :     Fixed in 110.24
669 :     ---------------
670 :     1517. [Matthias] "New CM-manager" linking bug
671 :    
672 :    
673 :     Fixed in 110.25
674 :     ---------------
675 :     1507. [Zhong,jhr,Lal] compiler does not reach a fix point
676 :     1540. [jhr] FreeBSD compilation
677 :     1547. [dbm] Treatment of definitional structure specs is bogus
678 :    
679 :    
680 :     Fixed in 110.28
681 :     ---------------
682 :     1498. [dbm] Specialized real arrays not pretty-printed correctly
683 :     1510. [dbm] Signature matching bug makes "casts" possible
684 :     1562. [Matthias] CM complains about unrecognized file extension ".fun"
685 :     1563. [Matthias] redundant pathconfig contents with multiple builds
686 :    
687 :    
688 :     Fixed in 110.28.2
689 :     -----------------
690 :     1571. [Matthias] drastic slowdown of startup on alpha
691 :    
692 :    
693 :     Fixed in 110.30
694 :     ---------------
695 :     1576. [jhr, Allen] buggy Real.!=
696 :     1579. [Matthias] Duplicate printing of syntax error messages
697 :    
698 :     Fixed in 110.31
699 :     ---------------
700 :     1514. [jhr] sockets c-library broken [FIX INCLUDED]
701 :     1582. [jhr] SysErr exception connecting to socket
702 :     1585. [jhr] getpeername in sockets [fix]
703 :    
704 :    
705 :     Fixed in 110.33
706 :     ---------------
707 :     1336. [Lal] Alarming "Approximating!" message
708 :     1482. [Zhong,Lal?] core dump on x86, Alpha, and mipseb
709 :     1549. [Zhong] reproducable segmentation violation
710 :     1591. [jhr] Duplicate entries after insert() using IntRedBlackMap, WordRedBlackMap
711 :     1597. [jhr] CML withNack bug and possible CM bug (?)
712 :    
713 :     Fixed in 110.34
714 :     ---------------
715 :     1515. [jhr] ML signal handling broken since 110.15 [FIX INCLUDED]
716 :     1614. [Lal, jhr, Matthias] signal handling bug on x86
717 :    
718 : macqueen 1338 Fixed in 110.43
719 :     ---------------
720 : macqueen 1345 417. [] cosmetic error message suggestion
721 :     675. [] prettyprinter doesn't sense System.Print.linewidth
722 : macqueen 1338 784. [dbm] unnatural type error messages (fixed earlier)
723 : macqueen 1341 801. [dbm] pretty printing problems
724 : macqueen 1345 857. [dbm] type error message points to wrong place
725 : macqueen 1338 895. [dbm] printing type unit when hidden
726 : macqueen 1341 1095. [dbm] inadaquate type error message
727 : macqueen 1339 1186. [dbm] type printing in multi-declaration (fixed earlier)
728 :     1321. [dbm] printing of datatype = datatype in signatures
729 : macqueen 1338
730 : macqueen 944 Fixes To Verify
731 :     ---------------
732 :     1302
733 :     1368
734 :     1377
735 :     1480
736 : macqueen 1338

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