Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /tests/trunk/bugs/110.82r4591
ViewVC logotype

View of /tests/trunk/bugs/110.82r4591

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4635 - (download) (annotate)
Wed May 30 15:47:44 2018 UTC (16 months, 2 weeks ago) by jhr
File size: 6017 byte(s)
update summary
This is a status report of running the "bugs" tests using revision 4591
of the compiler/basis, which is a post-110.82/pre-110.83 version.

** Updated for r4634 **

The report is broken into two groups: first the tests that "failed".  Most of
these are because of changes in the error messages, etc.  The second group
are the "openbugs".  Each test has been marked as "OK", "BUG", "FIXED" (for
open bugs), or "CHECK" (for tests where the status needs more investigation).

Tests that "passed" are omitted from the lists


### Test failures

bug0423.sml 	   ...  **** fail
  -- printing of `Vector` structure's signature as `VECTOR_2015?`

### Open Bugs

bug0027.sml 	   ...  **** fail
  -- printing of Absyn in error messages does not respect fixity
     BUG 204

bug0071.sml 	   ...  **** fail
  -- weird `use` semantics
     CHECK

bug0588.sml 	   ...  **** fail
  -- compiler bug in translate
     BUG 200

bug0636.sml 	   ...  **** fail
  -- printing integer values as abstract values in REPL
     BUG 205

bug1250.sml 	   ...  **** fail
  -- compiler bug: Bind exception in pretty printing (this bug is likely
     the same as #190 in the new bugs database)
     BUG 190, 199

bug1261.sml 	   ...  openbug (unchanged)
  -- bug in parser with combination of type variable bindings and `rec`
     BUG 206 (FIXED for 110.83)

bug1300.sml 	   ...  openbug (unchanged)
  -- printing of builtin types (e.g., `Int32.int` as `?.int32`); this bug is
     the same as bug 1399.1
     BUG 207

bug1319.sml 	   ...  openbug (unchanged)
  -- bug with implementation of `Real.toManExp`
     BUG 208

bug1324.sml 	   ...  openbug (unchanged)
  -- bug with interaction between `eqtype` and `where type`
     BUG 210

bug1328.2.sml 	   ...  openbug (unchanged)
  -- redefinition of special identifiers (`it`, `true`, and `false`)
     BUG 209

bug1329.sml 	   ...  openbug (unchanged)
  -- problem with `where type`
     BUG 211

bug1351.sml 	   ...  openbug (unchanged)
  -- original bug is fixed, but there is a problem with the constructor `B` being
     made visible and the abstract type `A` incorrectly supports equality (see
     pages 20 & 23 of Definition).
     BUG 212

bug1366.1.sml 	   ...  openbug (unchanged)
  -- potential issue with higher-order functors and opaque signature matching
     CHECK

bug1375.1.sml 	   ...  openbug (unchanged)
  -- `Word.fromString` incorrectly handles `0wa`; returns 10 instead of 0
     FIXED

bug1383.1.sml 	   ...  openbug (unchanged)
  -- incorrect handling of escape sequences in `Char.toCString`.
     FIXED

bug1388.1.sml 	   ...  **** possible bug fix
  -- runtime bug: dividing minInt by ~1 produces `Div` exception instead of `Overflow`
     Same as bug 1509
     BUG 213

bug1390.1.sml 	   ...  openbug (unchanged)
  -- the original bug was "incorrect parsing of sigb sequences", but it appears to
     have been fixed by forbidding the use of `and` to connect signature declarations.
     CHECK

bug1394.1.sml 	   ...  openbug (unchanged)
  -- the original bug is fixed, but there is some ambiguity w.r.t. when derived
     forms should be expanded vs. when fixity is determined.
     CHECK

bug1399.1.sml 	   ...  **** fail
  -- printing of builtin types (e.g., `Int32.int` as `?.int32`)
     BUG 207

bug1400.1.sml 	   ...  openbug (unchanged)
  -- internal error in pretty printer
     BUG 214

bug1401.1.sml 	   ...  openbug (unchanged)
  -- possible runtime system bug in `Posix.Process.waitpid_nh`

bug1413.1.sml 	   ...  openbug (unchanged)
  -- runtime system issue with Unix.execute and closing streams

bug1419.1.sml 	   ...  openbug (unchanged)
  -- printing of signature does not reflect the actual signature

bug1433.2.sml 	   ...  openbug (unchanged)
  -- eqtype and wheretype clash (may be related to bug1329)

bug1434.1.sml 	   ...  openbug (unchanged)
  -- `open` of unbound structure breaks environment

bug1443.1.sml 	   ...  openbug (unchanged)
  -- bug with implementation of `Real.toManExp` (also see bug1319)
     BUG 208

bug1444.1.sml 	   ...  openbug (unchanged)
  -- `Date.toString` is missing leading `0` on day of month when it is less
     than 10.  The fix is to switch from using the `asctime` function to
     using `Date.fmt` as specified in the Basis Library specification.
     FIXED

bug1447.1.sml 	   ...  openbug (unchanged)
  -- bug in Real.fmt; a spurious `.1` is added when converting round real
     numbers above 91827364509181.0 to a string.

bug1451.1.sml 	   ...  **** possible bug fix
  -- Math.sin on very large arguments (see http://www.netlib.org/fdlibm/ for
     possible solution)

bug1452.1.sml 	   ...  openbug (unchanged)
  -- Math.sinh on very small arguments (see http://www.netlib.org/fdlibm/ for
     possible solution)

bug1472.1.sml 	   ...  openbug (unchanged)
  -- datatype involving real is treated as an equality type

bug1486.1.sml 	   ...  openbug (unchanged)
  -- `Math.pow` gives non-integer results on integer arguments; this is the same
     as bug #109 in the new bug database (see http://www.netlib.org/fdlibm/ for
     possible solution)

bug1487.1.sml 	   ...  openbug (unchanged)
  -- parentheses not permitted in `val rec` binding
     FIXED

bug1494.1.sml 	   ...  openbug (unchanged)
  -- pretty printing rebound datatype in REPL
     The original bug is fixed, but should it print as "datatype foo = datatype bar"?
     CHECK

bug1509.1.sml 	   ...  openbug (unchanged)
  -- same as bug1388
     BUG 213

bug1541.1.sml 	   ...  **** possible bug fix
  -- `Array2.array` should always be an equality type (like `Array.array` and `ref`).

bug1551.1.sml 	   ...  openbug (unchanged)
  -- invalid escape sequence in string/character literal is reported as an unclosed
     string.
     FIXED

bug1573.1.sml 	   ...  **** possible bug fix
  -- the `ARRAY` signature does not reflect that `array` is an equality type.
     This is more a weakness in the SML language than a bug.

bug1587.1.sml 	   ...  openbug (unchanged)
  -- bug in `Real.rem` on whole numbers (bug is probably in `Real.mod`)

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