The asdf-idris's discuss from asdf-community

asdf-idris's Issues

idris2?

https://github.com/idris-lang/Idris2

Would idris2 be a separate asdf-plugin ?

Dependency Dashboard

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

This repository currently has no open or pending branches.

Detected dependencies

None detected

Check this box to trigger a request for Renovate to run again on this repository

Idris shows "Can't find import Builtins/Prelude"

$ asdf install idris 1.1.1
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   339  100   339    0     0    729      0 --:--:-- --:--:-- --:--:--   730
100 69.0M  100 69.0M    0     0  2108k      0  0:00:33  0:00:33 --:--:-- 3197k
694129 blocks

$ idris
Can't find import Builtins
Can't find import Prelude
     ____    __     _
    /  _/___/ /____(_)____
    / // __  / ___/ / ___/     Version 1.1.1-git:5e0301c
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/
 /___/\__,_/_/  /_/____/       Type :? for help

Idris is free software with ABSOLUTELY NO WARRANTY.
For details type :warranty.

Cannot compile hello.idr from tutorial neither.

$ idris hello.idr -o hello
Can't find import Builtins
Can't find import Prelude
Can't find import Prelude

I am totally new to Idris so no clue around. Tell me if you need more info.

Eventually I just installed from homebrew and it just worked.

$ brew install idris
==> Downloading https://homebrew.bintray.com/bottles/idris-1.1.1.sierra.bottle.tar.gz
######################################################################## 100.0%
==> Pouring idris-1.1.1.sierra.bottle.tar.gz
🍺  /usr/local/Cellar/idris/1.1.1: 455 files, 228.6MB

$ idris
     ____    __     _
    /  _/___/ /____(_)____
    / // __  / ___/ / ___/     Version 1.1.1
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/
 /___/\__,_/_/  /_/____/       Type :? for help

Idris is free software with ABSOLUTELY NO WARRANTY.
For details type :warranty.
Idris>
Interrupt
Idris>
Bye bye

$ idris hello.idr -o hello

$ ./hello
Hello World!

Recommend Projects