Dynamic.#>の公開

[KeenS]

Dynamic の実装を読んでいたら #> が定義されているにも係らず Dynamic.smi に記載されていないことに気付きました。 #> は他では使われていないので恐らく記載漏れだと思うので公開するのはどうでしょうか。

また、型を書いているときに valueが term 型になっていることに気付きました。 dynamic 型の方が他の関数と平仄が合うのでそちらの方がいいのかなと思っています。

上記2つを実装したのが以下ですが、Pull-Requestを投げてよいでしょうか。

KeenS/smlsharp@bd1f051

[AtsushiOhori]

ご指摘ありがとうございます．公開いたします．また，ご指摘の通り，その型は
val #> : (string * 'a dyn) -> 'a dyn -> dynamic
がよろしいとおもいますので，そのようにいたします．簡単な修正なので，Pull-Requestには及びません．

対応が遅れ，失礼しました．引き続き，よろしくお願いします．

[AtsushiOhori]

公開し，main ブランチにpushしました．ドキュメントも追加が必要なので，近い内に追加します．

[KeenS]

対応ありがとうございます。