[MLton-commit] [MLton/mlton] 4848d5: Restore, but deprecate, `-drop-pass` compile-time ...

[GitHub <no...@gi...>]

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 4848d5a8c004364f8ad49b760938cd120715c6ec
      https://github.com/MLton/mlton/commit/4848d5a8c004364f8ad49b760938cd120715c6ec
  Author: Matthew Fluet <mat...@gm...>
  Date:   2018-01-23 (Tue, 23 Jan 2018)

  Changed paths:
    M CHANGELOG.adoc
    M mlton/main/main.fun

  Log Message:
  -----------
  Restore, but deprecate, `-drop-pass` compile-time expert option.

Some projects use `-drop-pass` to avoid performance problems with DeepFlatten
and RefFlatten; see https://github.com/search?p=1&q=%22-drop-pass%22&type=Code.
Restoring `-drop-pass` avoids unnecessarily breaking these projects.


  Commit: bb8c45ed7bed7b8edb2528c4c9ec5fe5822ac81c
      https://github.com/MLton/mlton/commit/bb8c45ed7bed7b8edb2528c4c9ec5fe5822ac81c
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2018-01-23 (Tue, 23 Jan 2018)

  Changed paths:
    M CHANGELOG.adoc
    M mlton/main/main.fun

  Log Message:
  -----------
  Merge pull request #235 from MatthewFluet/restore-drop-pass-option

Restore, but deprecate, `-drop-pass` compile-time expert option.


Compare: https://github.com/MLton/mlton/compare/ef945ce65d1e...bb8c45ed7bed