Re: [Factor-talk] Compiler

[dgpdx]

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 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 
>> mailto: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 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 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 
>> mailto:george.chereviche...@gmail.com>> 
>> wrote:
>> 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 mailing list
>> Factor-talk@lists.sourceforge.net 
>> https://lists.sourceforge.net/lists/listinfo/factor-talk 
>> 
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net 
>> https://lists.sourceforge.net/lists/listinfo/factor-talk 
>> 
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net 
>> https://lists.sourceforge.net/lists/listinfo/factor-talk 
>> 
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net 
>> https://lists.sourceforge.net/lists/listinfo/factor-talk 
>> 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net 
> https://lists.sourceforge.net/lists/listinfo/factor-talk 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk

___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

[John Benediktsson]

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 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 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 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" 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 mailing list
 Factor-talk@lists.sourceforge.net
 https://lists.sourceforge.net/lists/listinfo/factor-talk

>>> ___
>>> Factor-talk mailing list
>>> Factor-talk@lists.sourceforge.net
>>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>>
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

[dgpdx]

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 
> mailto: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 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 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 
> mailto:george.chereviche...@gmail.com>> 
> wrote:
> 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 mailing list
> Factor-talk@lists.sourceforge.net 
> https://lists.sourceforge.net/lists/listinfo/factor-talk 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net 
> https://lists.sourceforge.net/lists/listinfo/factor-talk 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net 
> https://lists.sourceforge.net/lists/listinfo/factor-talk 
> 
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk

___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

[John Benediktsson]

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 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 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" 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 mailing list
>>> Factor-talk@lists.sourceforge.net
>>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>>
>> ___
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

[George Cherevichenko]

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 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" 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 mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

[John Benediktsson]

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" 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 mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler

[George Cherevichenko]

Yes, "namespaces:set" is the word "set" from the vocab "namespaces"! To
distinguish it from the word "sets:set". Logic is our power.

чт, 19 авг. 2021 г. в 01:00, George Cherevichenko <
george.chereviche...@gmail.com>:

> 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 mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

[Factor-talk] Compiler

[George Cherevichenko]

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 mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler error in fuel.factor

[Jose A. Ortega Ruiz]

"Slava Pestov"  writes:

> Jose,
>
> This word has an unbalanced branches error:
>
> : (fuel-word-def) ( name -- str )
> fuel-find-word
> [ [ def>> pprint ] with-string-writer ] when* ;
>
> Indeed, if fuel-find-word returns f, then the word leaves nothing on
> the stack. What you want is to put the with-string-writer outside of
> the when*.

Oops, yes. I've pushed a fix... actually, i want the return value to be
f if the word's not found, so i've used an if*... is there a better way?

Thanks!

jao

--
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

[Factor-talk] Compiler error in fuel.factor

[Slava Pestov]

Jose,

This word has an unbalanced branches error:

: (fuel-word-def) ( name -- str )
fuel-find-word
[ [ def>> pprint ] with-string-writer ] when* ;

Indeed, if fuel-find-word returns f, then the word leaves nothing on
the stack. What you want is to put the with-string-writer outside of
the when*.

Slava

--
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

Re: [Factor-talk] Compiler error in libs/vars

[Daniel Ehrenberg]

There's no error, Ed, you just wrote your code wrong. Set takes two
things, and each provides one, so there *is* an unbalanced branch.
Each, deep in its implementation, uses (repeat), and the compiler is
just showing you that. That's where the actual unbalanced branch takes
place, since it is all inlined.

On 1/11/07, Eduardo Cavazos <[EMAIL PROTECTED]> wrote:
> 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 )
> [ >r  [ set ] each r> call ] with-scope ;
>
> \ let compile
>
> and you'll see the error.
>
> Ed
>
> -
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to share your
> opinions on IT & business topics through brief surveys - and earn cash
> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
> ___
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>

-
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk

[Factor-talk] Compiler error in libs/vars

[Eduardo Cavazos]

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 )
[ >r  [ set ] each r> call ] with-scope ;

\ let compile

and you'll see the error.

Ed

-
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk