02:04 <sleeplessy> hi

02:05 <sleeplessy> is it clever to add a param to CommandSpec.add_help() that allow users to modify the default [help] option's information/hint?

02:07 <sleeplessy> https://codepaste.net/rfybfg

02:07 <sleeplessy> like this

02:16 <sleeplessy> So that i can do CommandSpec.leaf("test","",[],[]).>add_help(where hinfo="Need some sake")

13:49 <Greg__> Hi

13:55 <Greg__> I'm learning Pony ATM, going through the tutorial. Quick question: Is multiple traits for a class something possible in pony? Imagine I have two traits Named and Aged, I have tried class Bob is Named is Aged but no luck... Also tried class Bob is Named,Aged and class Bob is Named and Aged, class Bob is (Named & Aged)

13:58 <Praetonus> Greg__: `class Bob is (Named & Aged)` should work. What compiler error are you getting?

14:00 <Greg__> @Praetonus no complain on that line: class Bob is (Named & Aged) but the compiler complain on let bob = Bob() that it couldn't find 'apply' in 'Bob'. Maybe it is because I don't have a constructor in my class ?

14:02 <Praetonus> `Type()` is sugared to `Type.create().apply()`. If you're constructing an object you need to use `Type`, which is sugared to `Type.create()`

14:03 <Praetonus> If you don't have any constructor in your class, the compiler will add a default `create` constructor

14:05 <Greg__> Ok, `let bob = Bob` did the trick... I'll propose a PR to the tutorial to detail the multiple traits syntax :-) Thanks for your kind help @Praetonus

14:14 <Greg__> Just discovered it is also possible to mix traits together... :) like this:

14:16 <Greg__> if you have a trait called `Named`, it is possible to declare `trait Aged is Named`. And then, declare `class Bob is Aged`. This last class has methods from both Named and Aged

14:59 <Greg__> Out of curiosity, when writing `class Bob is (Named & Aged)`, does `(Named & Aged)` represent an intersection type expression ?

15:09 <Praetonus> Yes