[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH] Mostly fix #1604

From: felix . winkelmann
Subject: Re: [Chicken-hackers] [PATCH] Mostly fix #1604
Date: Mon, 20 May 2019 15:15:20 +0200

> > Interprocedural flow-analysis is hard, we shouldn't underestimate
> > this. What happens when we declare a type for a toplevel function?
> If you're thinking about reassigning globals, how about making
> -fixnum-arithmetic imply -local? If globals cannot be re-defined then
> the types are always correct.
> If fixnum-arithmetic is wanted for speed then -local is wanted anyway,
> not to mention global inlining.

I understand - but I'm wary of options implying other options. This makes
it hard to figure out the final set of applicable settings, in the name of 
I have made this mistake often enough. If one wants speed, "-O<n>" is probably
the easiest and simplest way. Otherwise each option should have a single
effect only.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]