« first day (2136 days earlier)      last day (2810 days later) » 
00:00 - 21:0021:00 - 00:00

12:08 AM
LIMITED EDITION prints of #StarTrekTNG cast to raise funds to help Omran & Aleppo. #UNICEF https://www.facebook.com/drgotts/posts/655624467921501 https://t.co/NF8FhJDaWk
 
@ScarletAmaranth When watching Shokugeki no Soma I periodically press the pause button to see how long I have left of the episode. Being anxious about it ending too soon. I guess I like this show :)
 
@StackedCrooked Well worth the time (I'm very slow reading, also scanned the comments now). It doesn't bore for a second, that's quality writing
Recommended.
 
I'll probably read it.
Tomorrow perhaps.
Right now I'm too scared :P
 
 
@StackedCrooked yep :P
 
12:24 AM
@sehe Lol. I don't get it but the helicopter still made me laugh for some reason.
 
google "I identify as an attack helicopter"
 
@StackedCrooked @Morwenn would
 
I like the commentor too:
> I identify as a straight-A student
 
@sehe That's pretty funny.
 
12:36 AM
@Griwes lol
Is FreeBSD really that backwards?
> FreeBSD's kernel provides support for some essential tasks such as managing processes, communication, booting and filesystems.
Wow.
Interesting.
But wow, $2600 rent.
 
@Ven nah, although I can’t quite reduce it
GCC ICEs lol
it won’t recurse because the current instantiation won’t be in scope at that point
if the CRTP pitfalls of struct foo: my_crtp_thing<foo> ring a bell maybe that will help you understand
 
12:59 AM
sorry, bad wording on my part: it’s not so much about scope as it is incomplete at that point so the test cannot succeed
 
1:17 AM
@Ven now of course you might start to wonder what this means for has_foo-style metafunctions since that would mean they seemingly report different answers depending where they are used (i.e. all that point of instantiation stuff). it’s not quite what happens, but dig deep enough and…
take eveything with a grain of salt and feel free to run away screaming
 
1:44 AM
Just tested out VS2015 update 3 with the new optimizer that they've been advertising...
The performance... drumroll...
Regressed by about 1%.
gj MSFT
 
The New Wave was Daft Punk's first hit in back in 1994. Gotta say, it's a pretty addictive track.
> We are trying to organize our project repositories and there is a lengthy debate about what directory layout to adopt.
Sigh..
"lengthy debate about what directory layout to adopt"
How can one have a lengthy debate about that.
 
bikeshedding
that's 100% normal
 
Ben
2:12 AM
@orlp oh, that's awesome.
 
@Ben :P
 
Ben
@orlp where's the notation data though?
 
@Ben on the code in the left :)
I didn't make the song though
I made the player
 
Ben
ah
 
    float n = 0.0, b = 0.0, x = 0.0;
    #define D(u,v)   b+=float(u);if(t>b){x=b;n=float(v);}
if(1<0)D(10,71)D(2,76)D(3,79)D(1,78)D( 2,76)D( 4,83)D(2,81)D(6,78)D(6,76)D(3,79)
       D( 1,78)D(2,74)D(4,77)D(2,71)D(10,71)D( 2,76)D(3,79)D(1,78)D(2,76)D(4,83)
       D( 2,86)D(4,85)D(2,84)D(4,80)D( 2,84)D( 3,83)D(1,82)D(2,71)D(4,79)D(2,76)
       D(10,79)D(2,83)D(4,79)D(2,83)D( 4,79)D( 2,84)D(4,83)D(2,82)D(4,78)D(2,79)
       D( 3,83)D(1,82)D(2,70)D(4,71)D( 2,83)D(10,79)D(2,83)D(4,79)D(2,83)D(4,79)
that's the notation
 
2:41 AM
> they said earlier this year that they don't want to do another wvw tournament because they had a permanent decrease in player base after each of the previous ones
@AndreasPapadopoulos
 
Ben
@orlp why aren't the notes stored in an array?
 
@Ben GLSL is very restricted
think of it like this
every sample in the entire song is calculated in parallel
 
Ben
@orlp yes.
is the sample time measured in milliseconds?
 
Question: can we read linux commands in C++ from bin directory?
I am a total noob in linux.
 
2:56 AM
@LucDanton correlation is not causation etc
 
 
3 hours later…
5:54 AM
 
6:08 AM
I gave my chickens diatomaceous earth bath, now my orange chickens look more lavender
they hate me after each and every bath I gave them
 
who wouldn't
 
no matter it's wood ash, diatomaceous earth or water
@набиячлэвэли why?
Q: does Diatomaceous earth expire?
A: No, diatomaceous earth is a mineral and will never expire---remember--it is already thousands of years old!!
I like that answer ...
 
6:32 AM
 
telkitty double cock action
 
my honeys are hens
 
 
3 hours later…
9:06 AM
@StackedCrooked uu the latest Shokugeki was kinda cool! :) I checked the time when the competition began :P
 
nwp
@Griwes You could make the class abstract, go through the error messages, ignore the ones about instancing that class and fix all the other errors, then make it not abstract.
still a bit cumbersome, but better than runtime errors
 
Ell
@Griwes that is a weird need indeed. Could you possibly split it up into two classes?
One with the pure abstract bit
 
9:28 AM
Not really.
One thing I could possibly do is have an abstract class on the top, called in this case type, and then to represent the in-language type called type, I could have a type called type_type, but that feels somewhat weird (...but also solves this...). The only possibly problematic case is when for whatever reason I inherit from one of the derived types...
 
9:46 AM
Bookmarking this because I cannot count how many different artifacts I see when people try to render with OpenGL. Especially when they use it as a 2D rendering system and end up with ugly edge discontinuities.
3
 
Ell
@Griwes or call it universe
And give it levels
 
@Ell explain
(the levels)
 
Ell
Well, you need levels because otherwise universe would belong to itself
Which gives rise to Russell s paradox
 
Ah, you mean that. :P
typeof(type) is type. That's by design. :P
 
Ell
What is typeof(typeof(type))
 
9:57 AM
type
 
user1804599
Give rise to Russell's teapot
 
Ell
@Griwes I think that's broken
 
user1804599
Don't write type checkers in C++.
 
user1804599
It's a stupid thing to do.
 
user1804599
It's like swimming from London to NYC instead of taking an airplane.
 
10:01 AM
@Ell How? I'm pretty sure that both approaches work well.
 
Ell
Well
 
user1804599
@Ell the type of sorts
 
Ell
@Griwes let's say you want to enumerate values who's type isn't itsself
Hmm
Not thay
Let me think about this
There is an issue doing something for all types
Where type is all the universes
Having type : type leads to inconsistencies
 
user1804599
10:20 AM
Russell's paradox
 
user1804599
Given t : k, t is in universe u_n and k is in universe u_(n+1)
 
Ell
Yeah, I'm not sure how Russell's paradox is translated to type theory though
 
user1804599
It doesn't, because type theory was invented to overcome the paradox
 
nwp
> Before marrying someone, you should first make them use a computer with slow Internet, just to see who they really are.
 
Ell
@rightfold it can be, if type : type
 
user1804599
10:26 AM
that's true like "the Eiffel Tower is in New York if Moscow is the capital of Australia" is true
 
user1804599
false implies everything
 
Ell
Well, it depends what you call a type theory
 
user1804599
urmom is the universe
 
@wilx I'd think it's comparable in difficulty to English. They're both full of historical spelling artifacts. Arguably English is worse because it didn't develop in relative isolation, instead borrowing things from all over the place.
Source: one of my friends who is an English scholar of Tibetan working for the British Museum.
 
11:05 AM
Rails escapes for you. The programmer doesn't escape himself. This is 2016. — Ven yesterday
so much better without "for"
 
11:43 AM
std::atomic::is_always_lock_free and std::not_fn for GCC7.
Apparently, we'll get most of the library parts in GCC7.
Except maybe the parallelism TS and the polymorphic allocators.
 
12:02 PM
@Morwenn 'tis my favorite attack helicopter <3
 
ADG
if we have same name functions in two different classes will it be considered as function overloading?
 
@Borgleader Still that same old joke? :p
 
@Morwenn It was referenced last night
 
@ADG No.
Subtle edge case with inheritance: melpon.org/wandbox/permlink/CLSkrenSWTlTVbyT
@Morwenn Cough
 
12:17 PM
@LucDanton Very nice
Feel free to torment me further
 
@Borgleader Oh right, I got pinged but I was too tired to answer.
@sehe Wow, so wtf. I like it :D
 
It's nice and implicit. Plus the thunderous visual pun of course
"It wasn't a girl" - nicest understated way to make the point
 
yup
And it was huge enough to be unexpected as well.
7
 
Oh man. This is a new high
 
Wow.
 
