<
paperclipbadger>
But Array[Foo].append(Array[Foo]) gives me "Error: Foo box is not a subtype of Foo ref^: box is not a subtype of ref^"
<
SeanTAllen>
i dont think this does what you intend btw:
<
SeanTAllen>
_children = List[XMLElement]()
<
paperclipbadger>
I intend it to create an empty list?
<
paperclipbadger>
Ah, thank you.
<
SeanTAllen>
i'm pretty sure there is more in here that is confusing the compiler
<
doublec>
looks like a viewtype adaption rcap issue
<
doublec>
Array[XMLElement ref] ref is not a subtype of every element of (ReadSeq[XMLElement ref] box & ReadElement[XMLElement ref^] box)
<
doublec>
I wonder where the box is coming from
<
doublec>
Oh ReadSeq is box
<
SeanTAllen>
i need to step out
<
SeanTAllen>
looks like you figured it out doublec
mrkishi has joined #ponylang
<
doublec>
I'm at a bit of a loss how to use append though
mrkishi has quit [Ping timeout: 246 seconds]
<
paperclipbadger>
In the source for ReadSeq we have
<
paperclipbadger>
fun apply(i: USize): this->A ?
<
paperclipbadger>
"""
<
paperclipbadger>
is out of bounds. Note that this returns A^, not this->A.
<
paperclipbadger>
"""
<
paperclipbadger>
Returns the i-th element of the sequence. Raises an error if the index
<
paperclipbadger>
Why is the return type of apply this->A is it returns A^?
paperclipbadger has quit [Read error: Connection reset by peer]
<
doublec>
It's returning an A as seem by 'this' using viewtype adaption
<
doublec>
So if the seq is an iso it returns a type that can be shared (probably tag)
paperclipbadger has joined #ponylang
<
doublec>
But if the seq is ref it returns a ref
<
doublec>
Oh I see, the comment is werd
copy` has quit [Quit: Connection closed for inactivity]
<
paperclipbadger>
If the return type of apply were A^ as the comment suggests, then ReadSeq[A] would imply ReadElement[A^]
<
doublec>
sylvanc made the interface change for append from ReadSeq to ReadSeq & ReadElement. He might be able to advise.
<
doublec>
It's probably something simple we're missing.
trapped has quit [Ping timeout: 244 seconds]
paperclipbadger has quit [Quit: Leaving.]
mrkishi has joined #ponylang
jemc has quit [Ping timeout: 240 seconds]
<
mrkishi>
Nice, ponyc works perfectly in "bash on windows"
mrkishi has quit [Ping timeout: 244 seconds]
mrkishi has joined #ponylang
<
SeanTAllen>
how'd you build it mrkishi ?
<
mrkishi>
I just followed ponyc's "building from source" steps for ubuntu
<
mrkishi>
got clang, make config=release
<
mrkishi>
so, when building pcre2 I thought I saw a "relinking" message, but didn't give it a second thought
<
mrkishi>
I've just breuilt ponyc in a clean "bash on windows" installation
<
mrkishi>
didn't need pcre2
<
mrkishi>
ah, I see it's only needed on compilation time, when using the regex package
paperclipbadger has joined #ponylang
<
doublec>
Right, it's needed when compiling pony programs that use regex
<
doublec>
ditto with openss;l
<
mrkishi>
yeah, for "bash on windows" I only needed to "autoconf" pcre2. other than that, identical steps;
SilverKey has joined #ponylang
SilverKey has quit [Quit: Halted.]
paperclipbadger has quit [Read error: Connection reset by peer]
paperclipbadger has joined #ponylang
paperclipbadger has quit [Read error: Connection reset by peer]
paperclipbadger has joined #ponylang
paperclipbadger1 has joined #ponylang
paperclipbadger has quit [Ping timeout: 244 seconds]
paperclipbadger has joined #ponylang
paperclipbadger1 has quit [Ping timeout: 244 seconds]
jemc has joined #ponylang
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 260 seconds]
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 244 seconds]
Perelandric has quit [Ping timeout: 250 seconds]
amclain has quit [Quit: Leaving]
jemc has quit [Ping timeout: 246 seconds]
jemc has joined #ponylang
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
jemc has quit [Ping timeout: 244 seconds]
mrkishi has quit [Ping timeout: 246 seconds]
paperclipbadger has quit [Read error: Connection reset by peer]
paperclipbadger has joined #ponylang
srenatus has joined #ponylang
Applejack_ has joined #ponylang
rurban has joined #ponylang
rurban has left #ponylang [#ponylang]
trapped has joined #ponylang
paperclipbadger has quit [Ping timeout: 252 seconds]
paperclipbadger1 has joined #ponylang
paperclipbadger1 has left #ponylang [#ponylang]
zaquest has quit [Ping timeout: 260 seconds]
mrkishi has joined #ponylang
_andre has joined #ponylang
Perelandric has joined #ponylang
paperclipbadger1 has joined #ponylang
<
paperclipbadger1>
Is there a capability set for writeable things?
<
paperclipbadger1>
In a similar vein to #read, #share etc.
zaquest has joined #ponylang
Perelandric has quit [Ping timeout: 250 seconds]
Perelandric has joined #ponylang
rurban has joined #ponylang
SilverKey has joined #ponylang
M-hrjet has quit [Ping timeout: 260 seconds]
SilverKey has quit [Quit: Halted.]
Applejack_ has quit [Ping timeout: 244 seconds]
jemc has joined #ponylang
SilverKey has joined #ponylang
M-hrjet has joined #ponylang
Applejack_ has joined #ponylang
Applejack_ has quit [Ping timeout: 252 seconds]
graaff has joined #ponylang
rurban1 has joined #ponylang
rurban2 has joined #ponylang
rurban has quit [Ping timeout: 240 seconds]
rurban1 has quit [Ping timeout: 240 seconds]
amclain has joined #ponylang
<
shepheb>
paperclipbadger1: isn't there just #write?
<
shepheb>
maybe not. it doesn't appear in the packages. then again, neither does #share that I saw.
<
paperclipbadger1>
interface Foo[A: Any #read] compiles, interface Foo[A: Any #write] doesn't.
rurban has joined #ponylang
rurban1 has joined #ponylang
rurban3 has joined #ponylang
rurban4 has joined #ponylang
rurban2 has quit [Ping timeout: 250 seconds]
rurban1 has quit [Ping timeout: 260 seconds]
rurban has quit [Ping timeout: 260 seconds]
rurban3 has quit [Ping timeout: 260 seconds]
rurban4 has left #ponylang [#ponylang]
mrkishi has quit [Ping timeout: 260 seconds]
paperclipbadger1 has quit [Quit: Leaving.]
rurban has joined #ponylang
rurban has quit [Client Quit]
<
SeanTAllen>
so you want something that is writable but not read or shareable ?
<
SeanTAllen>
or you want something that is writable and don't care about the rest?
Applejack_ has joined #ponylang
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
Applejack_ has quit [Ping timeout: 246 seconds]
paperclipbadger has joined #ponylang
Applejack_ has joined #ponylang
Applejack_ has quit [Quit: leaving]
Applejack_ has joined #ponylang
Matthias247 has joined #ponylang
graaff has quit [Quit: Leaving]
Zarutian has joined #ponylang
Applejack_ has quit [Ping timeout: 264 seconds]
Applejack_ has joined #ponylang
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
runehog_ has joined #ponylang
M-hrjet has quit [Ping timeout: 264 seconds]
runehog has quit [Ping timeout: 264 seconds]
Corwin_ has quit [Ping timeout: 264 seconds]
dom96 has quit [Ping timeout: 264 seconds]
jtfmumm has quit [Ping timeout: 264 seconds]
M-hrjet has joined #ponylang
jtfmumm has joined #ponylang
dom96 has joined #ponylang
SilverKey has quit [Quit: Halted.]
Corwin_ has joined #ponylang
Applejack_ has quit [Ping timeout: 260 seconds]
mrkishi has joined #ponylang
paperclipbadger has quit [Quit: Leaving.]
copy` has joined #ponylang
Applejack_ has joined #ponylang
trapped has quit [Read error: Connection reset by peer]
_andre has quit [Quit: leaving]
runehog_ has quit [Ping timeout: 240 seconds]
jemc has quit [Ping timeout: 244 seconds]
runehog has joined #ponylang
Applejack_ has quit [Ping timeout: 276 seconds]
srenatus has quit [Quit: Connection closed for inactivity]
mrkishi has quit [Ping timeout: 246 seconds]
Matthias247 has quit [Read error: Connection reset by peer]
copy` has quit [Quit: Connection closed for inactivity]