Re: Weak tables harmful to GC?

2017-10-30 Thread Ludovic Courtès
Hi Andy, Andy Wingo skribis: > As discussed on IRC, what do you think of this patch? It preserves the > thread-safety properties of weak tables and just adapts them to be > bucket-and-chain tables. Let me know how it works for you. That was fast! The code certainly looks nicer than the old e

Re: Weak tables harmful to GC?

2017-10-30 Thread Ludovic Courtès
Hi, Ricardo Wurmus skribis: > previously I wrote: > >> The “guile-awesome” package finished compiling (after about 46 minutes). >> I’m now testing “guix pull” with a version of Guix that uses >> “guile-awesome”. > > I’m sure I’m doing something wrong (see below for guesses). Here’s what > I get

Re: guile 3 update

2017-10-30 Thread Christopher Allan Webber
Andy Wingo writes: > Hi :) > > On Sun 22 Oct 2017 15:22, Christopher Allan Webber > writes: > >> - Could native code compilation also be a step towards WASM, assuming >>they lend us their GC? > > Regarding this question: yes! Specifically with the "GC" proposal > (which in reality is much

Re: Weak tables harmful to GC?

2017-10-30 Thread Andy Wingo
Hi! As discussed on IRC, what do you think of this patch? It preserves the thread-safety properties of weak tables and just adapts them to be bucket-and-chain tables. Let me know how it works for you. If it works, we'll need to adapt weak sets as well. Andy >From 6ec4642516eaabf7a63644463a783

Re: Weak tables harmful to GC?

2017-10-30 Thread Ricardo Wurmus
Hi again, previously I wrote: > The “guile-awesome” package finished compiling (after about 46 minutes). > I’m now testing “guix pull” with a version of Guix that uses > “guile-awesome”. I’m sure I’m doing something wrong (see below for guesses). Here’s what I get: --8<---cut here

Re: Compiler memory consumption

2017-10-30 Thread Ludovic Courtès
Hello, Andy Wingo skribis: > On Wed 25 Oct 2017 19:42, l...@gnu.org (Ludovic Courtès) writes: > >> In short, compiling the top-level thunk is what’s killing us, because >> the space and time complexity is proportional to the number of labels >> therein. >> >> Also, our 16K line python.scm file t

Re: Compiler memory consumption

2017-10-30 Thread Andy Wingo
On Wed 25 Oct 2017 19:42, l...@gnu.org (Ludovic Courtès) writes: > In short, compiling the top-level thunk is what’s killing us, because > the space and time complexity is proportional to the number of labels > therein. > > Also, our 16K line python.scm file translates into 428K labels, which > du

Re: Weak tables harmful to GC?

2017-10-30 Thread Ricardo Wurmus
Hi Ludo, > I’m attaching updated patches. I’ve let the Guix build run to > completion this time. Let me know if it works for you! The “guile-awesome” package finished compiling (after about 46 minutes). I’m now testing “guix pull” with a version of Guix that uses “guile-awesome”. I’m very hop

guile 3 update: lowered conditionals

2017-10-30 Thread Andy Wingo
Hi, An update on the Guile 3 effort. Since last week I attacked the conditional instructions, replacing e.g. "br-if-< A B OFFSET" with a sequence of "

Re: guile 3 update

2017-10-30 Thread Andy Wingo
Hi :) On Sun 22 Oct 2017 15:22, Christopher Allan Webber writes: > - Could native code compilation also be a step towards WASM, assuming >they lend us their GC? Regarding this question: yes! Specifically with the "GC" proposal (which in reality is much more: https://github.com/WebAssembl

Re: Weak tables harmful to GC?

2017-10-30 Thread Ludovic Courtès
Hi Ricardo, Ricardo Wurmus skribis: > In language/tree-il/analyze.scm: > 1053:33 3 Exception thrown while printing backtrace: > ERROR: In procedure assq: Wrong type argument in position 2 (expecting > association list): ((system base pmatch) car . #f) > > ice-9/boot-9.scm:760:25: In procedur