Ven
1:21 PM
yo
 
Hey :3
 
Ven
> You've earned the "protect questions" privilege! Learn more about it in the help center.
hi @Morwenn \o/
 
> I want too protect the people I love, but I can't even protect questions yet.
We're almost done recording our future album.
 
Ven
i have no idea how you protect a question
 
We just need to record the tin whistle for a track,and the harp for another one.
 
Ven
1:23 PM
@Morwenn RIP all the beers you drank by then
 
@Ven Full Havel's
 
@Ven The beers would have been drunk anyway.
 
Ven
1:35 PM
@LucDanton Well, if that were the case, removing the 2nd implementation of foo_impl wouldn't change what happens, right?
 
@Ven except with respect to float
 
Ven
Okay. So, when calling foo(3.14);, it considers the 2nd foo_impl. But when it starts recursing, since it's has_foo doing the recursion, the 2nd impl isn't considered?
 
it is, but the current instantiation is incomplete (until the opening brace at least) so using it in a way that requires it to be complete triggers SFINAE
that’s my casual understanding
 
Ven
Okay, thanks. Mind if I answer it?
 
not at all
those things are hard to pin down, the fact that it’s easy to make the compilers ICE or do different, weird things mean that I’m not really sure of anything tbh
 
Ven
1:40 PM
@LucDanton when you say "the 2nd impl is incomplete" - it's incomplete for has_foo (because its declaration is after has_foo), or just because it's currently being instantiated by the call?
 
yeah that’s made clearer imo if you consider an instantiation stack
 
Ven
"is it A or B" "yeah" thx luke
 
foo_impl<float> triggers foo_impl<int> which when triggering foo_impl<int> is incomplete and that’s where you get the SFINAE
@Ven order of declaration is not relevant (save for scope)
otherwise partial specialization would not work at all
 
path of exile is fun
 
@Ven 'does green taste of cheese?'
> The Livonian Brothers of the Sword […] was a military order established by their second bishop, Bishop Albert of Riga, in 1202.
if the second bishop established it, how did they have a first one ._.
 
1:46 PM
@LucDanton maybe it was originally just an opt-in club of brothers in arms which was only later officially established as an "order" :P
 
Path to Exile is cool too.
 
would be a lot cooler if it ran any well
 
Ven
2:21 PM
@LucDanton stackoverflow.com/a/39065216/1737909 sounds correct to you?
 
@Ven yes. you might want to disambiguate some of the references to foo_impl to foo_impl<float> or foo_impl<unsigned> as applicable though
 
Ven
@LucDanton done, ty.
 
2:59 PM
@Ven An excellent answer. Kudos.
 
@Ven Have a boat in the upright positon.
 
Ven
well, thanks.
 
@Ven (sent from my phone in australia)
 
3:23 PM
right ...
 
I've had some time to properly read Rust's documentation... I spotted a few minor stumbling blocks, and I'm still getting the hang of exactly how patterns interact with matching. But it's a well-designed language for the most part. (I really like enums with data)
 
@AndreasPapadopoulos either this is true and you are coming over to meet me, or I am going over to China next month & you can meet me there ...
Don't get excited, it's just out of convenience
 
 
2 hours later…
5:46 PM
fockin ell m8
didn't know i depended so much on good music to code
 
« Good music »
 
@Morwenn music that conforms to my taste is good for me, at least
 
user1804599
6:22 PM
@fredoverflow Cofree comonads are a really nice solution to the AST typing problem: github.com/rightfold/spotscript/blob/master/src/Language/…
 
You are right girl.
 
Ven
ooh
i forgot, new episode.
 
user1804599
6:39 PM
Path-dependent types are great.
 
@StackedCrooked Too much possession D:
 
@StackedCrooked Why would you sniff a car?
 
Ven
lol
Thanks a lot for the explanation. Do you have any reference to the relevant standard section for me to study? Or a cppreference link or something like that :) — bluescarni 35 mins ago
now to get some standardese...
i'm scared. hold me tight please @LucDanton
7
 
6:58 PM
it's okay bby I know you'll find it
 
Ven
i need to find where the standard talks about SFIANE.
4
If only @xeo were here
 
Xeo
huh?
 
Ven
what a summon.
 
Xeo
well, you pinged me
 
Ven
I guess.
 
Xeo
7:00 PM
I'm always lurking in the Lounge (as in, have it open in a tab)
 
Ven
@Xeo do you happen to have any possible clue about where SFINAE is defined in the standard?
 
Xeo
somewhere around overload resolution, I'd guess
 
Ven
thanks
 
Xeo
since that's where it comes into play
 
How many more reopen votes until it clicks? stackoverflow.com/questions/39029434/…
 
Ven
7:05 PM
mayn, i paused re:zero just to read the standard... Fml :(
 
@Xeo At least he's aware of who's well informed about template instantiation rules
Sfiane is a nice name for a girl.
 
Ven
I'd have asked refp if he still came around, mind you.
> This rule applies during overload resolution of function templates: When substituting the deduced type for the template parameter fails, the specialization is discarded from the overload set instead of causing a compile error.
 
user1804599
7:21 PM
@Xeo i.e. somewhere in the 1900 pages 😜
 
user1804599
@sehe sfiance
 
Ven
seems like a really complex process. :D
 
temp.over/1 also has > If, for a given function template, argument deduction fails or the synthesized function template specialization would be ill-formed, no such function is added to the set of candidate functions for that template.
 
Ven
I'm reading that one. But I'm looking for the part about being "incomplete"
and how being incomplete is such a prohibition.
> For each function template, if the argument deduction and checking succeeds
Also, @jaggedSpire. <3<3<3<3 for looking with me.
 
@Ven <3
 
Ven
7:27 PM
putting your life on the line for me. I really appreciate it.
> if F is a static member function, ICS1(F) is defined such that ICS1(F) is neither better nor worse than ICS1(G) for any function G, and, symmetrically, ICS1(G) is neither better nor worse than ICS1(F)130; otherwise,
I hate C++
4
This is making my starred messages looking like a story. "I need to find X in the standard" > "I'm scared" > "I hate C++"
Good.
I think I found something!
> If a class template has been declared, but not defined, at the point of instantiation ([temp.point]), the instantiation yields an incomplete class type (14.7.1/1)
Now I need to find the part that says such an incomplete class type makes substitution fail...
That sounds easier to do, actually?
 
ooooh
yeah
 
@rightfold all your favs linked up
 
I actually already found that, probably
 
Ven
@jaggedSpire did you? :O
 
@Ven if incomplete leads to instantiation failure, it's usable
 
Ven
7:36 PM
@sehe sorry? not sure which side you're talking about
 
side?
Not again, surely. I respond straight up to something you say, and you just blurt "sorry?"
I dunno.
 
temp.deduct seems to contain all sorts of conditions for substitution failure, ctrl-f "fail"
 
Seems you have very little patience responding to much I say.
Never mind. I'm sorry I interacted.
 
Ven
Or maybe it's just that talking about C++ standard with semi-ambiguous vocab makes for hard conversations
what does "usable" mean here? Do you mean, it's usable as a template overload, or it's usable to answer the question?
those were the two "sides"
 
Ok, fair. Rephrasing
> if "incomplete type" leads to [an] instantiation failure, it's usable [for SFINAE] can be used to discard instantiations with SFINAE
Sorry for being (too) brief
 
Ven
7:40 PM
Aaah, okay. Thank you. Yes, that's the part I'm trying to justify using legalese -- and @jaggedSpire is helping me find the wording.
 
I thought it made sense as a direct response. I guess I'm not like you in that I discard surrounding context for the sake of brevity :)
 
Ven
7 mins ago, by Ven
> If a class template has been declared, but not defined, at the point of instantiation ([temp.point]), the instantiation yields an incomplete class type (14.7.1/1)
That's where I'm at now.
 
Yup. That seems the fruitful route.
 
this is so, so good https://t.co/iRx6WlZ0Am
2
 
Ven
what
the
fuck
 
7:44 PM
The big question, of course, being: Is "Attack Helicopter" even a proper brand? https://twitter.com/_tessr/status/766483909970231299
/cc @Borgleader @Morwenn
 
7:56 PM
Hello there - As a more wide than narrow question, whats the general layout of a .aspx file? I've used C# with and without MVC, and while I know that MVC splits up the Views and Controllers, how do you make it look nice without it? It does not feel like it looks right when you got a good bunch of HTML, and suddenly some C# code, then more HTML, so on and so forth. Do you just "cut" the file in half where the top part is C# and the bottom is HTML as to not mix it together as much?
 
...what weird train of thought made you think this is the right place to ask this question?
I'm serious. I want to know that.
So I can stop people from doing it again.
 
I'm not doubting your question, at all
But to answer it, no idea to be honest. I guess because it is the only currently active room that touches C/ASP.net atm?
 
...how the hell does this room "touch" ASP.net?
 
Well not ASP.net in particular, but I figured since it is C++, it isnt too many miles away from C#
 
Also, if you wanted to buy a Toyota, but the only car dealership that was still open was a Ford dealership, would you go to the Ford dealership and ask for a Toyota?
Both are cars, right?
Same deal, right?
 
8:00 PM
I dont see it that way, if you want to take that comparison I'd probably go to the PHP room and ask it, because they're both programming languages.
 
You did exactly that.
You took a C# question and asked it in a C++ room.
Both are programming languages, right?
 
Well, Yes
But in my head, they're both C languages.
 
...
Okay, I assumed you had some brain left.
It seems you don't.
inb4 flags
 
I was going to say thanks for atleast directing me, rather than leaving me in silence. Which would probably still have been better.
 
Oh, did I even just seem helpful for a nanosecond? If so then I'm sorry, that wasn't the intent.
 
8:03 PM
But if you're going to redirect me, AND flame me for being somewhat not new but also a not-that-active-member of this community, then I'm not the one to put to blame. Not 100% of it anyways.
 
Being new or not, being active or not doesn't matter.
Going to a Ford dealership for a Toyota is at the very least silly.
 
I bet you're the guy that starts shouting at the top of your lungs directly someone comes up to you at the street asking for directions as well.
 
Also you failed to read the pinned rules.
 
Ven
Do you realize what you just did is literally the:

"- I need help with my savings account"
- Sir this is a bakery
- I know, but you're the thign open right now"
That's very literally what you did.
 
That I did, but it couldn't be less visible where it is either, in regards to the room description.
 
8:04 PM
@Ven I prefer my car dealership analogy. :P
 
But yes. I shall take my leave then.
All I can say is, thanks for being a complete douchebag about the situation, but also for directing me without too much of a delay.
 
vOv
 
Jan 30 '15 at 2:30, by Borgleader
"Hi I have a question about my retirement fund"
"Sir this is a convenience store..."
"I know but it's the only thing open at this hour"
 
Because if I bump into you at the street and ask where the nearest shop is because I am new to the area, the least thing I expect is for you to start shouting at the top of your lungs. Exactly what you did here.
 
Ven
@Xariez Make sure to come back to our bakery anytime you want to buy a salad.
 
8:06 PM
I will @Ven
 
Ven
:)
 
@Xariez lol nope
 
Ven
also i'm afraid you'll have a hard time making any of us here sorry that we have to deal with entitled people like you.
 
Thats not my intent.
 
@Xariez Though if I will be, say, giving a lecture or a talk and you come up to me and ask for directions, then well, do expect to get yelled at (and thrown out by security, if there's any at the place).
 
8:07 PM
I'm just stating facts.
 
Ven
^ nice one
 
True, true, but I didnt see much activity in this room when I got here @Griwes
Even less so in a lecturing matter
 
Ven
you're lucky Robot isn't here to explain to you why "I'm stating facts" is a retarded thing to say.
 
I'm sure I am
 
@Xariez That's not an analogy for you coming here.
 
8:08 PM
Still
 
That was the car dealership one.
This one is a counterargument for your stupid ad hominem.
 
Can you just explain to me why you started this whole..conversation?
 
Ven
because you came here
 
Instead of say "This isn't the right room for this question, so why are you here?"
 
@Xariez I didn't, you did!
 
Ven
8:09 PM
try the C++ room :>
 
@Xariez That's literally what I did. With other words, but I was equally clear about that.
@Ven Poor C++ room, getting a guy doing C#/ASP.net. :D
 
Fair enough
 
Ven
I tried joining that C++ room. Within 30min an indian dude pinged the whole room (including me) for his homework quetion. I left.
 
That sounds dandy
Afterall, I said I'm going to take my leave and so I shall, afterall, you're not wrong, but you're sure as hell a douche. Toodles! @Griwes
 
Ven
bye :).
Sigh. I still don't know where I can find the fact that an incomplete type leads to SFINAE. Got an idea @Griwes?
 
8:15 PM
@Ven I'm afraid I'm going to need to see code to try to figure out what exactly you mean. :P
Oh, shiny, memory corruption.
Long time no see. :D
 
Ven
I found the first part of the explanation. Not the second (what I'm asing you about).
I'm looking for standardese
 
uh-oh, under gdb there's a segfault in malloc
something's broken
 
@Griwes I like that you correctly detected from his first message that "train of thought" appears to be his modus operandi
 
:D
 
@Griwes Except it's more like he ran into a confection store
@Xariez So you're saying "I didn't know bakery products are something else than finance services" - so you expect the baker to go "Oh, okay then, we'll open up a new savings account for you then"
 
8:20 PM
> Since it's currently being instantiated, it's incomplete, and this overload is not considered.
s/overload/specialization/
What's the latest draft's document number?
N4606.
 
Ven
I'm using eel.is/c++draft
 
Yeah, I guessed so, but I like having the entire document in front of me. :P
 
@Xariez You are assuming there is no reason, because you're blind to your own ignorance. Firstly, everyone who takes a few moments would know C++ and {C#/MVC/ASP} have ∅ overlap. Also, we deal with entitled Dunning-Kruger servants on a daily basis, so we /have to/ be douchebags about it, so we don't get drawn out discussions like this one.
 
Ven
> 14.8.2/8 "If a substitution results in an invalid type or expression, type deduction fails. An invalid type or expression is one that would be ill-formed, with a diagnostic required, if written using the substituted arguments."
 
Oh shit. I engaged.
 
8:22 PM
(If you go through the ancient history of stars in this room, you'll see that it was me who first linked Eelis' rendering of the draft here. :P)
 
Ven
that's another part we found, but I don't think it's actually relevant, because there's no "type deduction"
 
@Ven That almost spells 14882. I find that funny.
4
 
@Griwes Do you want fees? :)
 
lol
 
@Griwes That's a very geeky reference
 
Ven
8:24 PM
Nested C++ :P.
okay it's 10pm. I'll pause my reading and go for some eating.
 
@sehe that tweet's not that funny without the context. :P
 
The link was not perfect anyways. The geekyness is only in the reference. Also, I point at the context.
 
@Ven I'm now reading [temp.spec]. This is all your fault.
 
And this is literally the first time I come across the limerick while looking for something else than the limerick itself.
 
Ven
8:43 PM
@Griwes <3 I'm okay with sending you a pizza for this sacrifice :P.
@jaggedSpire ^ same for you
 
> For two class template partial specializations, the first is more specialized than the second if, given the following rewrite to two function templates, the first function template is more specialized than the second according to the ordering rules for function templates ([temp.func.order]):
ARE YOU ON DRUGS C++
6
 
@Ven nah it's all good.I got distracted
 
Ven
yes
 
what the fuck
 
I mean, what the fuck is that rule.
I understand the need to avoid duplication of precious normative text words, but this is at the very least backwards.
> To produce the transformed template, for each type, non-type, or template template parameter (including template parameter packs ([temp.variadic]) thereof) synthesize a unique type, value, or class template respectively and substitute it for each occurrence of that parameter in the function type of the template.
my brain will not be the same after reading all this
> [ Note: The type replacing the placeholder in the type of the value synthesized for a non-type template parameter is also a unique synthesized type. — end note ]
 
8:47 PM
My brain does not parse legalese
those paragraphs do not yield a syntax tree
 
It basically says that to order partial specializations, it instantiates them with dummy types.
 
As-if comes in handy again. I think it's actually a pretty decent "wording" trick to describe the logical process
 
Ven
> In particular, the effects are undefined in the following cases:
> if an incomplete type ([basic.types]) is used as a template argument when instantiating a template component, unless specifically allowed for that component.
17.6.4.8/2.5
 
Of course, compiler writers don't have to /actually/ do all the work if they can arrive at the equivalent answers by more efficient/reasonable means, but the conciseness of the formal specification is more important than that
@Ven ooh. That hits close to home
 
@Ven OP is not using an incomplete type as a template argument though.
 
Ven
8:56 PM
true. it's not an argument. :[
 
Ugh where's the rules for when a template instantiation is complete?
 
user1804599
@Ven do you think this is a good notation to say L <: T <: U? T ∈ [L, U]
 
> [14.7.1/1] If a class template has been declared, but not defined, at the point of instantiation ([temp.point]), the instantiation yields an incomplete class type.
From your answer. This is not it though.
 
Ven
@Griwes that's the part I already found yeah
eh?
 
It talks about templates that have a declaration, but not a definition at instantiation point.
This is not the case, we have the definitions for both partial specializations already.
 
00:00 - 21:0021:00 - 00:00

« first day (2136 days earlier)      last day (2810 days later) »