[MLton-commit] [MLton/mlton] 14ff4d: Add `bool-scan.sml` test demonstrating minor bugs ...

['Matthew F. v. MLton-c. <mlt...@ml...>]

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 14ff4d83ed8f3d1edfa972758ab767caa673a81f
      https://github.com/MLton/mlton/commit/14ff4d83ed8f3d1edfa972758ab767caa673a81f
  Author: Matthew Fluet <mat...@gm...>
  Date:   2026-09-01 (Tue, 01 Sep 2026)

  Changed paths:
    A regression/bool-scan.ok
    A regression/bool-scan.sml

  Log Message:
  -----------
  Add `bool-scan.sml` test demonstrating minor bugs with `Bool.scan`


  Commit: 8e34e86a4bf5a1e0c4a2f808791e98568962d3f2
      https://github.com/MLton/mlton/commit/8e34e86a4bf5a1e0c4a2f808791e98568962d3f2
  Author: Matthew Fluet <mat...@gm...>
  Date:   2026-09-01 (Tue, 01 Sep 2026)

  Changed paths:
    M CHANGELOG.adoc
    M basis-library/build/sources.mlb
    M basis-library/general/bool.sml
    M basis-library/text/string-cvt.sig
    M basis-library/text/string-cvt.sml

  Log Message:
  -----------
  Fix minor `Bool.scan` bugs.

`Bool.scan` should skip leading whitespace.

`Bool.scan` should be case insensitive.

Thanks to Skyb0rg007 (Skye Soss) for the bug report.

Closes MLton/mlton#648


  Commit: a65f71fdb8751643242844e449e2480df70b6e82
      https://github.com/MLton/mlton/commit/a65f71fdb8751643242844e449e2480df70b6e82
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2026-09-01 (Tue, 01 Sep 2026)

  Changed paths:
    M CHANGELOG.adoc
    M basis-library/build/sources.mlb
    M basis-library/general/bool.sml
    M basis-library/text/string-cvt.sig
    M basis-library/text/string-cvt.sml
    A regression/bool-scan.ok
    A regression/bool-scan.sml

  Log Message:
  -----------
  Merge pull request #650 from MatthewFluet/bool-scan-bug

Fix minor `Bool.scan` bugs


Compare: https://github.com/MLton/mlton/compare/e44f16ca8cbe...a65f71fdb875

To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications

To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml....