[00:15:05] * tgunr [tgunr!~davec@cpe-66-91-34-168.hawaii.res.rr.com] has joined the channel. [00:15:25] I keep getting disconnected from this channel :( [00:16:17] oh no! types??? [00:17:21] not one of the reasons I chose to sstick with Factor [00:50:34] * ryoshu [ryoshu!~kamil@netbsd/developer/kamil] has joined the channel. [03:55:59] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [04:15:29] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [05:07:12] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has quit (Quit: jeaye). [05:07:32] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has joined the channel. [05:29:10] * jtimon [jtimon!~quassel@65.28.134.37.dynamic.jazztel.es] has quit (Ping timeout: 244 seconds). [08:18:04] tgunr: there are types already and have been for years. check out TYPED: [08:18:58] tgunr: all i did was add syntax so you can have types without names, so instead of TYPED: add ( a: integer b: integer -- c: integer ) + ; just TYPED: add ( :integer :integer -- :integer ) + ; [12:48:31] * cantstanya [cantstanya!~chatting@unaffiliated/cantstanya] has quit (Remote host closed the connection). [12:52:54] * cantstanya [cantstanya!~chatting@unaffiliated/cantstanya] has joined the channel. [14:12:55] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Ping timeout: 276 seconds). [14:22:35] * bmp_ [bmp_!sid22344@gateway/web/irccloud.com/x-xftfsrmbvjyhexqh] has joined the channel. [14:23:55] * bmp [bmp!sid22344@gateway/web/irccloud.com/x-rlttdnbviqmkpuhp] has quit (Ping timeout: 244 seconds). [14:23:57] * bmp_ is now known as bmp [14:24:21] * jeremyheiler [jeremyheiler!sid81469@gateway/web/irccloud.com/x-ihxxiecewoknrlbu] has quit (Read error: Connection reset by peer). [14:25:21] * jeremyheiler [jeremyheiler!sid81469@gateway/web/irccloud.com/x-lavxwldymgcrjjdv] has joined the channel. [14:29:27] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel. [14:30:47] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [14:42:49] coolio [14:50:52] * gnooth [gnooth!~gnooth@2602:306:cf96:8b60:8da3:3ecb:7d5a:8dcf] has joined the channel. [14:52:55] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Ping timeout: 250 seconds). [14:54:19] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Quit: rebooting). [14:56:19] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel. [15:12:19] * Sonderblade [Sonderblade!~Sonderbla@h-52-183.a157.priv.bahnhof.se] has quit (Ping timeout: 260 seconds). [15:22:33] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel. [15:27:14] * Sonderblade [Sonderblade!~Sonderbla@h-52-183.a157.priv.bahnhof.se] has joined the channel. [15:30:24] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Ping timeout: 260 seconds). [15:57:37] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel. [16:09:37] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Ping timeout: 250 seconds). [16:22:02] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [16:25:36] 5fabb71 Björn Lindqvist: bootstrap.compiler.timing: "profile-compiler" is never set so this vocab is unused [16:25:37] 340ad8b Björn Lindqvist: VM: removes the delete_contexts method [16:25:38] 83ce084 Björn Lindqvist: VM: initialize the ctx member in the construction [16:25:39] 63791bf Björn Lindqvist: VM: move some logic from factor_vm to the vm_parameters class [16:25:40] ... and more [16:35:27] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has joined the channel. [16:36:10] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel. [17:00:38] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has quit (Ping timeout: 240 seconds). [17:05:36] 8ae6e8e Björn Lindqvist: VM: safe_strdup needs to be called in vm_executable_path [17:23:41] * jtimon [jtimon!~quassel@65.28.134.37.dynamic.jazztel.es] has joined the channel. [19:01:29] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has joined the channel. [19:02:05] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [19:38:17] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has quit (Quit: jeaye). [19:47:52] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Ping timeout: 244 seconds). [20:19:36] * rgrinberg [rgrinberg!~rgrinberg@hlfxns016cw-142134033086.dhcp-dynamic.FibreOp.ns.bellaliant.net] has quit (Ping timeout: 252 seconds). [20:38:03] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has joined the channel. [20:43:34] erg: Hey, I've been thinking about the TYPED: change you wrote. [20:43:37] I'm not really sure I'm on board. [20:43:47] Or at least, I'm not super-thrilled with it. [21:20:23] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [22:01:27] * jtimon [jtimon!~quassel@65.28.134.37.dynamic.jazztel.es] has quit (Ping timeout: 260 seconds). [23:12:40] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [23:34:38] bmp: https://github.com/factor/factor/commit/3fa9ad91f6aff3dd441bf0a53b7254655957a212#commitcomment-17478103 [23:34:55] bmp: it doesn't prettyprint right yet, but i am going to try and fix that now [23:35:32] there's four cases: placeholder, placeholder + type, type, nothing. i added the type case [23:35:43] we had the other three