<DaniR>
But it doesn't work. Because it says that womb is an iso! .
<DaniR>
If I understand correctly, the problem is that womb is an iso in the main create constructor and when trying to do "womb.hunger()" the womb is a parameter in hunger and we can't have two references to an iso.
<DaniR>
But even if I do `(consume womb).hunger()` it still aliases to iso!, which is not a subtype of box
<DaniR>
Which if it was an iso, according to the Automatic Receiver Recovery can work by itself
<DaniR>
I recovered the iso, and then passed it to a (useless - because I am practising) function, which consumes it, changes its hunger level and returns it as an iso
<DaniR>
And also, in the consumeWombat function, it doens't change anything if I return "consume a" or just "a". Why is that?
jemc has quit [Ping timeout: 276 seconds]
c355e3b has quit [Quit: Connection closed for inactivity]
aturley has joined #ponylang
aturley has quit [Ping timeout: 246 seconds]
<SeanTAllen>
DaniR: so... iso! means that it is an alias to an iso
<SeanTAllen>
you need to consume the womb
<DaniR>
Right, and I consumed it when passing it to the "consumeWombat" function
<DaniR>
But this function is supossed to return an iso, not an iso!
<DaniR>
Yes. And I don't understand the difference between the last pastebin and my pastebin, if the "consumeWombat" function is supposed to return an iso as I already had.
<SeanTAllen>
and I think this is what you wanted...
<doublec>
I was going to add it to a generics section and started writing something but stalled due to work
tm-exa has joined #ponylang
unbalancedparen has quit [Quit: WeeChat 1.5]
unbalancedparen has joined #ponylang
<SeanTAllen>
^5 to that doublec. both jtfmumm and aturley were going to work on generics but... something something work. seems to be going around.
aturley has joined #ponylang
fefee has joined #ponylang
aturley has quit [Ping timeout: 244 seconds]
hibnico has joined #ponylang
Praetonus has quit [Quit: Leaving]
tm-exa has quit [Quit: Computer has gone to sleep]
<doublec>
SeanTAllen: yeah, someone should look into this work problem, it's an epidemic.
<doublec>
SeanTAllen: Writing is harder than it looks (as I'm sure you well know!). Whenever I think "I'll write a quick blog post about this" it's hours later that I'm thinking "Will this ever end".
trapped has quit [Read error: Connection reset by peer]
<SeanTAllen>
yup
aturley has joined #ponylang
aturley has quit [Ping timeout: 252 seconds]
Matthias247 has quit [Read error: Connection reset by peer]