|
From: | Eric Bavier |
Subject: | Re: [PATCH] gnu: Add Idris, the dependently-typed language. |
Date: | Thu, 22 Oct 2015 12:02:09 -0500 |
User-agent: | Roundcube Webmail/1.0.6 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |