% jan has joined #parrot % iblechbot has joined #parrot % TiMBuS has left TiMBuS!~Hurf@123-243-167-27.static.tpgi.com.au % TiMBuS has joined #parrot % clunker3 has left clunker3!~IRC@procura.xs4all.nl % bacek_ has left bacek_!~bacek@mcas-151.usr.optusnet.com.au r29222 | bernhard++ | trunk: : [codingstd] Add spaces after comma. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29222 % Ademan has joined #parrot % Whiteknight has joined #parrot r29223 | fperrad++ | trunk: : Fix t/src/extend.t failures. : r29171 introduces Parrot_vfprintf(), so we need to #include diff: http://www.parrotvm.org/svn/parrot/revision?rev=29223 % ruoso has left ruoso!~ruoso@201009120124.user.veloxzone.com.br % Whiteknight has left Whiteknight!~nobody@c-71-230-33-251.hsd1.pa.comcast.net pmichaud: (for scrollback) Just been catching up with some other (non-Rakudo) stuff this morning that I didn't get to last night; going to hack on some non-signatures stuff for now. Ping me when you're about - maybe we can work on parts of it together, or something. % ruoso has joined #parrot % bacek has joined #parrot % bacek has left bacek!~bacek@pa58-109-166-195.pa.nsw.optusnet.com.au % barney has joined #parrot % Whiteknight has joined #parrot r29224 | bernhard++ | trunk: : [Pipp] 'make pipp' now correctly depends on 'make build-common'. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29224 r29225 | Whiteknight++ | gsoc_pdd09: : [gsoc_pdd09] update to trunk r29223 diff: http://www.parrotvm.org/svn/parrot/revision?rev=29225 % Whiteknight has left Whiteknight!~nobody@c-71-230-33-251.hsd1.pa.comcast.net r29226 | bernhard++ | trunk: : [Getopt::Obj] Some beautifications. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29226 php? php is really badly designed or swahili for "child molestor" or Philippine pesos or PHP: Hardly Programming or brought to you by the teletubbies or proof there is no god or http://xrl.us/t6wx or the little transgender brother of perl or http://tnx.nl/php or easy or was better when it was a templating system or blamed on Rasmus Lerdorf... or the preferred method of delivering MySQL errors to web browsers ...wow! purl: php is also the worse-is-better approach taken to to dazzling new depths i'm sorry, but that's too long, moritz sad % paco has joined #parrot % jhorwitz has joined #parrot % iblechbot has left iblechbot!~iblechbot@88.16-dial.augustakom.net % TiMBuS has left TiMBuS!~Hurf@123-243-167-27.static.tpgi.com.au % gryphon has joined #parrot r29227 | bernhard++ | trunk: : [Pipp] Option 'd' is a Hash. Remember the settings from the 'd'-option. : Implement 'ini_get'. Pass test 4 of the spectests. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29227 % davidfetter has left davidfetter!~davidfett@start.fetter.org % davidfetter has joined #parrot % gmansi has left gmansi!~gmansi@190.55.35.246 r29228 | bernhard++ | trunk: : [Pipp] Start with ini_set() and with $php_errormsg. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29228 % gryphon has left gryphon!~gryphon@dsl-209-221-185-54.zipcon.net % uniejo has left uniejo!~uniejo@193.88.64.250 % gmansi has joined #parrot % gryphon has joined #parrot % gmansi has left gmansi!~gmansi@190.55.35.246 % iblechbot has joined #parrot % rdice has joined #parrot % gmansi has joined #parrot NotFound: ping r29229 | cotto++ | trunk: : [codingstd] wrap macro args diff: http://www.parrotvm.org/svn/parrot/revision?rev=29229 pmichaud: pong r29230 | cotto++ | trunk: : [codingstd] wrap macro args in src/jit/sun4/jit_emit.h diff: http://www.parrotvm.org/svn/parrot/revision?rev=29230 % jq has left jq!~jquelin@merlin.mongueurs.net r29231 | jonathan++ | trunk: : [rakudo] First crack at starting to get named enums in place. This sets up a role, a class, and puts instances of it (for the enum values) into the right places. It introduces an Enum base class for all enumerations also. This doesn't let us do a lot useful with them yet, but it's the first step. If this turns out to be a good base to build the rest on, what I'm checking in now will undoubtably get clean-up to eliminate a few bits of inline PIR; for now, it diff: http://www.parrotvm.org/svn/parrot/revision?rev=29231 Overlength commit message dalek fail! NotFound: (RT #56750) -- it seems to me as though this code is replacing what is currently a constant hash lookup with creation of new gc-able elements for every declaration of an empty string Am I reading it wrong? jonathan: that's a bug, for sure, but... can't you use multiple lines in your commit messages? I typically do: [rakudo]

