OCamlでConfigモジュール問題

くまぎ @kumagi

標準ライブラリに意図せず Config という名前を使われたせいで既存のコードが走らなくなっていると思われる事態に直面している。pythonの__hoge__ も神経質だが、僕の理解が正しければOCamlの名前空間の汚し方豪快すぎでは。

くまぎ @kumagi

既存ユーザーは自分の目的のためにガンガン最新のライブラリ・言語機能を使う→パッケージシステムは敷居を下げるためにapt-getとかyumで"古い"バージョンの物しかユーザの目に触れないように腐心する→そこらに転がっているコード片が軽くインストールした環境で走らない→関数型むずい

おしいれのぼうけん @osiire

@kumagi OCamlの標準ライブラリにConfigなんてモジュールありましたっけ？それできたらうちの会社のコードもコンフリクトするｗ

くまぎ @kumagi

@osiire lib/ocaml/compiler-libs/ocamlcommon.cmxa の中でConfigって名前使ってるからダメ、と怒られました。commonって名前が入ってるぐらいなので標準じゃないかと思うんですが僕の理解が間違ってるかも。

Yoshihiro Imai @yoshihiro503

@kumagi ocamltterでも昔Configというモジュールありましたが、 OConfig.という風にリネームしてます。

おしいれのぼうけん @osiire

@kumagi あ、compiler-libsね。それはコンパイラ改造用の特殊ツールですが、何に使ってます？特殊なコンパイラを作るのでなければocamlcommon.cmxaはリンクしなくてもいいと思います。

くまぎ @kumagi

@osiire プロジェクト全体を grep "ocamlcommon" * -rI しても出てこないというホラー…。誰が使っているのかC++のエラーのように出てこない…？

くまぎ @kumagi

@yoshihiro503 OConfig、なら衝突しにくそうでいいですね。

おしいれのぼうけん @osiire

@kumagi もしかしてmktopを使ってますかね。4.0以降mktopがcompiler-libsを使うようになったらしく、そこ経由で入っている可能性があります。

くまぎ @kumagi

@osiire それは使ってないです。ううむppx_derivingだろうか…

くまぎ @kumagi

因みにさっきの問題を解決する策はOPAMのバージョンを上げる、という物だった。なんで解決したのか不可解過ぎてQiitaにも書けそうにない感。

Yoshihiro Imai @yoshihiro503

@kumagi Warning 31 も出ないですか？

おしいれのぼうけん @osiire

@kumagi ppxは関係ないような気が。あと「既存のコードが走らなくなっていると思われる事態」というのが詳細分かりませんが、もしConfigモジュールが競合していてもシャドウイングされるだけで特に動作がおかしくなるとは思えない感じです。

くまぎ @kumagi

@osiire なぬ…そういうの許されるんですね…

くまぎ @kumagi

@yoshihiro503 Warning出なかったです。

Jun Furuse 🐫🌴 @camloeba

@osiire @kumagi ocamlcommon とかを使っているのではないでしょうか。よくある -for-pack 案件です

おしいれのぼうけん @osiire

@kumagi opam経由で利用していた何かのライブラリにcompiler-libsを使わないという変更が入ったんですかね。謎。

くまぎ @kumagi

@osiire 地雷っぽいので誰かが踏んで直したのかも知れないです。opamのバージョンが変わると入れれるライブラリのバージョンが変わるのも不思議ですが…。

Jun Furuse 🐫🌴 @camloeba

@kumagi @osiire opam 1.2 しか理解できない opam ファイルは当然 1.1 には無視される

おしいれのぼうけん @osiire

@kumagi 確かにopam upgrade相当の事をしない限りライブラリは変わりませんよね。opamが余計な依存を入れていたのかな。参考までに問題があったopamのバージョンを教えてもらってもいいですか？

くまぎ @kumagi

@camloeba @osiire opam1.2で入るppx_derivingとopam1.1で入るppx_derivingでバージョンが大幅に違う…。

くまぎ @kumagi

@osiire 1.1だと動かなくて1.2なら動きました。かなり大きな差があるんですね…。

おしいれのぼうけん @osiire

@kumagi でも元々opam 1.1でコンパイルして動いていたはずですよね。もしビルドスクリプトにopam upgradeとかが入っているなら、危険なので外した方がいいかも。

くまぎ @kumagi

@osiire opam upgradeは入れてなかったのですが、opam install foo bar 的な感じに書いておいてこれで動くと思っていたものが、別のまっさらな環境でopam installしてひどい目に遭ったというやつでこれ解決するにはbundler的なのが必要…

Jun Furuse 🐫🌴 @camloeba

@kumagi @osiire ポート経験ありますが、思ったよりキツくないはず