[00:01:50] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [01:12:35] * evincar [evincar!~jonathanp@208.87.56.202] has quit (Ping timeout: 260 seconds). [01:15:36] 26e2659 John Benediktsson: ui.theme.switching: add a switch-theme word. [01:15:37] 8a09779 John Benediktsson: ui.theme.switching: adding some docs. [01:35:36] fb9a716 John Benediktsson: ui.theme.switching: adding back light-mode and dark-mode. [01:40:36] 6149bf5 John Benediktsson: ui.tools.debugger: set theme fonts on table... [01:40:37] 7d66c33 John Benediktsson: ui.gadgets.table: mouse-color uses theme. [02:46:22] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [04:54:39] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has quit (Ping timeout: 265 seconds). [06:48:08] * jtimon [jtimon!~quassel@65.28.134.37.dynamic.jazztel.es] has quit (Ping timeout: 276 seconds). [07:01:47] * delvinj [delvinj!Miranda@173-160-116-46-Minnesota.hfc.comcastbusiness.net] has quit (Ping timeout: 276 seconds). [09:49:34] * suppi [suppi!~suppi@unaffiliated/suppi] has joined the channel. [11:58:10] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has joined the channel. [12:04:46] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has quit (Ping timeout: 252 seconds). [12:11:30] * jeaye [jeaye!~jeaye@unaffiliated/jeaye] has joined the channel. [12:24:43] * jtimon [jtimon!~quassel@65.28.134.37.dynamic.jazztel.es] has joined the channel. [12:28:29] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has quit (Quit: WeeChat 1.5). [12:30:00] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has joined the channel. [12:45:46] * delvinj [delvinj!Miranda@173-160-116-46-Minnesota.hfc.comcastbusiness.net] has joined the channel. [15:33:20] * Sonderblade [Sonderblade!~Sonderbla@h-52-183.a157.priv.bahnhof.se] has quit (Ping timeout: 276 seconds). [15:45:26] * Sonderblade [Sonderblade!~Sonderbla@h-52-183.a157.priv.bahnhof.se] has joined the channel. [20:03:22] SCCS???? /me chokes [20:36:12] * tgunr [tgunr!~davec@cpe-66-91-34-168.hawaii.res.rr.com] has quit (Ping timeout: 265 seconds). [20:56:30] * delvinj [delvinj!Miranda@173-160-116-46-Minnesota.hfc.comcastbusiness.net] has quit (Quit: it's the end). [21:07:48] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has quit (Ping timeout: 250 seconds). [22:05:25] * rgrinberg [rgrinberg!~rgrinberg@206.108.148.90] has joined the channel. [22:08:58] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has joined the channel. [22:25:48] * rgrinberg [rgrinberg!~rgrinberg@206.108.148.90] has quit (Ping timeout: 250 seconds). [22:39:47] * rgrinberg [rgrinberg!~rgrinberg@24-246-56-85.cable.teksavvy.com] has joined the channel. [22:45:36] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Ping timeout: 276 seconds). [22:46:09] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel. [22:51:48] * rotty [rotty!~rotty@yade.chaostreff.at] has quit (Ping timeout: 250 seconds). [23:11:49] * tgunr [tgunr!~davec@cpe-66-91-34-168.hawaii.res.rr.com] has joined the channel. [23:18:22] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel. [23:20:37] * fuzzyhorns [fuzzyhorns!~fuzzyhorn@c-73-38-57-191.hsd1.ma.comcast.net] has quit (Quit: Leaving.). [23:42:50] TYPED: add ( :float :float -- :float ) + ; this works now [23:45:36] 3fa9ad9 Doug Coleman: effects: Add support for :type as standalone, unnamed types. ( :float -- ) pprints as ( _: float -- ), and ( :( a -- b ) -- ) works, etc. :union{ foo bar } pprints as object but could be improved if the effects parser uses the prettyprinter somehow. Move ?execute-parsing to parser to avoid circularity. [23:45:37] d5b33de Doug Coleman: typed: factor typed-def? out of typed-def. [23:46:10] we could make TYPED: work anywhere, without the TYPED: keyword, if we moved macros and locals to core/ [23:46:29] which i think should happen anyway [23:46:52] all you do is call typed-def? and then define-typed or define-declared