copy` has quit [Quit: Connection closed for inactivity]
c355e3b has quit [Quit: Connection closed for inactivity]
bb010g has quit [Quit: Connection closed for inactivity]
aturley has joined #ponylang
jemc has joined #ponylang
aturley has quit [Ping timeout: 276 seconds]
trapped has joined #ponylang
jemc has quit [Ping timeout: 250 seconds]
amclain has quit [Quit: Leaving]
trapped has quit [Read error: Connection reset by peer]
aturley has joined #ponylang
aturley has quit [Ping timeout: 252 seconds]
srenatus has joined #ponylang
aturley has joined #ponylang
aturley has quit [Ping timeout: 252 seconds]
aturley has joined #ponylang
aturley has quit [Ping timeout: 244 seconds]
aturley has joined #ponylang
aturley has quit [Ping timeout: 250 seconds]
c355e3b has joined #ponylang
_andre has joined #ponylang
aturley has joined #ponylang
aturley has quit [Ping timeout: 276 seconds]
trapped has joined #ponylang
copy` has joined #ponylang
juanjoc has joined #ponylang
lukecheeseman has joined #ponylang
aturley has joined #ponylang
aturley has quit [Ping timeout: 250 seconds]
trapped_ has joined #ponylang
trapped has quit [Ping timeout: 250 seconds]
aturley has joined #ponylang
jemc has joined #ponylang
<SeanTAllen>
jemc: good morning. have you ever seen pony-stable not fetch, as in you run it and nothing appears to happen? I have this happen on my machine and work but not at home.
aturley has quit [Ping timeout: 276 seconds]
<jemc>
SeanTAllen: no, but I wouldn't be surprised if there was a bug in it somewhere
<jemc>
you could try adding some extra logging (maybe even migrating to use the stdlib logger package, and accepting a verbosity CLI flag)
TwoNotes has joined #ponylang
<TwoNotes>
There seems to be a #read cap type. What is that?
<TwoNotes>
As in: "JsonObject ref is not a subtype of JsonObject #read: ref is not a subtype of #read"
<SeanTAllen>
ref is writable. #read is val etc
<TwoNotes>
Ok, so it means "any immutable type"?
<SeanTAllen>
if i remember correctly, yes
SilverKey has joined #ponylang
<SeanTAllen>
jemc: wonderfully i have it narrowed down to 1 line and cant reproduce outside of pony stable
SilverKey has quit [Quit: Halted.]
SilverKey has joined #ponylang
<SeanTAllen>
i think ive stumbled into a weird bug
<TwoNotes>
Hmm, right side of an assignment is 'JsonObject ref', left side is 'this->JsonObject ref'. This is inside a 'be' so I can't change the viewpoint.
<SeanTAllen>
jemc: bugs galore!
<SeanTAllen>
apparently in both pony stable and the compiler. where the compiler should have been complaing previously
aturley has joined #ponylang
<jemc>
glad you tracked them down - I'll be interested to see on both counts
aturley has quit [Ping timeout: 276 seconds]
<SeanTAllen>
"tracked down" is a bit of a misnomer. sylvanc is trying to work on a minimal case.
amclain has joined #ponylang
lukecheeseman has quit [Ping timeout: 250 seconds]
trapped_ is now known as trapped
ponysaurus has joined #ponylang
aturley has joined #ponylang
aturley has quit [Ping timeout: 252 seconds]
aturley has joined #ponylang
<SeanTAllen>
so jemc, the problem is a bug in the compiler previously that once it was fixed, makes it so that the code doesn't work. as intended. perhaps after the sync today or during, we can go over? there's a couple options on how to fix. if you don't care how it gets fixed, i'll just fix it. if you care, we can go over.
aturley has quit [Ping timeout: 268 seconds]
<jemc>
sounds good - we can discuss it in the sync call?
<jemc>
err.. s/call?/call/
<SeanTAllen>
ya
<TwoNotes>
Wish: the compiler tells me when it assumes I type I did not write.
<TwoNotes>
"a type"
<SeanTAllen>
what do you mean TwoNotes ?
<TwoNotes>
For example, sometimes it tells me that a "this-> ref" type does not match a "ref" type.
<TwoNotes>
It would be nice to know WHY it is thinking "this->" is implied at that point
<TwoNotes>
It does a fine job now on things like arguments not matching function parameters
SilverKey has quit [Quit: Halted.]
<SeanTAllen>
do you have simple example code that could better help track down the source of frustration?
<jemc>
if you didn't use an explicit `this->`, the reason for the viewpoint transform is usually that you are accessing a field
<jemc>
the ref cap of a field is always viewpoint-adapted by the ref cap of the object reference you get the field from
<TwoNotes>
Yes, I am accessing an actor field from inside a 'be'
<TwoNotes>
I do not have a problem modifying a Bool that way, but in this case it is a JsonObject
<nyarum>
Then in http://tutorial.ponylang.org/expressions/methods.html there is next text about "Can I overload functions by argument type? No. There is no overloading of methods in Pony, each type may only have a single method of any given name.".