Re: [PATCH] gnu: Add Idris, the dependently-typed language.

[Eric Bavier]

On 2015-10-22 09:45, Paul van der Walt wrote:
> Hi Eric,
>
> On 2015-10-22 at 10:47, quoth address@hidden:
> > With our conventions, the subject line should be just "gnu: Add Idris"
>
> Awww, no embellishments allowed *sniff*?  :)
>
> Fixed though.

:)

> > Try adding "--allow-newer=vector" to #:configure-flags.
>
> I tried, this option does not exist.

Interesting.  Thanks for trying, I honestly haven't used the flag 
before, but I saw it in the Cabal documentation, so thought I make the 
suggestion.

--
`~Eric