free-theorems-static-webui

Memo

  • GHC-8.6.5, GHC-8.8.1 では動かなかった

インストール

GHC-8.4.4 で動作確認を行った

λ git clone https://github.com/nomeata/free-theorems-static-webui.git
λ cd free-theorems-static-webui
λ cabal build -w ghc-8.4.4 --ghc-options="-threaded"
λ λ cabal exec free-theorems-static-webui -w ghc-8.4.4

スクリーンショット

トラブルシューティング

  • -threaded オプションが必要っぽい？

λ cabal run -w ghc-8.4.4
...
clang: warning: argument unused during compilation: '-nopie' [-Wunused-command-line-argument]
clang: warning: argument unused during compilation: '-nopie' [-Wunused-command-line-argument]
free-theorems-static-webui: user error (RTS doesn't support multiple OS threads (use ghc -threaded when linking))

参考リソース

Previousap-reflectNext[WIP] graphmod

Last updated