Re: [Factor-talk] Compiler

OK, thanks. — don > On Aug 24, 2021, at 14:53, John Benediktsson wrote: > > Probably 2022. > > On Tue, Aug 24, 2021 at 2:33 PM dgpdx > wrote: > I’d love to use factor. Any idea when the port to arm64 will be completed? > — > don > > >> On Aug 24, 2021, at

Re: [Factor-talk] Compiler

Probably 2022. On Tue, Aug 24, 2021 at 2:33 PM dgpdx wrote: > I’d love to use factor. Any idea when the port to arm64 will be completed? > — > don > > > On Aug 24, 2021, at 14:29, John Benediktsson wrote: > > Contributions are welcome! > > (Also questions, if you have any.) > > On Tue, Aug

Re: [Factor-talk] Compiler

I’d love to use factor. Any idea when the port to arm64 will be completed? — don > On Aug 24, 2021, at 14:29, John Benediktsson wrote: > > Contributions are welcome! > > (Also questions, if you have any.) > > On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko >

Re: [Factor-talk] Compiler

Contributions are welcome! (Also questions, if you have any.) On Tue, Aug 24, 2021 at 2:17 PM George Cherevichenko < george.chereviche...@gmail.com> wrote: > Thank you. I think, I understand stack-checker now. The problem > (stack-effect checking) is very close to "typization" in

Re: [Factor-talk] Compiler

Thank you. I think, I understand stack-checker now. The problem (stack-effect checking) is very close to "typization" in lambda-calculi, but Pestov set types to "loop" and "while". I'll think about it:) вт, 24 авг. 2021 г. в 21:59, John Benediktsson : > You can see some curry declared and then

Re: [Factor-talk] Compiler

You can see some curry declared and then defined as part of bootstrap in: https://github.com/factor/factor/blob/master/core/bootstrap/primitives.factor#L289 On Wed, Aug 18, 2021 at 3:01 PM George Cherevichenko < george.chereviche...@gmail.com> wrote: > Hi > Where are definitions of "curry"

[Factor-talk] Compiler

Hi Where are definitions of "curry" and "compose"? I can't find them in kernel.factor Is it a trick of compiler? For example, "dip" is defined as : dip ( x quot -- x ) swap [ call ] dip ; "because the compiler special-cases them". What is "namespaces:set" in compiler.factor?

[Factor-talk] Compiler error in libs/vars

Slava, I get a compiler error when loading libs/vars. It complains about unbalanced branches in (repeat) and the call chain goes up to let. But let never calls that word directly. It get's there from each. Do you know what's going on? Paste this into the listener: : let ( vars body -- result