I'm already uneasy using bang patterns on polymorphic data because I don't
know exactly what it will accomplish. Maybe it adds too much strictness?
Not enough? Simply duplicates work? Perhaps it's acceptable to remove that
feature entirely (although that may require adding extra strictness in a
l
Unfortunately the old class based solution also carries other baggage, like the
old data type contexts being needed in the language for bang patterns. :(
-Edward
> On Apr 1, 2014, at 5:26 PM, John Lato wrote:
>
> Hi Edward,
>
> Yes, I'm aware of that. However, I thought Dan's proposal especi
Hi Edward,
Yes, I'm aware of that. However, I thought Dan's proposal especially droll
given that changing seq to a class-based function would be sufficient to
make eta-reduction sound, given appropriate instances (or lack thereof).
Meaning we could leave the rest of the proposal unevaluated (lazi
On Tue, Apr 01, 2014 at 12:46:05PM +0200, Joachim Breitner wrote:
>
> happy with buildbot, it might not be the worst choice.
For reference, the reason we moved away from buildbot is that it needs
to maintain a TCP connection for the duration of the build. With some
builds taking many hours (eithe
On Tue, Apr 1, 2014 at 12:46 PM, Joachim Breitner
wrote:
> Hi,
>
> Am Dienstag, den 01.04.2014, 10:25 + schrieb Simon Peyton Jones:
> > Joachim Breitner has set up Travis-CI. (I don't know exactly what
> > that is, but it sounds useful.)
>
> Travis is a free cloud service that runs arbitrary
2014-04-01 20:50 GMT+02:00 Carter Schonwald :
> I think making it more surfaced / discoverable might enable a lot more
> volunteer build bots (which is an issue aside from maintaining it)
As Karel has indicated, I have been already running an instance of the
server and I am generally open to addin
Greetings,
I've been thinking about bang patterns as part of implementing our own
Haskell-like compiler here, and have been testing out GHC's implementation
to see how it works. I've come to one case that seems like it doesn't work
how I think it should, or how it is described, and wanted to ask a
good to know (i assumed it was in working order from your remarks)
I think making it more surfaced / discoverable might enable a lot more
volunteer build bots (which is an issue aside from maintaining it)
of course, officially moving it to github should be with ian's blessing,
its mostly his work
2014-04-01 20:15 GMT+02:00 Alain O'Dea :
> until we are certain it is fully working again.
In what sense? I have been using the latest checkout from the darcs
repository for both the server and the clients, I seldom experienced
any serious problems. Of course, there is place for improvements and
Thank you Carter.
I think it's reasonable to incubate it on your Github profile for now until we
are certain it is fully working again. Either way works though :)
Best,
Alain
> On Apr 1, 2014, at 17:45, Carter Schonwald wrote:
>
> hey all, I just exported the igloo builder code from darcs to
hey all, I just exported the igloo builder code from darcs to git, and put
it here https://github.com/cartazio/ghc-builder
would this be something worth adding to github.com/haskell ? (i can easily
add it if other folks it should be surfaced more visibly)
On Tue, Apr 1, 2014 at 11:04 AM, Páli Gá
On Mon, Mar 31, 2014 at 9:37 PM, Gershom Bazerman wrote:
> There's been lots of exciting work going into the forthcoming GHC 7.8.1
> release. But even with all these new features, our language is far from
> complete and I wouldn't want the GHC team to rest on their laurels.
> Especially with so m
2014-04-01 14:03 GMT+02:00 Simon Peyton Jones :
> Indeed, there is no reason not to use Ian et al's Builder stuff. It's one of
> the
> options. But it depends on a critical evaluation of what the advantages and
> disadvantages of different approaches are
I found Ian's buildbot an appealing alte
John,
Check the date and consider the process necessary to "enumerate all Haskell
programs and check their types".
-Edward
On Tue, Apr 1, 2014 at 9:17 AM, John Lato wrote:
> I think this is a great idea and should become a top priority. I would
> probably start by switching to a type-class-ba
Can we throw some whole program partial evaluation with a termination
decision oracle into the mix?
On Tuesday, April 1, 2014, John Lato wrote:
> I think this is a great idea and should become a top priority. I would
> probably start by switching to a type-class-based seq, after which perhaps
>
I think this is a great idea and should become a top priority. I would
probably start by switching to a type-class-based seq, after which perhaps
the next step forward would become more clear.
John L.
On Apr 1, 2014 2:54 AM, "Dan Doel" wrote:
> In the past year or two, there have been multiple p
I'm going to read up on Ian's Buildbot work and experiment with that in the
meantime. If other challenges come up I'm glad to dive in and help.
> On Apr 1, 2014, at 12:03, Simon Peyton Jones wrote:
>
> Indeed, there is no reason not to use Ian et al's Builder stuff. It's one of
> the options
Indeed, there is no reason not to use Ian et al's Builder stuff. It's one of
the options. But it depends on a critical evaluation of what the advantages
and disadvantages of different approaches are
Simon
| -Original Message-
| From: Glasgow-haskell-users [mailto:glasgow-haskell-users
Hi,
I'm curious why not to use what's already written by Ian and others and
which is currently running again? E.g. Janos Gabor Pali was so nice to
start and keep builder server running on
http://haskell.inf.elte.hu/builders/
Just few are there, but others may be added. Just send email to Ja
Hi,
> On Apr 1, 2014, at 11:11, Joachim Breitner wrote:
>
> Hi,
>
> Am Dienstag, den 01.04.2014, 11:08 + schrieb Alain O'Dea:
>> From what I understand Travis CI limits running time for each build.
>> We may be able to create binaries of stage1 and/or stage2 in one build
>> and test them in
These "absent" thunks appear when the strictness analyser works out that a
function does not use an argument at all. Suppose 'f' does not use its first
argument. Then a call
f (...big expression...)
will be replaced with
f (absentError "blah")
Such thunks almost invariably turn
Hi,
Am Dienstag, den 01.04.2014, 11:08 + schrieb Alain O'Dea:
> From what I understand Travis CI limits running time for each build.
> We may be able to create binaries of stage1 and/or stage2 in one build
> and test them in another. We could also fan out the test process
> using a Build Matr
Hi Joachim:
From what I understand Travis CI limits running time for each build. We may be
able to create binaries of stage1 and/or stage2 in one build and test them in
another. We could also fan out the test process using a Build Matrix to let
GHC's full suite fit into the time limit as frag
| I've been getting the impression that a lot of the stickier GHC bugs are
| Windows specific, while very few GHC hackers actually use Windows, other
| than to ensure that GHC works on it.
...
| Perhaps it should be "demoted" to second-tier GHC support as well, at
| least to the extent that Windows
Hi,
Am Dienstag, den 01.04.2014, 10:25 + schrieb Simon Peyton Jones:
> Joachim Breitner has set up Travis-CI. (I don't know exactly what
> that is, but it sounds useful.)
Travis is a free cloud service that runs arbitrary tests (in our case, a
stripped version of validate) upon pushes to git
Friends
The nightly-build infrastructure for GHC is in disarray, and we could really do
with help. We really want
* Continuous integration so that new test failures show up fast
* Nightly builds on a variety of platforms, giving
snapshots that are easy to install
Originally we used Buildbo
On Tue, Apr 1, 2014 at 10:07 AM, harry wrote:
> Johan Tibell-2 wrote
> > We now have a (Linux) travis-ci buildbot so we should be able to use
> > whatever script that buildbot runs.
>
> Does this mean that the Builder page is also no longer relevant? And if so,
> how could a Windows buildbot be s
Johan Tibell-2 wrote
> We now have a (Linux) travis-ci buildbot so we should be able to use
> whatever script that buildbot runs.
Does this mean that the Builder page is also no longer relevant? And if so,
how could a Windows buildbot be set up?
--
View this message in context:
http://haskell.
We now have a (Linux) travis-ci buildbot so we should be able to use
whatever script that buildbot runs.
To make a full validate you simply check out the source repos and run:
CPUS=N sh validate
(CPUS=N is optional of course.)
On Tue, Apr 1, 2014 at 9:42 AM, harry wrote:
> It having been sug
Hi,
Gabor Pali provides his own builder server infrastructure for now when
GHC's HQ is not working. Please have a look at
http://haskell.inf.elte.hu/builders/ and contact Gabor for more details
(he is cced).
Thanks!
Karel
On 04/ 1/14 09:42 AM, harry wrote:
It having been suggested that a
It having been suggested that a buildbot for Windows may be needed, and it
being possible that I may receive permission from management for setting one
up in my department's server room, I set about attempting to discover what
this actually entails.
A Google search led me to https://ghc.haskell.or
31 matches
Mail list logo
