jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony
<Schwarzbaer> https://tutorial.ponylang.org/capabilities/aliasing.html "What counts as making an alias?"
<Schwarzbaer> So that also means that the methods of actors, them being mutable, cannot be called by any other actor, or object referenced by another actor?
<Schwarzbaer> I also have a bit of a problem of grokking trn. One variable may read and write, but other variables in the actor may read from it. Does "other variables" refer to aliases? If so, is that "no writing" rule enforced by compiler checks, or by aliasing it as val? Is there a simple example where I can see that in action?
<Schwarzbaer> Never mind the latter, I'm re-reading its entry under Aliasing, and it finally starts to make sense.
gokr has quit [Ping timeout: 252 seconds]
<Schwarzbaer> So... trn is mutable and unsendable, and can be aliased as box, which is immutable and unsendable. trn can be converted to a val, which is immutable and sendable, and that is safe because all references to the former trn are box, which are more restrictive than val... I think I finally start grokking refcaps, but it definitely has that "This was developed by aliens..." quality about it that my first impression of
<Schwarzbaer> Prolog gave me, too.
<winksaville> @SeanTAllen, got another HANG :(
<winksaville> I removed all debug and cleaned up my change to process_monitor.pony
<winksaville> They passed my simple .travis.yml configuration (https://travis-ci.org/winksaville/ponyc/builds/321603882)
<winksaville> Here's a google doc file with notes I'm taking on the runs: https://docs.google.com/document/d/1vZGKjitbQL-gi8xCdmLV1hXVKQZ3ej0vRlcJxRuGqrw/edit
<winksaville> In that google doc file is the gdb BackTraces for the three active threads. It looks the similar to the other hangs. Main thread is waiting to pthread_join, thread 2 is in run_thread and thread 3 is do_sigwait
<Schwarzbaer> "Chapter 7: Code Sharing" isn't a link for me, nor can I next-section into it.
<SeanTAllen> @winksaville can you open an issue?
<SeanTAllen> @Schwarzbaer yes, code sharing doesnt exist yet
<SeanTAllen> Schwarzbaer: can you open an issue on the tutorial to clarify the "what counts as making an alias?"
<Schwarzbaer> Woah! You mean I'm on to something here? I thought this was a PEBKAC problem. ^^ Sure.
<Schwarzbaer> Actually my initial assertion that iso can't be aliased is incorrect, after all, there's tag. However the whole chapter is a bit fuzzy on objects that are not just values...
<Schwarzbaer> So... Quiescence and program termination... :) I assume a program terminates when no message remains to be processed, and no behavior is running anymore? Also that things like open sockets keep the program running nevertheless?
<SeanTAllen> Schwarzbaer: yes, i think that the section is unclear re: aliasing. it could be interpreted in numerous ways
<SeanTAllen> Schwarzbaer: yes, thats when quiescence can happen
jemc has joined #ponylang
<Schwarzbaer> Hm... That kind of implies "There's also other conditions under which it can happen", but since you've apparently explained it quite often already, I'll patiently wait until it'll be a tutorial section.
<Schwarzbaer> There's a similar thing with `use` and the scheme specifier, though. The tutorial states that `package` is the default one, but makes no mention of what others there are, whether there currently are any others at all, or whether this is just a matter of "If something comes up later, we'll plug it in here".
jemc has quit [Ping timeout: 240 seconds]
endformationage has joined #ponylang
jemc has joined #ponylang
bimawa has joined #ponylang
bimawa4 has quit [Ping timeout: 240 seconds]
inoas has joined #ponylang
jemc has quit [Quit: WeeChat 1.9]
SenasOzys has joined #ponylang
inoas has quit [Quit: inoas]
endformationage has quit [Quit: WeeChat 1.9.1]
inoas has joined #ponylang
gokr has joined #ponylang
inoas has quit [Quit: inoas]
inoas has joined #ponylang
inoas has quit [Client Quit]
inoas has joined #ponylang
inoas has quit [Client Quit]
inoas has joined #ponylang
inoas has quit [Client Quit]
inoas has joined #ponylang
inoas has quit [Client Quit]
inoas has joined #ponylang
inoas has quit [Client Quit]
codec1 has joined #ponylang
gokr has left #ponylang [#ponylang]
khan has joined #ponylang
khan has quit [Ping timeout: 256 seconds]
khan has joined #ponylang
_andre has joined #ponylang
khan_ has joined #ponylang
khan has quit [Ping timeout: 248 seconds]
khan_ is now known as khan
khan has quit [Client Quit]
khan has joined #ponylang
gokr has joined #ponylang
codec1 has quit [Quit: Leaving.]
codec1 has joined #ponylang
codec1 has quit [Read error: Connection reset by peer]
gokr has quit [Ping timeout: 256 seconds]
codec1 has joined #ponylang
koczurekk has joined #ponylang
<koczurekk> Hi, I've got a problem with linking. :( Tutorial says the following: 'it may be necessary to look in extra places. The use "path:..." command allows this'
<koczurekk> But when I add 'use "path:/src/main/lib"' to my code the default path isn't used at all.
<koczurekk> So I get a lot of linking errors.
<koczurekk> Oh, nevermind, that's not it.
<koczurekk> I mean, it still doesn't work, but that's not the reason.
<koczurekk> I'll post a link to pastebin in a moment.
gokr has joined #ponylang
<koczurekk> I'm using latest docker image btw
Praetonus has joined #ponylang
gokr has quit [Quit: Leaving.]
codec2 has joined #ponylang
codec1 has quit [Quit: Leaving.]
koczurekk has quit [Ping timeout: 264 seconds]
dipin has joined #ponylang
<winksaville> @SeanTAllen, I'll create an issue on the hang.
dipin has quit [Quit: dipin]
acarrico has quit [Ping timeout: 264 seconds]
koczurekk has joined #ponylang
<SeanTAllen> Pony 0.21.2 has been released. Upgrading is recommended: https://www.ponylang.org/blog/2017/12/0.21.2-released/
dipin has joined #ponylang
acarrico has joined #ponylang
<winksaville> Created "stdlib in a loop hangs #2451"
vaninwagen has joined #ponylang
koczurekk has quit [Quit: Leaving]
samuell has joined #ponylang
<vaninwagen> koczurekk, on which platform did have your linking issues? which compiler did you use? and what is the content of /src/main/lib ?
dipin has quit [Quit: dipin]
aturley has joined #ponylang
Praetonus has quit [Quit: Leaving]
winksaville_ has joined #ponylang
winksaville has quit [Ping timeout: 260 seconds]
SenasOzys has quit [Read error: Connection reset by peer]
SenasOzys has joined #ponylang
khan has quit [Quit: khan]
_andre has quit [Ping timeout: 248 seconds]
dipin has joined #ponylang
Dimonax has joined #ponylang
<Dimonax> Anyone put up a page of complete examples for the Pony language?
<Dimonax> Just curious.
_andre has joined #ponylang
vaninwagen has quit [Ping timeout: 248 seconds]
chamar has joined #ponylang
aturley_ has joined #ponylang
aturley has quit [Ping timeout: 250 seconds]
jmiven has quit [Quit: co'o]
jmiven has joined #ponylang
koczurekk has joined #ponylang
<koczurekk> Hi, I can't get returning structs from C to work, is this supported?
<koczurekk> I'll work it out if works and it's my mistake, I just want to know if it's allowed at all.
<koczurekk> I'm using latest compiler.
dipin has quit [Quit: dipin]
dipin has joined #ponylang
aturley_ has quit [Quit: aturley_]
dipin has quit [Read error: Connection reset by peer]
dipin has joined #ponylang
aturley has joined #ponylang
samuell has quit [Quit: Leaving]
dipin has quit [Ping timeout: 264 seconds]
dipin has joined #ponylang
Dimonax has quit [Ping timeout: 265 seconds]
Dimonax has joined #ponylang
koczurekk has quit [Ping timeout: 264 seconds]
dipin has quit [Quit: dipin]
dipin has joined #ponylang
SenasOzys has quit [Ping timeout: 268 seconds]
winksaville_ has quit [Ping timeout: 260 seconds]
winksaville has joined #ponylang
dipin has quit [Quit: dipin]
winksaville has quit [Ping timeout: 260 seconds]
aturley has quit [Quit: aturley]
aturley has joined #ponylang
aturley has quit [Client Quit]
koczurekk has joined #ponylang
codec2 has quit [Read error: Connection reset by peer]
<Schwarzbaer> Dimonax, https://www.ponylang.org/community/planet-pony/ mentions a blog article that dissects an echo service. There's Wallaroo, which is probably already a bit too large to just read through in an afternoon. Other than that, I for one have no idea.