*** Call for participation, please distribute. ***
EPIT'2015 (http://www.epit2015.website)
Spring School in Theoretical Computer Science
Mechanizing Proofs of Programs in Coq
May 25 to May 29, 2015, Frejus, France
* Presentation
The
[apologies for any cross-posting]
*** SUBMISSIONS ARE NOW OPEN ***
Call for Papers
---
13th International Conference on
Logic Programming and
Thomas Miedema wrote
It was all due to a missing -split-objs in Jeremy's 7.8 build.
For the record, this appears to have been a bug in the 7.8 build system, as
SplitObjs is supposed to be on by default. I only noticed when building
7.10, where the default was correct, and didn't understand why
The fix in github seems to work properly.
I see what was the problem now. Are going to switch back to the derived
instance for the new db and have a conversion function from old to new?
On Tue, Apr 7, 2015 at 10:31 AM, Nicola Squartini tens...@gmail.com wrote:
Thanks!
Luckily I found the old
Hi All,
Since upgrading to GHC 7.10, I am unable to build (e.g. via a straight
cabal install) pandoc, and I note it's current absence from the
arch-haskell repo.
I depend on pandoc in a major way, and I was wondering if anybody got it
to work? I have myself fixed and submitted pull requests for
On Tue, Apr 07, 2015 at 07:23:16PM +0200, Dawid Loubser wrote:
Hi All,
Since upgrading to GHC 7.10, I am unable to build (e.g. via a straight
cabal install) pandoc, and I note it's current absence from the
arch-haskell repo.
I depend on pandoc in a major way, and I was wondering if anybody got
Well, I have pandoc working again, having manually checked out and
installed pandoc-templates. With it working, I imagine it's only a
matter of time before an arch-haskell release :-)
kind regards,
Dawid
On 07/04/2015 20:13, Dawid Loubser wrote:
Thanks - I built from git, and it compiles, but
On Mon, Apr 6, 2015 at 1:46 PM, Jeremy volderm...@hotmail.com wrote:
Edward Z. Yang wrote
runghc itself is just a little shell script which calls GHC proper
with the -f flag, so I suppose the build system was just not set
up to not create this link in that case.
I have a binary called