gistfile1.txt

Resolving dependencies...
[1 of 1] Compiling Main             ( /var/folders/kf/wlmqhdfs665cq2t28q42zx6m0000gn/T/idris-0.9.14.3-20303/idris-0.9.14.3/dist/setup/setup.hs, /var/folders/kf/wlmqhdfs665cq2t28q42zx6m0000gn/T/idris-0.9.1
4.3-20303/idris-0.9.14.3/dist/setup/Main.o )
Linking /var/folders/kf/wlmqhdfs665cq2t28q42zx6m0000gn/T/idris-0.9.14.3-20303/idris-0.9.14.3/dist/setup/setup ...
Configuring idris-0.9.14.3...
rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o mini-gmp.o idris_stdfgn.o idris_net.o libidris_rts.a
fatal: Not a git repository (or any of the parent directories): .git
Generating dist/build/autogen/Version_idris.hs for release
Building idris-0.9.14.3...
Preprocessing library idris-0.9.14.3...
...
[96 of 98] Compiling Idris.CmdOptions ( src/Idris/CmdOptions.hs, dist/build/Idris/CmdOptions.o )

src/Idris/CmdOptions.hs:67:57:
    Couldn't match type `Char' with `[Char]'
    Expected type: ReadM [String]
      Actual type: ReadM String
    In the second argument of `fmap . fmap', namely `str'
    In the first argument of `argument', namely
      `((fmap . fmap) Filename str)'
    In the second argument of `($)', namely
      `argument ((fmap . fmap) Filename str) (metavar "FILES")'

src/Idris/CmdOptions.hs:68:44:
    Couldn't match type `[Opt]' with `Opt'
    Expected type: [Opt]
      Actual type: [[Opt]]
    In the second argument of `(++)', namely `files'
    In the expression: (flags ++ files)
    In the command: A parseVersion >>> A helper -< (flags ++ files)
Failed to install idris-0.9.14.3
cabal: Error: some packages failed to install:
idris-0.9.14.3 failed during the building phase. The exception was:
ExitFailure 1