00:00:00 --- log: started forth/18.01.17 01:36:02 --- join: mtsd (4d6e3d64@gateway/web/freenode/ip.77.110.61.100) joined #forth 01:51:10 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 02:20:30 How does REFILL work with WORD and KEY? Should they call REFILL internally when the buffer runs out? 02:29:57 --- join: dys (~dys@2003:5b:203b:100:6af7:28ff:fe06:801) joined #forth 02:43:45 --- quit: nighty-- (Quit: Disappears in a puff of smoke) 03:54:03 --- quit: groovy2shoes (Ping timeout: 276 seconds) 04:14:23 Darksecond: as far as i understand it (from reading the ANS Forth standard), WORD (and PARSE) only operate on a refilled input buffer 04:14:56 and i *think* KEY? always operates on the user input device, but i'm not 100% sure about that 04:15:27 hmm, in my implementation KEY also operates on the same buffer (for reading single characters from a file/keyboard/etc) 04:16:03 are you trying to follow ANS? 04:16:20 not really, trying to understand it because they obviously thought about it long and hard 04:16:41 ok 04:18:56 unfortunately it says "If a character is available, return true.", and doesn't explcitly say available on which device 04:19:06 okay, then it says "If non-character keyboard 04:19:06 events are available before the first valid character, they are discarded and are subsequently 04:19:09 unavailable." 04:19:14 (oops, paste fail) 04:19:15 yeah, the documentation isn't always exactly clear :/ 04:19:27 https://github.com/darksecond/unx-forth is what I have so far, if it helps 04:20:30 in my forth, KEY and related words will always read from the user input device, but user input devices will be switchable 04:21:28 right 04:21:57 I have SOURCE-ADDR and SOURCE-LEN variables which are used by KEY and WORD as their source 04:22:09 so I can use KEY in a loop for reading single characters, etc 04:22:18 independent of input (eventually) 04:23:43 SOURCE-ADDR and SOURCE-LEN sounds like what EVALUATE would set 04:24:10 yeah, kinda I think 04:24:14 still figuring this out :p 04:24:22 wait, is that a address in the input device or a memory pointer? 04:24:38 memory pointer to a buffer of some sort 04:26:02 ok, in ANS, SOURCE returns both 04:27:01 SOURCE ( -- c-addr u ) c-addr is the address of, and u is the number of characters in, the input buffer. 04:27:10 yeah 04:27:17 (and positioning in the source buffer is done via >IN) 04:27:28 yes, I use >IN as well 04:27:29 which of course doesn't mean you have to do it in the same way 04:27:52 I'm using the standard more as a guideline as anything, but I try to follow it mostly 04:29:13 i was about to ask you what's UNIXy about unix-forth, but then i saw that it's just unx-forth :) 04:29:24 so, what does unx mean? 04:29:34 It's a play on 'unix' 04:29:40 couldn't come up with a better name x3 04:29:47 heh 04:30:07 mine is *very* uncreative too: jnforth :D 04:30:12 :D 04:33:35 so far it's very much jonesforth based 04:35:14 interesting, jonesforth is from the same guy who's bringing up fedora on RISC-V :) 04:35:25 heh 04:36:12 jn: aha, i didnt knew that 04:36:52 jn: but it looks like the factor language's author join the team which design iOS swift 04:47:11 I have to say, the official standards documentation is less than clear at times 05:18:42 --- join: lijero (~lijero@unaffiliated/lijero) joined #forth 05:18:47 --- join: ncv_ (~neceve@2a02:c7d:c5c9:a900:c792:a3e8:397d:b37) joined #forth 05:18:47 --- quit: ncv_ (Changing host) 05:18:47 --- join: ncv_ (~neceve@unaffiliated/neceve) joined #forth 05:19:34 --- quit: ncv (Ping timeout: 256 seconds) 07:05:42 * jn watches r4 videos 07:05:50 looks nice 07:10:00 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 07:23:51 --- join: chuckleb (~chuckleb@2a00:2381:1a72:10:c878:af86:2bbd:42f4) joined #forth 07:24:47 --- quit: chuckleb (Quit: ZNC 1.6.5 - http://znc.in) 08:12:32 --- quit: mtsd (Ping timeout: 260 seconds) 08:43:34 --- quit: ncv_ (Ping timeout: 256 seconds) 09:03:06 --- join: ncv_ (~neceve@2a02:c7d:c5c9:a900:c792:a3e8:397d:b37) joined #forth 09:03:06 --- quit: ncv_ (Changing host) 09:03:06 --- join: ncv_ (~neceve@unaffiliated/neceve) joined #forth 09:03:58 --- quit: ThirtyOne32nds (Ping timeout: 256 seconds) 09:17:49 --- quit: cess11 (Ping timeout: 240 seconds) 09:25:13 --- join: cess11 (~cess11@ua-85-227-36-15.cust.bredbandsbolaget.se) joined #forth 10:34:35 --- quit: dys (Ping timeout: 265 seconds) 11:11:06 --- join: ThirtyOne32nds (~rtmanpage@210.sub-174-204-5.myvzw.com) joined #forth 11:26:19 --- quit: ThirtyOne32nds (Ping timeout: 240 seconds) 11:47:09 --- join: tomlukeywood (~tom@host-92-19-232-58.static.as13285.net) joined #forth 13:35:28 --- join: ThirtyOne32nds (~rtmanpage@210.sub-174-204-5.myvzw.com) joined #forth 13:50:41 --- quit: tomlukeywood (Quit: Leaving.) 14:23:19 --- quit: ncv_ (Ping timeout: 256 seconds) 15:25:10 jn, what are R4 videos? Got links? 15:59:44 --- quit: dddddd (Read error: Connection reset by peer) 16:00:30 --- join: dddddd (~dddddd@unaffiliated/dddddd) joined #forth 16:18:44 proteusguy: https://www.youtube.com/watch?v=x-kDRmeOjcc 16:19:00 videos showing reda4 17:44:48 --- join: nighty-- (~nighty@kyotolabs.asahinet.com) joined #forth 17:55:38 --- quit: bedah (*.net *.split) 17:55:39 --- quit: djinni (*.net *.split) 17:55:40 --- quit: ovf (*.net *.split) 17:55:41 --- quit: dograt (*.net *.split) 17:55:59 --- join: djinni (~djinni@68.ip-149-56-14.net) joined #forth 17:56:50 --- join: dograt (~dograt@unaffiliated/dograt) joined #forth 17:57:56 --- join: ovf (sid19068@gateway/web/irccloud.com/x-osozotcuqiqcigqi) joined #forth 17:59:32 --- quit: malyn (Ping timeout: 260 seconds) 18:00:36 --- join: malyn (~malyn@unaffiliated/malyn) joined #forth 19:13:10 --- join: wa5qjh (~quassel@175.158.225.217) joined #forth 19:13:10 --- quit: wa5qjh (Changing host) 19:13:10 --- join: wa5qjh (~quassel@freebsd/user/wa5qjh) joined #forth 19:20:36 --- join: Gromboli (~Gromboli@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 19:30:27 --- quit: tangentstorm (*.net *.split) 19:30:28 --- quit: diginet2 (*.net *.split) 19:30:29 --- quit: crc (*.net *.split) 19:30:29 --- quit: jeremyheiler (*.net *.split) 19:30:29 --- quit: ecraven (*.net *.split) 19:30:48 --- join: ecraven (ecraven@www.nexoid.at) joined #forth 19:30:52 --- join: diginet2 (~diginet@107.170.146.29) joined #forth 19:30:57 --- join: tangentstorm (michal@2600:3c03::f03c:91ff:fec8:caab) joined #forth 19:31:25 --- join: crc (sid2647@gateway/web/irccloud.com/x-flnwtdjvmisprufe) joined #forth 19:32:04 --- join: jeremyheiler (sid81469@gateway/web/irccloud.com/x-xlcgbrowxkwqpluk) joined #forth 20:18:28 --- join: dzho_ (~dzho@unaffiliated/dzho) joined #forth 20:20:30 --- quit: dzho_ (Client Quit) 20:20:36 --- quit: dddddd (Remote host closed the connection) 20:21:40 --- join: dzho_ (~dzho@unaffiliated/dzho) joined #forth 20:31:35 --- quit: dzho_ (Quit: leaving) 20:43:31 --- quit: dzho (Quit: leaving) 20:59:04 --- join: dzho (~dzho@unaffiliated/dzho) joined #forth 20:59:29 --- quit: Gromboli (Quit: Leaving) 21:39:14 --- join: groovy2shoes (~groovy2sh@unaffiliated/groovebot) joined #forth 21:53:41 --- quit: lijero (Remote host closed the connection) 22:28:07 --- join: bedah (~bedah@2a02:810d:243f:f584:687f:7bb5:2c56:602e) joined #forth 23:59:59 --- log: ended forth/18.01.17