Re: [Factor-talk] Integrating Browser functionality into Listener: John Benediktsson's Syntax Highlighting

2010-11-16 Thread Chris Double
On Tue, Nov 16, 2010 at 11:07 PM, Shaping shap...@charter.net wrote: I can't find any info in Browser on quot:. http://docs.factorcode.org/content/article-effects.html Chris. -- http://www.bluishcoder.co.nz --

Re: [Factor-talk] Integrating Browser functionality into Listener: John Benediktsson's Syntax Highlighting

2010-11-16 Thread Jim mack
I'm puzzled by the stuff inside the stack-effect syntax: ( -- ). I thought that the tokens on either side of the -- are just dummy variables representing, on the one hand, *strictly* the *number of input arguments and the number of results*, and, on the other, *loosely* the types of

Re: [Factor-talk] Integrating Browser functionality into Listener: John Benediktsson's Syntax Highlighting

2010-11-15 Thread Joe Groff
On Mon, Nov 15, 2010 at 8:45 AM, Shaping shap...@charter.net wrote: I'm also thinking that the stack-effect data could be more binding than it currently is.  I noticed while compiling some new words that the compiler will infer a stack-effect, and tell you when you've written it incorrectly.

Re: [Factor-talk] Integrating Browser functionality into Listener: John Benediktsson's Syntax Highlighting

2010-11-15 Thread Michael Clagett
21:15:10 -0600 Subject: [Factor-talk] Integrating Browser functionality into Listener: John Benediktsson's Syntax Highlighting Hi John/all. I still have some Git exercises and maintenance to do tonight, but I tripped over this http://planet.factorcode.org/ and want to see where it might

[Factor-talk] Integrating Browser functionality into Listener: John Benediktsson's Syntax Highlighting

2010-11-14 Thread Shaping
Hi John/all. I still have some Git exercises and maintenance to do tonight, but I tripped over this http://planet.factorcode.org/ and want to see where it might lead. The syntax highlighting is interesting to me. I'm wondering whether we can change the Listener GUI into a color vocab browser