問題

Main.idr

import Effect.Default

main : IO ()
main = do
  printLn $ the Int default
  printLn $ the Char default
  printLn $ the Bool default
  printLn $ the String default
  printLn $ the (List String) default

$ idris -o Main Main.idr
Can't find import Effect/Default

解決

　-pでeffectsを指定してあげる。

$ idris -o Main Main.idr -p effects
$ ./Main
0
'\NUL'
False
""
[]

　もちろんEffect.Barモジュール以外の時もこれを念頭に置いておくと便利。

参考ページ

• Can’t find import Effect/StdIO - Issue #1524 - idris-lang/Idris-dev - GitHub

• Tweet
• 

この記事はこちらから修正リクエストを送ることができます。
IdrisでEffectモジュールなどを使おうとしたときに出るCan't find import Effect/Barの対処 - github
ゴミ箱ボタンの左にある、鉛筆ボタンを押してね！