Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread TSa
HaloO, Daniel Ruoso wrote: hrmm... I might just be overlooking something... but... sub foo (Point $p) {...} means... $signature ~~ $capture means... Point $p := $capture[0] means... $capture[0] ~~ Point means... $capture[0].^does(Point) The thing is the .^does traverses the meta info

Re: First look: Advanced Polymorphism whitepaper

2008-04-29 Thread TSa
HaloO chromatic, you wrote: That was always my goal for roles in the first place. I'll be a little sad if Perl 6 requires an explicit notation to behave correctly here -- that is, if the default check is for subtyping, not polymorphic equivalence. What is "polymorphic equivalence" to you? I

Re: First look: Advanced Polymorphism whitepaper

2008-04-29 Thread TSa
HaloO, Jon Lang wrote: What, if anything, is the significance of the fact that pointlike (in John's example; 'Point' in TSa's counterexample) is generic? Note that I didn't give a counterexample. I just used different syntax. Here values and types behave very similar. On the value level you c

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread TSa
HaloO, Daniel Ruoso wrote: .^does *might* traverse the information as well as simply return true if the object says so. Let's not regard the problem of meta level interoperation for now. That is we have *one* meta level. The spec says that .^does asks this meta system. Now the meta system does

The Inf type

2008-04-29 Thread TSa
John M. Dlugosz wrote: > I wrote a complete treatment of Inf support. > Please take a look at "24.26 Infinite" on pages 116-119, and > "3.11.3 Infinities" on pages 26-27. I have a lot to say to that. Please give me time. Regards, TSa. -- "The unavoidable price of reliability is simplicity" --

