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

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