* more details * more details if I'm going to be making a bunch of changes to wrap macro args, should I commit one file at a time to make bisection easier, or just do them all at once? * particle too pmichaud: I looked at const_string code, and it does a hash lookup and creates and populates a new string with a copy of the result. that's what makes it easier for git users cotto_home: dir at a time might be a good compromise particle: I just write them on the command line, rather than it opening a text editor... Just creating the string is short and faster. particle: sounds good jonathan: ah, i use tortoisesvn's utility NotFound: I see that it does the hash lookup, but I don't see that it creates/populates a new string with the copy of the result pmichaud: it calls string_make_direct yes, but only once per constant string particle: I think there's some environment variable I could configure...but normally I do small enough commits (deliberately) to not have so much to say. :-) subsequent calls to const_string for the same constant string will re-use the string it created in previous calls r29232 | cotto++ | trunk: : [codingstd] wrap macro args in src/jit/skeleton/jit_emit.h diff: http://www.parrotvm.org/svn/parrot/revision?rev=29232 (I should say once per constant string value per interpreter) jonathan++ # working on enum classes jonathan: (re: signatures) after yesterday's conversations I'm a little burned out on lexicals, signatures, and the like so I'm taking a bit of a break this morning. pmichaud: mmmm... then I don't understand at all how it works. % UltraDM has left UltraDM!~george@dasapass.avira.com NotFound: interp->const_string_hash is a cache pmichaud: I can only imagine...break++. the first time we call const_string with "" as the buffer argument, the hash lookup fails and so we use string_make_direct to create a new STRING instance, store it in the cache, and return it subsequent calls to const_string with "" as the buffer argument will then find the string in the hash and return it directly, without creating a new one pmichaud: yes, but returning the string header directly exposes it to external modifications. ...except it's a constant. if something is modifying it, that's a bug in the caller. pmichaud: that is another problem, the string struct is exposed, and is directly modified from a lot of places. the string struct is modified for things created using const_string? pmichaud: given some recent tickets, I'm almos sure it is. I'm almost certain it isn't. :-P but pick one and I'll analyze it. I suspect what is happening is that someone is modifying a string register that isn't properly cloned. Probably, but in that case someone is modifying a const string, it isn't? sure, but the solution is to get them to not modify the constant string, not to fix Parrot so that strings are no longer COW or shared pmichaud: ok, I agree to reject the ticket and keep working in the problems. % jq has joined #parrot jonathan: do we need a separate Enum class? I somewhat figured that enums were just roles. (I'm asking only for elucidation, not because I think it's necessarily wrong.) pmichaud: The way S12 writes it, enums do everything excluding world peace... They can act as a role, but are in fact a kind of class. I'm not 100% sure about the Enum class yet, but it ain't really important and will be easy to be rid of if it's wrong. It is a convenient place to be able to stick some stuff that all enums will implement (though there are other ways to do that) and I figure you'd maybe want to be able to say Bool ~~ Enum and get true. It's probably something to get a clarification on. okay r29233 | bernhard++ | trunk: : [codinstd] remove trailing spaces diff: http://www.parrotvm.org/svn/parrot/revision?rev=29233 But we could just switch to inheriting from Any and get the few methods from elsewhere. I often have difficulty with the role/class distinction in general. Same. doesn't the "enum" statement somewhat indicate the base type? But S12 says "An enum is a low-level class that can function as a role or property." It indicates the type of the property. IIRC, TimToady made a statement somewhere that properties are just roles Right. that's because the specs aren't clear about what builtin types are roles and what are classes A property is a role with one attribute, pretty much. r29234 | julianalbo++ | trunk: : Clean some unreachable code warnings diff: http://www.parrotvm.org/svn/parrot/revision?rev=29234 * particle has a feeling that implementation will inform the spec writer here particle: I found the enums part of the spec quite wolly, tbh. wolly? *woolly r29235 | cotto++ | trunk: : [codingstd] wrap macro args in src/jit/ppc/jit_emit.h Is that how you spell it? Maybe it's excessively Britt English. :-) : now down to 1819 failures of macro arg test but if I have my enum Day then isn't Day really a subclass of Int ? diff: http://www.parrotvm.org/svn/parrot/revision?rev=29235 or is that not what is meant by "default type"? I can't see how it could work that way. Because it's a property too. A property being of type Int actually means that the attribute in the role defining that property has type Int okay. So when you say "$x but True" you're adding an attribute of type bit to $x ...when we have attributes of type bit, at least. :-) What is the purpose of: if (0 && GC_DEBUG(interp) ) ? is it more precise to say "$x but True" adds an attribute 'bool' of type bit to $x ? Yes. And also accessor method named bool Well, the attribute is really called $!bool. so, "our bit enum bool " creates a role, that role has a "$!bool" attribute and a "bool" accessor ? (and the role's name is 'bool') lots of bools around here ;) The first statement is true. The second is not, because while we need a role (so we can compose it into stuff), bool itself is a class (implying what is in the namespae under bool is a class). Thus the role, under the current implementation, is anonymous. And composed into the class bool namespaces can't have roles? The slot can hold a class or a role. so why does bool itself need to be a class? The specification says it is; additionally, the enum values are instances of this class. And you can't instantiate a role. S12:1773 says: Note that C and C are really role names. jonathan: a class of the same name is automagically created if you try to instantiate a role Hmmm...mabye I've got this the wrong way around and the class should be anonymous and the role has the name. that's how i see it That can probably work too... S12:2037 says When the typename happens to be a role, autovivifying it involves attempting to create a punned class of the same name as the role. OK Then it likely should be the other way around...good catch. (And no real hassle to do it that way instead.) yes. The introduction of an Enum class (where the spec doesn't mention one) kinda threw me for a bit. :-) OK, I expect that can disappear. OK, I'll get those shuffled around. Thanks for the clarification/feedback. r29236 | julianalbo++ | trunk: : Clean other unreachable code warning diff: http://www.parrotvm.org/svn/parrot/revision?rev=29236 % Theory has joined #parrot r29237 | bernhard++ | trunk: : [Pipp] add test of backslashes in single quoted strings. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29237 % Andy has joined #parrot r29238 | bernhard++ | trunk: : [Pipp] Use the default variant, PCT, for spec-testing. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29238 % gryphon_ has joined #parrot % gryphon has left gryphon!~gryphon@dsl-209-221-185-54.zipcon.net % davidfetter has left davidfetter!~davidfett@start.fetter.org % Whiteknight has joined #parrot % davidfetter has joined #parrot % Ademan has left Ademan!~dan@h-67-101-103-49.snfccasy.dynamic.covad.net r29239 | chromatic++ | gsoc_pdd09: : [Rakudo] Brought Rakudo up to date with latest changes in concurrency branch. : Now it compiles and passes most of the sanity tests. (It looks like the : operator precedence parsing bug is responsible for most of the failures.) diff: http://www.parrotvm.org/svn/parrot/revision?rev=29239 % apple-gunkies has joined #parrot % barney has left barney!~bernhard@p549A38B2.dip0.t-ipconnect.de r29240 | Whiteknight++ | gsoc_pdd09: : [gsoc_pdd09] update to trunk r29238 diff: http://www.parrotvm.org/svn/parrot/revision?rev=29240 % AndyA has left AndyA!~andy@ca93nt.hexten.net Hmm. If you override the invoke v-table method, self doesn't get passed in. % AndyA has joined #parrot % Ademan has joined #parrot % Theory has left Theory!~Theory@c-67-160-131-113.hsd1.wa.comcast.net jonathan: correct -- this is a known misfeature Whiteknight was working on it last week, iirc. Grr. I kinda need that to work. :-S Wonder if I should task-steall... Whiteknight: ping I'm quite certain that Whiteknight would welcome any advice or assistance you can provide. :-) I'll look for our irc log conversation from last week I'm still pondering the best way to do it... looks like we started the discussion at http://irclog.perlgeek.de/parrot/2008-07-03#i_379876 Thanks, reading through it... % Eevee has joined #parrot It's easy enough to get us the invocant passed, it's getting the invocant passed _and_ preserving the other arguments that are passed that is tricky. pmichaud: Agree with you it's not an IMCC level issue. i'm here I was working on it, set up branches/vtable_has_self but haven't made much progress because I dont understand argument passing Whiteknight: For every v-table override other than invoke, we do something like Parrot_run_meth_fromc_args(interp, meth, pmc, meth_name, "P"); Note that we invoke the PIR method and pass along "pmc" - the current PMC instance, which becomes the object. % apple-gunkies has left apple-gunkies!~chatzilla@cable-cmts3-65-161-245-232.vvm.com In invoke we don't do that because we want to let the invokee handle the arguments. r29241 | chromatic++ | pdd25cx: : [Rakudo] Updated exception-throwing code to use the most appropriate Parrot : function (s/real_exception/Parrot_ex_throw_from_c_args/); this time really in : the pdd25cx branch. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29241 Apart from, this doesn't quite work out, because we don't get a chance to insert the invocant in. The invoke vtable method has it, but doesn't put it into the args of the invoked PIR sub. ahhhhh and so an invoke vtable method in PIR doesn't have a way to get at the arguments i.e., we could do $P0(arg1,arg2), but the invoke vtable method doesn't have a way to get at the arguments, because invoke is always invoke_p does that sound even close to right? No; $P0(arg1,arg2) will invoke the PIR override for invoke with just those two parameters. The problem is that it should invoke the PIR override with three parameters: the first parameter should be self, followed by the other two. Basically, we need to "splice" another argument into the call. vtable_invoke takes a variable number of aprameters? are there any other vtable methods that do that? vtable_invoke doesn't care about the parameters at all invoke generally doesn't do anything parameter related right, exactly it's always invoke_p The get_params opcode in the sub is what starts the paramter getting. The invoke vtable method in object just passes control on to the PIR override method. let me go by way of analogy if I override get_boolean in PIR, then I get 'self' and nothing else. period. If I put an extra .param statement in the PIR vtable, it's an argument mismatch. because get_boolean doesn't take any arguments. No, not quite There two different types of argument going on here. yes, exactly The C ones, and those that PIR cares bout So normally, for every other override, there was no set_args before it. there are the arguments to the vtable invocation itself, and then there are the PIR arguments set up by set_args and get_args The argumetns were given to C. So from C, we run the PIR and pass the args the C vtable method received, along with the invocant. right but since the C vtable method for invoke doesn't get any arguments... In vtable invoke, the C doesn't get any of the args from the PIR. All invoke does, in reality, is changes the program counter to point at the PIR instruction that is the start of the sub. we're saying the same thing. Right. except I'm saying that if we fix it so that :vtable('invoke') gets the PIR arguments, that's a somewhat substantial departure from how the other :vtable methods work. because none of the other vtable methods do that. There aren't any PIR arguments for other vtable methods. right. But invoke needs to be different in some sense. Because otherwise, how does it actually get hold of the PIR args? yes, I guess I'm questioning whether we really want it to be different. (And I misspoke earlier -- it's _already_ different, it's just incompatibily different) $P0(x, y) - we'd like the v-table override not just to be able to get hold of the self, but also the x and the y, I guess? I agree that without doing something like this there's not an easy way to get at the PIR args, short of doing our own .pcc statements. can we build a new set of PIR arguments from the existing ones? Well, the bigger problem is that even invoking the other PIR method would then clobber the arguments of the original call. You mean with self unshifted onto the start? yeah That's what I think we need to do. Unfortunately, I don't see a trivial way to do it. I agree. however, since we expect to be substantially modifying the calling conventions anyway, perhaps we should open a ticket for the new calling conventions and then make this issue a dependency on that I mean, I've got a good idea of one way to do it, which is to fake getting the args as slurpies, then setting up a new call... well, except for the fact that you need :vtable('invoke') today, apparently :-( I can hack around the current situation. It's going to stop me getting one small bit of enums working. I should probably grab allison's PCC message from the mailing list and turn it into a ticket so I can attach other tickets that depend on it can you munge and tailcall to avoid a frame? Like, they can act as a simple argumentless function. r29242 | julianalbo++ | trunk: : Another unreachable warning, codingstd in jit_emit ppc diff: http://www.parrotvm.org/svn/parrot/revision?rev=29242 particle: Going and diddling the signature is one other option. :-) perhaps you could override invoke but get self from the interp ? is self stored in interp? since it's a sub in this case, yes. sub.pmc puts current_object into the context and clear it in the interp. I tried to splice in a "self" argument, but I dont know how to do that ah. hrmm. At the point the sub is invoked. (sorry about the delay, you guys talk fast and I had to backlog) I thought that the interp always had a reference to the current executing sub for vtable invoke, self is the current executing sub interp->current_ctx i.e., in $P0(1,2) self would end up being $P0 oh, wait hrm. The currently executing sub is the vtable override if the object that $P0 is an...right. s/if/of/ I wonder if... NO! sorry :) * jonathan attempts great, great evil .me gets his garlic and cruciifx ready * particle wonders if Coke is watching OK, it's not so easy as I'd hoped...I think we can runtime-patch the signature, though. But what I was going to do will likely get us a memory leak. % Eevee has left Eevee!~eevee@c-67-160-3-54.hsd1.wa.comcast.net I was thinking we could ferret away a self pointer somewhere, like a new field in the interpreter struct for this purpose if it's not null, use it as the first parameter, if it is null (as it would be most of the time) use parameters like normal Yeah a bit of a hack, but it solves our problem I'm coming around to that idea too. Well, maybe we want to have a flag in the signature that says "get the current object from the context and use it as the parameter here". maybe create an [add|get|_self opcodes to set this field for method and vtable calls Nah, I don't think we want to add opcodes. true, but how would we set that flag? in the invoke opcode? Yeah Diddle the signature object. It's still a fair bit of work I think to do that though, or at least to get it stable enough to work reliably. So where do we even start? We've got that branch set aside to play in, but this is far outside my realm of expertise and I'm certainly willing to do the work if I had some guidance about where/how to do it OK Whiteknight: maybe fix my hll namespace problem first? ;-) or I can work on that one. So we have an arguments signature. Whiteknight: don't you have a soc project to finish? ;-) It can be in the bytecode, or it can ge in the interp structure. If it's referenced from the bytecode, it needs a lookup in the constants table. Find it from wherever, then clone it. Then unshift onto it something (see PDD3 for flag values) that indicates it's a PMC, then add another flag to say it should be sourced from the current_object in the context. Oh, before you can unshift it, switch it's vtable to be ResizableIntegerArray. As you can't unshift onto a fixed one. Then stash that in interp->current_args r29243 | pmichaud++ | trunk: : [rakudo]: spectest-progress.csv update: 94 files, 1679 passing tests diff: http://www.parrotvm.org/svn/parrot/revision?rev=29243 Then hack inter_call.c to recognize this flag in the signature and get the object from the current_object in the context. And in theory it maybe, just maybe, will work! and in reality it will definitely, definitely, be an ugly hack (no offense) :-) I have a lot of projects to work on Whiteknight: we should clone you ;) what I need is a third computer here and two more hands * pmichaud deals ten cards to WhiteKnight. * Whiteknight checks, no gin rummy pmichaud: If you can think of something better... ;-) my "better" is long-term and involves re-thinking PCC altogether :-) Anyway, I don't have the energy to try that today, nor the motivation.. agreed :-) I'll work around it for now. % clunker3 has joined #parrot I really want to get a basically working-ish enums implementation before the end of the day. focus on that, I'll monkey around quietly on this vtable invoke nonsense that would be outstanding % Ron has joined #parrot Looks like the const_cstring_hash is never marked as live. Is this intentional for some reason? r29244 | jhorwitz++ | trunk: : add tests for switch statement (WTF?/OMG/OMGWTF) diff: http://www.parrotvm.org/svn/parrot/revision?rev=29244 lolcode commit messages are the best * jhorwitz needs to remember to prefix his commits with [language] * particle slaps the honorable gentleman from King of Prussia good show, good show r29245 | tene++ | trunk: : [lolcode] : MANIFEST and svn metadata. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29245 purl: karma tene tene has karma of 99 That's a nice number. Maybe I should stop here. tene-- Crap. :) he's from KOP? yep, he was born in the mall parking lot. well, if you have to be born somewhere... i used to live in the arcade * jhorwitz will work for quarters I'm right down the road from there, we could hang out and have slumber parties and stuff * particle is currently working for a KoP-based client if by slumber parties you mean go out and drink beer, that works yeah, i suppose that's the adult version of the same concept Whiteknight: what uni you at? Temple, technically where are you living now? good engineering school Malvern wow. are you closer to vanguard, or lockmart? right down the road vanguard vanguard is probably receiving 150k to run the business for the next 3 days * particle worked there 5 years ago and then particle abandoned us % Theory has joined #parrot % Theory has left Theory!~Theory@c-24-21-186-194.hsd1.mn.comcast.net % Theory has joined #parrot % cj has joined #parrot Andy: I was wondering if you IRC'd any more. I guess you just can't stand #perl anymore :) r29246 | jonathan++ | trunk: : [rakudo] Shuffle enums around a bit so that the role is named and the class anonymous. Get rid of Enum class since it's not spec'd and we can do find without it. Also make instances of the enum class act more value like, so you can say EnumMember to get the underlying value of EnumMember. diff: http://www.parrotvm.org/svn/parrot/revision?rev=29246 jonathan: rakudo doesn't seem to parse $stuff but Enum - how do you use roles now? jonathan: but is not implemented yet. but it's next on my todo list ;-) But you can do it with "does" ok I think that does work now. and I guess that's how you test it right now? r29247 | Whiteknight++ | gsoc_pdd09: : [gsoc_pdd09] Add bad hack around my absurd-pointer-dereferencing problem. Solves one problem but causes/exposes a new problem diff: http://www.parrotvm.org/svn/parrot/revision?rev=29247 Aye, if it works. ;-) jonathan: I just added t/spec/S12-enums/as-role.t - one pass, one failure jonathan: does the test look sane to you? moritz: Led me nyam my dinner, and I'll get back to you on that in 10-15 mins. :-) jonathan: no hurry ;) moritz: It doesn't quite work like that. :-) .no tests if the current value of the maybe property is set to no. r29248 | pmichaud++ | trunk: : [rakudo]: add 'polar' to Complex and Any (RT #56754, moritz++) diff: http://www.parrotvm.org/svn/parrot/revision?rev=29248 % Ademan_ has joined #parrot % Ademan_ has left Ademan_!~dan@h-67-101-144-25.snfccasy.dynamic.covad.net "jonathan" at 85.216.151.226 pasted "moritz: this seems to be working - is expected output" (10 lines) at http://nopaste.snit.ch/13551 jonathan: I'll adopt that into my test, thanks So, lolcode's case statments have fallthrough like C's. According to spec 1.2 Any ideas on how to represent this in PCT? moritz: Also, my $x = 42; $x does Maybe(Yes); say $x.No; say $x.Yes; say $x.No; # 0 1 0 moritz: So runtime mixing in works too. Now for but... :-) moritz: Also note, there is some issue with does on a string - to do with it being a PMC rather than a PDD15 class, I think. Me? it has been said that Andy is the man with the feathered broom or mailto:andy@petdance.com or AIM:petdance or OK cat-xeger is BACK or trying to get Sun Studio 12 installed so I can lint lint lint. Me? i think Tene is Stephen Weeks me? you are, like, right, there are a LOT of things like that cj: I don't hang out in #perl, but I am in #perl++ and others.