dhall で型などを別ファイル(例えば `types/hoge_type.dh...

dhall で型などを別ファイル(例えば types/hoge_type.dhall )で定義して参照すると相対パスになるから cat tmp/hoge.dhall | dhall と実行するとうまくいかないんですけど良い方法ありますか?

Replies

dhall で型などを別ファイル(例えば types/hoge_type.dhall )で定義して参照すると相対パスになるから cat tmp/hoge.dhall | dhall と実行するとうまくいかないんですけど良い方法ありますか?

自己解決 dhall < tmp/hoge.dhall ってすればいいのか

うそ、治ってないw

dhallおもしろい!

やっと見つけた!
https://github.com/dhall-lang/dhall-lang/issues/68

dhall <<< ./tmp/hoge.dhall でいいみたい
( ./ をつけないとダメ )