Re: Continuous Integration and Cross Compilation

2014-06-20 Thread William Knop
Hi Pali and all, Sorry for the delayed replies; a bunch of things came up and I probably won’t be able to respond properly for two days or so. I am very interested in progressing with this as soon as I can. Many apologies! Will On Jun 20, 2014, at 6:15 AM, Páli Gábor János wrote: > Hello Wi

Re: CmmLint error when doing safe ccall from cmm

2014-06-20 Thread Yuras Shumovich
Simon, Sorry if I'm too stupid, but do you mean we only support 64-bit results from "prim" call? But I'm using TO_W_ macro to convert the result to 64-bit value before returning from cmm function. Or you mean result from "ccall" call? nativeGen/X86/CodeGen.hs:genCCall64 definitely supports that. A

Re: clang warnings

2014-06-20 Thread 山本和彦
Hi Richard, > Would this fix #9047? Yay! I believe so. But currently "validate" itself fails: for i in driver/ghc-usage.txt driver/ghci-usage.txt includes/dist-derivedconsta nts/header/platformConstants settings; do case $i in *.a) /usr/bin/install -c -m 644 $i "/Users/kazu/work/ghc/b

Re: CmmLint error when doing safe ccall from cmm

2014-06-20 Thread Simon Marlow
On 20/06/14 15:03, Yuras Shumovich wrote: Hello, I'm trying to do safe ccall from cmm (see below for the code). It seems to work, but -dcmm-lint is not satisfied: /opt/ghc-7.8.2/bin/ghc --make -o test hs.hs cmm.cmm c.c -dcmm-lint -fforce-recomp Cmm lint error: in basic block c4 in assi

Re: Uniquable RdrName instance

2014-06-20 Thread Simon Marlow
On 17/06/14 20:53, Simon Peyton Jones wrote: I would require a lot of convincing that we wanted Uniques for RdrNames. I seriously doubt that, once the dust has settled, you'll need a finite map indexed by RdrNames. But even if you do, you could use a TrieMap-like structure. I must be missi

Pruning GADT case alternatives with uninhabitable coercion parameters

2014-06-20 Thread Conal Elliott
I'm looking for tips on pruning away impossible branches in `case` expressions on GADTs, due to uninhabited coercion parameter types. Here's a simple example (rendered by HERMIT) from a type-specializion of the Foldable instance a GADT for perfect leaf trees in which the tree depth is part of the

Re: clang warnings

2014-06-20 Thread Richard Eisenberg
Would this fix #9047? Yay! On Jun 20, 2014, at 1:10 AM, Kazu Yamamoto (山本和彦) wrote: > Hi, > > I don't know whether or not this is new but it's worth sharing. > >> To test the coming GHC 7.8.3, I started to use the latest ghc-7.8 >> branch. Unfortunately, on my Mac, I saw many warnings which a

CmmLint error when doing safe ccall from cmm

2014-06-20 Thread Yuras Shumovich
Hello, I'm trying to do safe ccall from cmm (see below for the code). It seems to work, but -dcmm-lint is not satisfied: /opt/ghc-7.8.2/bin/ghc --make -o test hs.hs cmm.cmm c.c -dcmm-lint -fforce-recomp Cmm lint error: in basic block c4 in assignment: _c1::I32 = R1; Reg ty: I3

Re: Continuous Integration and Cross Compilation

2014-06-20 Thread Páli Gábor János
Hello William, 2014-06-20 0:50 GMT+02:00 William Knop : > 1. We have a pretty good spread of buildbots, but as far as I know there > aren’t > very many of them. Running only the test suite would increase their utility by > roughly 5x (from looking at the buildbot time breakdowns [1]). How would

Re: Continuous Integration and Cross Compilation

2014-06-20 Thread Carter Schonwald
I thought Alain already replied? He and Pali are running some ghc-builder boxes, and i'm helping with code review for patches into ghc-builder On Fri, Jun 20, 2014 at 3:10 AM, Simon Peyton Jones wrote: > > | This response has gotten pretty long! Apologies if I missed something, > | or otherwise

RE: Continuous Integration and Cross Compilation

2014-06-20 Thread Simon Peyton Jones
| This response has gotten pretty long! Apologies if I missed something, | or otherwise misunderstood. Anyway, if there's a path here that seems | sensible, I'll have a go at it. William, I am not qualified to comment on the details, but thank you for offering to help. I do urge you to pick so