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

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