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

Annotation of /bugs/trunk/openbugs

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1338 - (view) (download)

1 : macqueen 944 415. [Andrew] late error detection in parsing
2 :     416. [dbm] equality property checking in functor parameter matching
3 :     417. [] cosmetic error message suggestion
4 :     454. [] running out of memory
5 :     592. [dbm] unhelpful error messages for record type mismatches
6 :     675. [] prettyprinter doesn't sense System.Print.linewidth
7 :     725. [] fragility of quote/antiquote implementation
8 :     730. [] reappearance of bug 705 on RS/6000
9 :     735. [dbm] bad type error message
10 :     745. [] Prettyprinter produces bad output when printing records
11 :     753. [] pretty printer prints syntactically incorrect text
12 :     774. [] aliased exceptions are pattern-matched in the wrong order
13 :     779. [Andrew] val rec syntax overly restrictive
14 :     801. [] pretty printing problems
15 :     827. [] exportML including future evaluations
16 :     852. [dbm] include merging types
17 :     854. [] excessive spilling with large let expressions
18 :     856. [zhong] unique constructors not representationally transparent
19 :     857. [dbm] type error message points to wrong place
20 :     876. [dbm] uninformative type error message
21 :     883. [Andrew] ML-Yacc can lose on multiline comments
22 :     914. [Andrew] "foo1" style names in productions in mlyacc
23 :     929. [dbm] failure of respecifying type after include
24 :     933. [Andrew] bogus message after explicit "raise Match"
25 :     934. [] Control.CG.misc4 when retargeting
26 :     939. [dbm] confusing type error message
27 :     948. [] heap images too large
28 :     958. [] Ctrl-Z under AIX 4.1
29 :     977. [] sml > "a non-tty device" can cause GC failures
30 :     1003. [] extra newline in non-exhaustive match warning
31 :     1004. [jhr] blastIn and blastOut fail on objects containing code
32 :     1017. [dbm] another hard-to-read error message
33 :     1022. [] image files grow
34 :     1030. [] string literals in presence of CM-library on Alpha
35 :     1045. [dbm] better message for missing spec in signature match
36 :     1054. [dbm] sequential withtype is broken
37 :     1058. [dbm] misleading error message
38 :     1060. [blume] modmap cleanup expensive
39 :     1081. [dbm] difficult type error message
40 :     1084. [dbm] hole in value restriction implementation (bottom type)
41 :     1086. [dbm] illegal signature decl inside structure not rejected
42 :     1095. [dbm] inadaquate type error message
43 :     1118. [jhr, Andrew] Compiler bug: 222 in prof
44 :     1119. [] excessive memory usage (same as 1131?)
45 :     1120. [] profiling on Linux
46 :     1125. [dbm] Unbound raised instead of proper error for sig inside functor
47 :     1131. [jhr] Failure to reclaim garbage (new new runtime)
48 :     1135. [Andrew, Matthias] CM compiling files that haven't changed (fixed? Matthias)
49 :     1154. [Andrew] CM insists on recompiling sources in a stable library
50 :     1163. [] Wrong match compiler warning
51 :     1165. [jhr,dbm] wrong type name printed for OS.Process.success
52 :     1168. [] Interrupt within a 'use'
53 :     1172. [dbm] error message about non-constructor in pattern needs more info
54 :     1180. [jhr] bug in blastRead, blastWrite?
55 :     1181. [dbm,Zhong] tmp argument naming in front end
56 :     1183. [Zhong, dbm] distorted abstract syntax printed in type error message
57 :     1186. [dbm] type printing in multi-declaration
58 :     1193. [Zhong] Memory leak due to ref cells
59 :     1208. [dbm] unimplemented strexp syntax
60 :     1210. [jhr, Lal] weak pointers to strings cause SML to crash
61 :     1212. [dbm] where structure when signatures differ
62 :     1220. [dbm] type definition masks datatype
63 :     1233. [Zhong?] funny printing of multiple bindings in a declaration
64 :     1242. [dbm] error recovery in open could be better
65 :     1254. [dbm] Disagreements between SML/NJ and Defn: datatype replication
66 :     1259. [dbm] Mistakenly inadmissable signature.
67 :     1261. [dbm, Appel] explicit type parameter with "val rec" not supported
68 :     1282. [dbm] sharing syntax not consistent with SML 97
69 :     1286. [dbm] Flexible records and as patterns
70 :     1287. [dbm] SML'97 scoping restrictions on local datatypes
71 :     1292. [dbm] val rec (fun) should be able to rebind constructor id
72 :     1299. [dbm,jhr] some error messages aren't being sent to stderr
73 :     1300. [dbm] type printing of datacon domain
74 :     1301. [Andrew, Lal] too big real literal yields uncaught exception BadReal
75 :     1302. [jhr] handling differing newline conventions across OSes
76 :     1306. [dbm,Zhong] Refutable patterns and generalization
77 :     1307. [?] Illegal escapes in strings not recognized
78 :     1309. [Zhong, Andrew] SML/NJ not safe for space
79 :     1310. [Andrew] ML-Yacc fails to accept double backslash strings in .grm file
80 :     1311. [dbm] odd secondary typing error after incorrect datatype decl
81 :     1314. [Lal] ml-burg loops on invalid character in input file
82 :     1319. [jhr, Andrew] Real.toManExp on Intel
83 :     1321. [dbm] printing of datatype = datatype in signatures
84 :     1323. [Zhong, Andrew] "uncaught exception RegMap" on hppa
85 :     1324. [dbm] Equality check in where type
86 :     1328. [dbm] non-legal respecifications and redeclarations
87 :     1329. [dbm] Problem with realisation in where type
88 :     1331. [jhr] eXene example code out of date
89 :     1332. [dbm] signature mistakenly rejected
90 :     1334. [dbm] problem with type checking abstype
91 :     1339. [dbm] overstrict structure consistency checking in instantiate?
92 :     1344. [jhr] Unimplemented real conversions
93 :     1346. [dbm] Compiler bug: ModuleUtil: getStr: bad entity
94 :     1348. [Riccardo?] "Out of environment space" on Windows
95 :     1349. [Lal, jhr?] segmentation faults on Linux
96 :     1351. [dbm] Datatype replication within abstypes
97 :     1355. [Lal] exportFn image size increase on alpha32x-osf1
98 :     1356. [Matthias] Inflexibility in installation and CM
99 :     1358. [dbm, Andrew] bad error message line numbers in interactive system
100 :     1360. [Zhong?] uncaught exception FPRegEA (or RegMap)
101 :     1362. [jhr?] Real.toManExp o Real.fromManExp
102 :     1366. [dbm, Zhong] opaque signatures and functor specs
103 :     1367. [jhr] "Internal error: undefined sigTbl entry for signal 2"
104 :     1368. [jhr] 1+2 = 102 in IntInf
105 :     1370. [dbm, Andrew] op keyword pedantry
106 :     1371. [jhr] signal-sysdep.h on HPUX10.01
107 :     1375. [jhr] Word31.fromString disagrees with Basis Library specification
108 :     1378. [jhr] Incorrect behaviour of String.from{C}String on nonprintable chars
109 :     1380. [jhr] Scan.[s]scanf does not allow ordinary [ character
110 :     1381. [Andrew] ml-yacc looping
111 :     1382. [Zhong?] space leak in CML
112 :     1383. [jhr] Basis Library Specification of Char.toCString and String.toCString
113 :     1387. [jhr] scanning hex numbers from strings
114 :     1388. [jhr,Andrew] SML/NJ does not follow Basis Library Spec on div, mod, quot, rem
115 :     1389. [Lal?] core dump on Sparc/Solaris
116 :     1390. [dbm] incorrect parsing of sigb sequences
117 :     1392. [dbm, Andrew] bad regions for "match nonexhaustive" messages
118 :     1394. [dbm, Andrew] "*" not allowed as record label pattern abbreviation
119 :     1395. [jhr, Lorenz] OS.FileSys.modTime fails for open file on Windows 95.
120 :     1396. [Zhong] uncaught exception ltUnbound (secondary error)
121 :     1398. [Andrew] bus error in using Compiler.Profile
122 :     1400. [dbm] Prettyprinter bug
123 :     1401. [jhr,erg] Posix.Process.waitpid_nh is buggy.
124 :     1402. [jhr,erg] Word.fmt incorrectly uses lowercase letters for hex digits.
125 :     1403. [jhr,erg] Possible bug is Posix.FileSys.pathconf
126 :     1405. [jhr,erg] Posix.TTY discrepancy with Basis Library spec
127 :     1406. [jhr,erg] STRING does not agree with Basis Library spec
128 :     1408. [jhr,erg] OrdSet.app order doesn't agree with comment
129 :     1410. [Andrew?] no comments in %header
130 :     1413. [jhr] can read from instream from process created by Unix.execute
131 :     1415. [jhr] Date.fmt raises Date on large strings
132 :     1416. [jhr] Date.fmt produces incorrect results on %j, %U, %W, and %<other>
133 :     1418. [Blume] CM.set_path is a constant function
134 :     1419. [dbm] incorrect printing of signature containing "where type"
135 :     1420. [dbm] improper printing of "multiple defs at tycon spec" warning message
136 :     1424. [dbm] inadaquate signature matching error message
137 :     1427. [jhr] End-of-file marks in Stream IO
138 :     1429. [jhr] two problems with StreamIO.setPosOut
139 :     1430. [Lorenz?] heap2exec broken
140 :     1431. [Andrew] yypos in ml-lex is off by one (or two)
141 :     1433. [dbm] eqtype u=t doesn't force eqtype [partially fixed]
142 :     1434. [dbm] bogus "Error: non-constructor applied to argument in pattern: ::"
143 :     1435. [Andrew] ML-Yacc documentation needs to be updated
144 :     1436. [Lorenz, Zhong] representation exception raised by C function
145 :     1437. [jhr] Unix.signal missing
146 :     1439. [jhr, Andrew] OS.FileSys.access raises inappropriate SysErr exception
147 :     1443. [Lal, jhr] Real.toManExp broken -- wrong exponent returned.
148 :     1444. [jhr] First Century Blues
149 :     1447. [jhr?} Real.fmt fails on large real number
150 :     1449. [Lal?] FFT benchmark gives wrong answers.
151 :     1451. [jhr, Andrew] Math.sin(large number) is wrong
152 :     1452. [jhr, Andrew] Math.sinh(small number)=0.0
153 :     1453. [dbm, Zhong] Compiler bug: LtyExtern: incorrect lambda types in lt_select
154 :     1454. [dbm, Wadler] Unexpected force of lazy suspension in pattern match
155 :     1456. [jhr] Int.sameSign
156 :     1460. [Lorenz, Riccardo] CM.stabilize(') fails when calling BinIO under Win32
157 :     1462. [jhr, Emden] Error in "g" format handling
158 :     1464. [dbm] unnecessary instantiation of local nongeneralized types
159 :     1465. [dbm] Type variables not as general as Definition
160 :     1466. [jhr] GC signal never sent
161 :     1467. [Zhong] Looping functions fail in FLINT
162 :     1468. [Lorenz, Riccardo] ccalls crashes on Cfunction(fn _ => Cvoid)
163 :     1470. [dbm, Zhong] compilation blowup (in FLINT?)
164 :     1472. [dbm] datatype involving real are treated as equality types
165 :     1473. [jhr] weak pointer to a string causes core dump
166 :     1476. [jhr] Missing operation in WORD
167 :     1478. [Lorenz, Riccardo] Fatal Error win32:fault_handler
168 :     1479. [jhr] failure to run under IRIX 6.5
169 :     1481. [dbm, Zhong] Error: Compiler bug: EntityEnv: lookEP.1
170 :     1483. [dbm] confusing type error messages (literals, IntInf)
171 :     1484. [Zhong] reorder optimization disabled by FLINT
172 :     1485. [Zhong] quadratic(?) blowup compiling long sequence of val bindings
173 :     1486. [jhr, Andrew] Math.pow gives questionable results
174 :     1487. [dbm, Andrew] parentheses not permitted in val rec binding
175 :     1488. [jhr] Array.fromList of empty list generates bogus "empty" array
176 :     1489. [dbm] bad type of equality function defined for abstype
177 :     1490. [jhr] double error message for bad string constant
178 :     1491. [Zhong] Polymorphic Computation Too Slow
179 :     1492. [Zhong] Compile-time performance problem with long list value
180 :     1493. [Riccardo] NT Installer messes up PATH in the registrry
181 :     1494. [dbm] rebound datatype prints incorrectly
182 :     1497. [jhr] bug in IntInf.scan StringCvt.HEX
183 :     1499. [dbm] Uncaught exception during compilation of bad signature
184 :     1501. [jhr] Memory leak
185 :     1504. [Lorenz, Riccardo] problem compiling smlnj-c on linux (red hat 6.0)
186 :     1505. [dbm] opaque functor signature match
187 :     1506. [jhr] Uncaught Overflow/Div exceptions not printed correctly at top level
188 :     1508. [?] problems with profiler
189 :     1511. [dbm] Compiler problem "tyvarType: CONty"
190 :     1518. [jhr] Posix.IO.FLock.flock type disagrees with basis library spec
191 :     1519. [Lal, Allen] Compiler bug: HppaCG.incOffset - spill area too small [NO REPRO]
192 :     1520. [dbm] Output of type variables
193 :     1521. [?] random crashes on AMD K6-III [NO REPRO]
194 :     1522. [dbm] Replication of replicated datatype - not allowed
195 :     1523. [Lorenz] installing SML/NJ-C Foreign Function Interface library
196 :     1524. Bus Error
197 :     1526. [jhr] double-quote representation in strings and characters
198 :     1527. [jhr] assertion failure and unknown tag
199 :     1528. [Zhong] Compiler bug: LtyKernel: unexpected TC_FIX freevars in tc_aux
200 :     1529. [jhr] The sign of ~0.0
201 :     1531. [jhr] Basis library discrepancies in IntInf and POSIX_FLAGS
202 :     1532. [] Date:DATE missing fromString [FIX]
203 :     1533. [jhr] installation failure on Solaris 2.7
204 :     1534. [Zhong, dbm, ?] polymorphic equality for concrete eqtypes ...
205 :     1535. [] Large ml-yacc generated file fails to compile on HP-UX
206 :     1537. [Zhong, Stefan, Lal, Allen] compiler blowup with large andalso expression
207 :     1538. [Leung] mlyacc generates bad code
208 :     1539. [jhr, Zhong] Array equality uses polyEqual
209 :     1541. [dbm] Array2.array equality type incorrect
210 :     1542. [dbm] No syntax error when the equals identifier ("=") is re-bound
211 :     1543. [jhr] DivZero exception in FreeBSD-current [Fix Included]
212 :     1548. [dbm] open and signature matching with polymorphic type constructors
213 :     1551. [?] unexpected behavior with bogus escape sequence in a string
214 :     1552. [dbm] Nonexaustive match failure during compilation
215 :     1553. [dbm] "dependency cycle in instantiate" insufficiently informative
216 :     1557. [jhr] OS.Path.toString raises no exception InvalidArc; InvalidArc not implemented
217 :     1560. [dbm] Compiler bug: Reconstruct: rator in profiling mode
218 :     1563. [Matthias] redundant pathconfig contents with multiple builds
219 :     1564. [dbm] signature prettyprinting not correct
220 :     1565. [dbm] Overflow exception while loading IntInf
221 :     1567. [dbm,Zhong] Error: Compiler bug: InlInfo: Wrong field in INL_STR !
222 :     1568. [jhr] installing under digital unix (tru64) 5.0
223 :     1569. [jhr] segfault in BuildLiterals
224 :     1570. [Zhong, Stefan] RecoverLty exception
225 :     1573. [jhr, dbm] ARRAY array tycon should be an eqtype
226 :     1574. [jhr?] Segmentation fault in gc, alpha dunix only
227 :     1575. [Riccardo?] Bad response to EOF on standard input on Windows 98
228 :     1578. [dbm] invalid datatype replication causes compiler bug
229 :     1580. [dbm,Zhong] uncaught exception ltUnbound
230 :     1581. [?] Problem with constant strings in ML-Lex
231 :     1583. [dbm] datatype foo = datatype bar raises Unbound exception
232 :     1584. [dbm] Premature Overloading Resolution
233 :     1587. [jhr, Lal?] Problem with Real.rem
234 :     1588. [Riccardo?] BinIO.inputAll raises Subscript (Windows)
235 :     1589. [jhr] incorrect implementation for Posix.TTY
236 :     1590. [Matthias] compilation manager reads tool files from wrong directory
237 :     1592. [?] Math.pow is not accurate
238 :     1593. [?] Pattern matching on word constants causes overflow in the compiler
239 :     1594. [jhr] linker errors on FreeBSD 4.x
240 :     1595. [dbm] suspicious signatures printed when using datatype replication
241 :     1596. [Zhong, dbm] TransTypes: unexpected FORMAL kind in tycTyc-h
242 :     1598. [?] IntInf broken on Windows
243 :     1599. [dbm] Nonexhaustive binding failure during compilation of incorrect program
244 :     1600. [?] Word literals are not printed correctly in error messages
245 :     1601. [?] SML/NJ terminates with `unexpected fault, signal = 11'
246 :     1602. [dbm] Nonexhaustive match failure during compilation (secondary)
247 :     1603. [dbm] Unbound exception from recursive datatype replication
248 :     1604. [dbm] suboptimal type error message
249 :     1605. [dbm] out-of-date example of ML-lex in lexgen.{doc,tex}
250 :     1606. [jhr] absolute paths in .run-sml prevent moving installation
251 :     1607. [?] inaccurate transcendentals (Math.sin)
252 :     1608. [dbm] where clauses in sig causes compiler bug: unexpected DATATYPE 354
253 :     1610. [dbm,jhr] parsing OR-patterns with char literals
254 :     1612. [Zhong] poor code generation for nested loops
255 :     1613. [?] Fatal error -- unexpected fault (on x86-linux, sparc-solaris)

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