[00:26:07] * shmibs [shmibs!~shmibs@shmibbles.me] has quit (Quit: leaving =o).
[00:26:43] * shmibs [shmibs!~shmibs@shmibbles.me] has joined the channel.
[00:34:17] * jamtho [jamtho!520dbba8@gateway/web/freenode/ip.82.13.187.168] has joined the channel.
[00:41:16] * jamtho [jamtho!520dbba8@gateway/web/freenode/ip.82.13.187.168] has quit (Ping timeout: 260 seconds).
[02:14:09] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has joined the channel.
[03:46:30] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has quit (Ping timeout: 258 seconds).
[04:42:24] * dondy1 [dondy1!~dondy@x4db4c782.dyn.telefonica.de] has joined the channel.
[04:45:39] * dondy [dondy!~dondy@x4db3c5e4.dyn.telefonica.de] has quit (Ping timeout: 260 seconds).
[05:15:40] <evincar> Currently trying to figure out specificity rules for generic trait instances
[05:15:49] <evincar> I thought the C++ standard would be helpful
[05:16:14] <evincar> That I could just consult their rules for how partial template specialisations are resolved
[05:16:22] <evincar> But uh, it's not very enlightening
[06:31:16] * ksimon [ksimon!~textual@199.201.64.3] has joined the channel.
[07:41:11] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has quit (Quit: Getting nvidia graphics going).
[08:03:24] * ksimon [ksimon!~textual@199.201.64.3] has quit (Ping timeout: 245 seconds).
[08:36:36] <evincar> I just ended up asking on LtU, wish me luck: http://lambda-the-ultimate.org/node/5407
[08:46:09] <jeaye> evincar: Have you tried your example as a C++ trait, to see which was chosen?
[08:46:37] <jeaye> I wouldn't be surprised if these just resulted in ambiguities in C++.
[08:47:15] <evincar> #1+#2 is fine in C++, #2+#3 is not
[08:47:36] <evincar> Although only for class templates, not function templates
[08:48:46] <evincar> (Just because there's no partial specialisation of function templates)
[08:48:52] <jeaye> Right, C++ doesn't have partial specialization for function templates.
[08:50:52] <evincar> That aside, I think the overload specificity rule might work
[08:51:09] * FreeFull [FreeFull!~freefull@defocus/sausage-lover] has joined the channel.
[08:53:44] <evincar> I've just never implemented overloading like this, or seen many examples of how to do it
[08:53:50] <evincar> It's probably pretty simple
[10:07:03] * dondy1 is now known as dondy
[12:51:34] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has joined the channel.
[13:53:52] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has quit (Ping timeout: 240 seconds).
[14:23:10] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has joined the channel.
[15:39:05] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has quit (Ping timeout: 258 seconds).
[17:13:09] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has joined the channel.
[18:13:22] * jamtho [jamtho!~jamtho@cpc69399-oxfd27-2-0-cust935.4-3.cable.virginm.net] has quit (Ping timeout: 240 seconds).
[21:28:58] * shmibs [shmibs!~shmibs@shmibbles.me] has quit (Quit: leaving =o).
[21:33:53] * shmibs [shmibs!~shmibs@shmibbles.me] has joined the channel.
[21:40:49] * shmibs [shmibs!~shmibs@shmibbles.me] has quit (Quit: leaving =o).
[22:21:13] * Hotkeys_ is now known as Hotkeys
[22:36:43] * rgrinberg [rgrinberg!~rgrinberg@rrcs-108-176-18-36.nyc.biz.rr.com] has joined the channel.
[23:10:31] * shmibs [shmibs!~shmibs@shmibbles.me] has joined the channel.