[perl #53472] [PATCH] jit/(ppc|arm)/exec_dep.*

2008-04-29 Thread via RT
# New Ticket Created by [EMAIL PROTECTED] # Please include the string: [perl #53472] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53472 > Hi All, The attached patch fixes a breakage in the build on linux-ppc with jit.

[perl #53496] Re: [bug] Build failure with G++

2008-04-29 Thread Senaka Fernando
# New Ticket Created by "Senaka Fernando" # Please include the string: [perl #53496] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53496 > Attaching patch No. 2 for C++ Build Issue. I still need to resolve this bigint.c i

[perl #53492] [PATCH] for file "parrot.spec"

2008-04-29 Thread via RT
# New Ticket Created by [EMAIL PROTECTED] # Please include the string: [perl #53492] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53492 > Hello, the command "rpmbuild -ba parrot.spec" did only work after I changed the fi

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread Daniel Ruoso
Ter, 2008-04-29 às 09:28 +0200, TSa escreveu: > The thing is the .^does traverses the meta information > to find the *named* concept Point. The FoxPoint in John's > example doesn't have that and thus nominally fails the > Point test. The idea is now to also have .^does *might* traverse the infor

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread Daniel Ruoso
Ter, 2008-04-29 às 11:54 +0200, TSa escreveu: > > If we are to define an operator to declare that some arbitrary object > > conforms to some API, I would think the following as saner... > > sub foo(Point $p) {...}; > > FoxPoint $fp = ...; > > $fp realises Point; > > foo($fp); > Here the spec is q

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread TSa
HaloO, Daniel Ruoso wrote: Not really... 'does' is a composition operation, 'realises' would be just a type annotation that doesn't change the actual composition. OK, but that is not in the spec yet. To me that is like the proposed 'like' operator but with the programmer taking full responsibi

Re: Polymorphism and Representations

2008-04-29 Thread John M. Dlugosz
Hmm, I'm not seeing the message from Daniel, just this reply. I like the idea of having a class method primitive to provide some functionality. But type matching is more complex, as you can list multiple types juxtaposed. sub foo (A B £ C ::T $param) and the actual match means does A, do

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread John M. Dlugosz
TSa Thomas.Sandlass-at-barco.com |Perl 6| wrote: HaloO, Daniel Ruoso wrote: Not really... 'does' is a composition operation, 'realises' would be just a type annotation that doesn't change the actual composition. OK, but that is not in the spec yet. To me that is like the proposed 'like' opera

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread John M. Dlugosz
TSa Thomas.Sandlass-at-barco.com |Perl 6| wrote: multi infix:<=> (Any $lhs, A $rhs) { $lhs.STORE($rhs.clone); # or .cow if that's not automatic } $lhs.VAR.STORE. My readings have been that = just copies the ref. Unless it's a "value type" or "immutable" which just means

[svn:perl6-synopsis] r14539 - doc/trunk/design/syn

2008-04-29 Thread larry
Author: larry Date: Tue Apr 29 13:32:24 2008 New Revision: 14539 Modified: doc/trunk/design/syn/S05.pod Log: is now just alternate method call syntax, use for strings Modified: doc/trunk/design/syn/S05.pod == ---

[svn:perl6-synopsis] r14540 - doc/trunk/design/syn

2008-04-29 Thread larry
Author: larry Date: Tue Apr 29 13:42:15 2008 New Revision: 14540 Modified: doc/trunk/design/syn/S05.pod Log: clarifications to previous change Modified: doc/trunk/design/syn/S05.pod == --- doc/trunk/design/syn/S05.po

Re: weird perl6/plumhead problem

2008-04-29 Thread Patrick R. Michaud
On Tue, Apr 29, 2008 at 01:48:52PM -0400, Jeff Horwitz wrote: > On Tue, 29 Apr 2008, Patrick R. Michaud wrote: > > >On Tue, Apr 29, 2008 at 12:34:47PM -0400, Jeff Horwitz wrote: > >>mod_parrot can load multiple HLL compilers in the same interpreter, and on > >>my server i'm using both perl6 and pl

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread TSa
HaloO, Daniel Ruoso wrote: So... class A { has $.a; method inc { $.a++ } }; $a = A.new( a => 0); $b = $a; $b.inc(); $a.inc(); say $a.a; # 2 say $b.a; # 2 Will work as expected. Depends a bit on one's expectations :) So infix:<=> has shallow copy semantics.

Re: weird perl6/plumhead problem

2008-04-29 Thread Patrick R. Michaud
On Tue, Apr 29, 2008 at 12:34:47PM -0400, Jeff Horwitz wrote: > mod_parrot can load multiple HLL compilers in the same interpreter, and on > my server i'm using both perl6 and plumhead. this works fine if i load > perl6 before plumhead. however, if i load perl6 *after* plumhead, i get a > nasty e

Re: weird perl6/plumhead problem

2008-04-29 Thread Jeff Horwitz
On Tue, 29 Apr 2008, Patrick R. Michaud wrote: On Tue, Apr 29, 2008 at 12:34:47PM -0400, Jeff Horwitz wrote: mod_parrot can load multiple HLL compilers in the same interpreter, and on my server i'm using both perl6 and plumhead. this works fine if i load perl6 before plumhead. however, if i l

weird perl6/plumhead problem

2008-04-29 Thread Jeff Horwitz
mod_parrot can load multiple HLL compilers in the same interpreter, and on my server i'm using both perl6 and plumhead. this works fine if i load perl6 before plumhead. however, if i load perl6 *after* plumhead, i get a nasty error: push_pmc() not implemented in class 'Sub' i get the same err

Re: [PATCH] Rearrange PObj Struct Members

2008-04-29 Thread Andrew Dougherty
On Mon, 28 Apr 2008, Andy Dougherty wrote: > On Sun, 27 Apr 2008, chromatic wrote: > > > Here's another proposed patch for testing on various platforms. I'm trying > > to > > get rid of some dodgy casts (which likely don't help C++ and processors > > with > > stricter alignment than 32-bit x

Re: [perl #53450] [PATCH] for file "parrot.spec"

2008-04-29 Thread Reini Urban
2008/4/29 chromatic <[EMAIL PROTECTED]>: > On Monday 28 April 2008 09:06:15 [EMAIL PROTECTED] wrote: > > the command "rpmbuild -ba parrot.spec" did only work after I changed the > > file "parrot.spec" to hold a new line. > > > > The attached file "parrot.spec.patch" holds the output from the co

Re: [svn:parrot] r27233 - in branches/pdd25cx/src: . pmc

2008-04-29 Thread chromatic
On Tuesday 29 April 2008 10:01:27 [EMAIL PROTECTED] wrote: > Log: > [pdd25cx] Merge in my port of Exceptions PMC to use core struct instead of > array for attribute storage. > - Keep 'type' attribute. > - Use attribute access macros instead of direct struct manipulation so > Exception PMC is sub

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread Daniel Ruoso
[ I'm using this message to reply, because I didn't receive your reply... I'm taking it from the list history... There really seems to be something wrong with this list... ] TSa wrote: > BTW, is WHICH globally unique? Or is that also an > implementation detail? This is not specced apparently to

treatment of "isa" and inheritance

2008-04-29 Thread John M. Dlugosz
In response to questions on my whitepaper, I made this companion to bring people up to speed on the issue. "Think you know what “polymorphism” means? Well, the Object-Oriented textbooks have been keeping a dirty little secret from you. Pol

Jonathan Worthington receives Perl 6 Microgrant

2008-04-29 Thread Jesse Vincent
We're pleased to announce that we've selected Jonathan Worthington as a recipient of a Perl 6 microgrant. Jonathan is one of the top contributors to Rakudo Perl 6 and has been contributing to Parrot since 2003. The grant will be for travel and accommodation to the French Perl Workshop and the Nor

Re: weird perl6/plumhead problem

2008-04-29 Thread Will Coleda
On Tue, Apr 29, 2008 at 1:54 PM, Patrick R. Michaud <[EMAIL PROTECTED]> wrote: > On Tue, Apr 29, 2008 at 01:48:52PM -0400, Jeff Horwitz wrote: > > On Tue, 29 Apr 2008, Patrick R. Michaud wrote: > > > > >On Tue, Apr 29, 2008 at 12:34:47PM -0400, Jeff Horwitz wrote: > > >>mod_parrot can load mult

[perl #53536] [PATCH] sub-second sleep precision for non-threaded architectures

2008-04-29 Thread via RT
# New Ticket Created by Mark Glines # Please include the string: [perl #53536] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53536 > The "sleep" op calls Parrot_cx_schedule_sleep(), which falls back to Parrot_sleep() on no

[perl #53538] [BUG] Parrot_floatval_time() and Parrot_intval_time() do not match up on Win32

2008-04-29 Thread via RT
# New Ticket Created by Mark Glines # Please include the string: [perl #53538] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53538 > When running the following PIR: .sub main I0 = time print I0 pri

Re: [perl #53450] [PATCH] for file "parrot.spec"

2008-04-29 Thread chromatic
On Tuesday 29 April 2008 08:45:33 Reini Urban wrote: > 2008/4/29 chromatic <[EMAIL PROTECTED]>: > > I want to keep the ICU, because we're likely going to need it, but SVK > > isn't necessary. > > libicu-devel is amn optional but recommended build-dep. > It is needed for the Configure detection

[perl #53542] [PATCH] dynpmc.pl ignores compilation failures

2008-04-29 Thread via RT
# New Ticket Created by Andy Dougherty # Please include the string: [perl #53542] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53542 > When compilation of a file in src/dynpmc/ fails, the build continues anyway -- there

Re: Polymorphism and Representations (Was: Re: First look: Advanced Polymorphism whitepaper)

2008-04-29 Thread Daniel Ruoso
Ter, 2008-04-29 às 14:21 +0200, TSa escreveu: > Daniel Ruoso wrote: > > Not really... 'does' is a composition operation, 'realises' would be > > just a type annotation that doesn't change the actual composition. > OK, but that is not in the spec yet. To me that is like the > proposed 'like' operato

The future of exception handling

2008-04-29 Thread Bob Rogers
-- Bob Rogers http://rgrjr.dyndns.org/ [1] http://www.parrotcode.org/misc/parrotsketch-logs/irclog.parrotsketch-200804/irclog.parrotsketch.20080429 [2] Joe Armstrong, "Programming Erlang", chapter 9.

[perl #53544] [PATCH] digst_pmc.in: Void functions can not return values.

2008-04-29 Thread via RT
# New Ticket Created by Andy Dougherty # Please include the string: [perl #53544] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53544 > If I have traced its lineage correctly, this patch fixes the following problem in sha

[perl #53546] [PATCH] RT#46785: [TODO] [Perl] Add more File-related tests to the smartlinks tests

2008-04-29 Thread via RT
# New Ticket Created by Chris Dolan # Please include the string: [perl #53546] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53546 > I picked a random easy TODO off the list. This patch resolves RT#46785 and does a tiny

Re: [perl #53546] [PATCH] RT#46785: [TODO] [Perl] Add more File-related tests to the smartlinks tests

2008-04-29 Thread chromatic
On Tuesday 29 April 2008 22:25:34 Chris Dolan wrote: > I picked a random easy TODO off the list. This patch resolves > RT#46785 and does a tiny piece of RT#46787. Thanks, applied as r27245. -- c

Re: [perl #53544] [PATCH] digst_pmc.in: Void functions can not return values.

2008-04-29 Thread chromatic
On Tuesday 29 April 2008 21:28:18 Andy Dougherty wrote: > If I have traced its lineage correctly, this patch fixes the following > problem in sha256.c and sha512.c: > > "./sha256.pmc", line 164: void function cannot return value > > (note that line 164 of sha256.pm is actually the "vim: ..." c

Re: [perl #53542] [PATCH] dynpmc.pl ignores compilation failures

2008-04-29 Thread chromatic
On Tuesday 29 April 2008 20:28:25 Andy Dougherty wrote: > When compilation of a file in src/dynpmc/ fails, the build continues > anyway -- there was an existing "die" command, but it could never actually > be triggered. This patch actually looks at the return value and dies if > the compilation f

Re: [perl #53472] [PATCH] jit/(ppc|arm)/exec_dep.*

2008-04-29 Thread chromatic
On Monday 28 April 2008 14:51:29 [EMAIL PROTECTED] wrote: > The attached patch fixes a breakage in the build on linux-ppc with jit. > Without it, "make" aborts while trying to link libparrot.so with > > cc -o miniparrot src/main.o \ > -Wl,-rpath=/home/victor/src/perl6/parrot/blib/lib > -L/ho

Re: [perl #53496] Re: [bug] Build failure with G++

2008-04-29 Thread chromatic
On Monday 28 April 2008 23:52:44 Senaka Fernando wrote: > Attaching patch No. 2 for C++ Build Issue. > > I still need to resolve this bigint.c issue. This is something caused by > the GMP includes I suspect. This patch didn't apply cleanly as of r27247; is it still an issue for you? -- c

[perl #53548] [PATCH] fix for auto-generation of runtime/parrot/include/interpflags.pasm

2008-04-29 Thread via RT
# New Ticket Created by Chris Dolan # Please include the string: [perl #53548] # in the subject line of all future correspondence about this issue. # http://rt.perl.org/rt3/Ticket/Display.html?id=53548 > The file runtime/parrot/include/interpflags.pasm is auto-generated by config/gen/parrot