[MLton-commit] [MLton/mlton] c3fa16: Hide type equality of mono and poly Word8.word arr...

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

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: c3fa1633c64214bddaf02389e9090d363f2e3209
      https://github.com/MLton/mlton/commit/c3fa1633c64214bddaf02389e9090d363f2e3209
  Author: Matthew Fluet <mat...@gm...>
  Date:   2015-06-10 (Wed, 10 Jun 2015)

  Changed paths:
    M basis-library/arrays-and-vectors/mono-array.fun
    M basis-library/arrays-and-vectors/mono-array2.fun
    M basis-library/arrays-and-vectors/mono-array2.sig
    M basis-library/arrays-and-vectors/mono-vector-slice.sig
    M basis-library/arrays-and-vectors/mono-vector.fun
    M basis-library/arrays-and-vectors/mono-vector.sig
    M basis-library/arrays-and-vectors/mono.sml
    M basis-library/net/socket.sml

  Log Message:
  -----------
  Hide type equality of mono and poly Word8.word arrays and vectors.

Fixes MLton/mlton#45.


  Commit: d9c2bb7fadb70835978b6e5668c946719d7fad94
      https://github.com/MLton/mlton/commit/d9c2bb7fadb70835978b6e5668c946719d7fad94
  Author: Matthew Fluet <mat...@gm...>
  Date:   2015-06-10 (Wed, 10 Jun 2015)

  Changed paths:
    M basis-library/arrays-and-vectors/sequence0.sml

  Log Message:
  -----------
  Hide equality status of poly (and mono) vector and array slices.

Fixes MLton/mlton#47.


  Commit: 4da1e468a6d4a59f93e492a605c339bb77e66656
      https://github.com/MLton/mlton/commit/4da1e468a6d4a59f93e492a605c339bb77e66656
  Author: Matthew Fluet <mat...@gm...>
  Date:   2015-06-10 (Wed, 10 Jun 2015)

  Changed paths:
    M doc/changelog

  Log Message:
  -----------
  Document changes to equality status and type equalities in Basis Library.


  Commit: a7ed9cbf10ac0aff79c781f658df01a78027cc06
      https://github.com/MLton/mlton/commit/a7ed9cbf10ac0aff79c781f658df01a78027cc06
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2015-06-11 (Thu, 11 Jun 2015)

  Changed paths:
    M basis-library/arrays-and-vectors/mono-array.fun
    M basis-library/arrays-and-vectors/mono-array2.fun
    M basis-library/arrays-and-vectors/mono-array2.sig
    M basis-library/arrays-and-vectors/mono-vector-slice.sig
    M basis-library/arrays-and-vectors/mono-vector.fun
    M basis-library/arrays-and-vectors/mono-vector.sig
    M basis-library/arrays-and-vectors/mono.sml
    M basis-library/arrays-and-vectors/sequence0.sml
    M basis-library/net/socket.sml
    M doc/changelog

  Log Message:
  -----------
  Merge pull request #110 from MatthewFluet/basis-library-types

Changes to type equalities and equality status in Basis Library.

* Hide type equality of mono and poly Word8.word arrays and vectors;
  fixes MLton/mlton#45.
* Hide equality status of poly (and mono) vector and array slices;
  fixes MLton/mlton#47.


Compare: https://github.com/MLton/mlton/compare/f2d45f9258ba...a7ed9cbf10ac