#ponylang on 2018-01-15 — irc logs at freenode.irclog.whitequark.org

2016-11-09 00:11 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

00:01 atk has quit [Quit: Well this is unexpected.]

00:01 atk has joined #ponylang

00:03 mahmudov has joined #ponylang

00:40 sarna has quit [Quit: Connection closed for inactivity]

01:57 jemc has joined #ponylang

02:53 jemc has quit [Ping timeout: 256 seconds]

05:21 khan has joined #ponylang

05:31 mahmudov has quit [Ping timeout: 276 seconds]

07:01 user10032 has joined #ponylang

07:23 dubiousjim has joined #ponylang

07:24 codec1 has quit [Read error: Connection reset by peer]

07:26 <dubiousjim> Yesterday I posted a weird playground session https://playground.ponylang.org/?gist=7ed141902033cbe2f3bdaeaa832b9e1c

07:26 <dubiousjim> which was confirmed to be a compiler bug https://github.com/ponylang/ponyc/issues/2490

07:27 <dubiousjim> @SeanTAllen asked me to post what I was doing for iterating that wasn't working

07:27 <dubiousjim> couldn't do it yesterday but will post in a moment

07:30 khan has quit [Quit: khan]

07:30 khan has joined #ponylang

07:35 khan has quit [Client Quit]

07:35 khan has joined #ponylang

07:41 <dubiousjim> Here's a playground link to what does/doesn't work with printv: http://playground.ponylang.org/?gist=cb4cd210c24d10f528ebd4ae32c4b726

07:42 SenasOzys has joined #ponylang

08:17 user10032 has quit [Remote host closed the connection]

08:50 codec1 has joined #ponylang

09:00 khan has quit [Quit: khan]

09:29 codec1 has quit [Quit: Leaving.]

09:30 aturley_ has quit [Read error: Connection reset by peer]

09:31 aturley has joined #ponylang

09:35 aturley has quit [Read error: Connection reset by peer]

09:35 codec1 has joined #ponylang

09:36 aturley has joined #ponylang

09:40 aturley has quit [Read error: Connection reset by peer]

09:41 aturley has joined #ponylang

09:51 SenasOzys has quit [Remote host closed the connection]

10:27 mahmudov has joined #ponylang

11:15 codec1 has quit [Quit: Leaving.]

11:41 jemc has joined #ponylang

11:51 dipin has joined #ponylang

11:51 gokr has joined #ponylang

11:59 codec1 has joined #ponylang

12:05 khan has joined #ponylang

12:28 codec1 has quit [Read error: Connection reset by peer]

12:29 codec1 has joined #ponylang

12:30 Praetonus has joined #ponylang

12:38 codec1 has quit [Ping timeout: 256 seconds]

13:04 gokr has left #ponylang [#ponylang]

13:16 codec1 has joined #ponylang

13:19 khan has quit [Quit: khan]

13:19 khan has joined #ponylang

13:23 khan has quit [Client Quit]

13:24 khan has joined #ponylang

13:42 Krymise has joined #ponylang

14:07 Krymise has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

14:11 codec1 has quit [Quit: Leaving.]

14:27 gokr has joined #ponylang

14:45 endformationage has joined #ponylang

14:57 dipin has quit [Quit: dipin]

15:16 alxs has joined #ponylang

15:25 jemc has quit [Ping timeout: 256 seconds]

15:25 jemc has joined #ponylang

15:38 codec1 has joined #ponylang

15:41 Uuu has joined #ponylang

15:45 Uuu has quit [Ping timeout: 260 seconds]

16:13 <dubiousjim> I'm having trouble figuring out how to write Generic types, here's an example: http://playground.ponylang.org/?gist=66134520fc3603ce71e690476d3d5626

16:19 <krig> dubiousjim: heh, I tried a variant of that and crashed the compiler: http://playground.ponylang.org/?gist=486472f753f96ec77f665d45dd755a58

16:20 <krig> dubiousjim: constraining the type more works: https://playground.ponylang.org/?gist=66134520fc3603ce71e690476d3d5626

16:21 <krig> dubiousjim: sorry, this: http://playground.ponylang.org/?gist=e66055a6da2cec96016a3c5a075a92c2

16:25 codec1 has quit [Read error: Connection reset by peer]

16:30 gokr has left #ponylang [#ponylang]

16:31 <dubiousjim> krig: thanks

16:32 <krig> (Integer[A] val & Unsigned) also works as constraint

16:36 <SeanTAllen> dubiousjim: the problem is that Unsigned is a union and you can't compare U16 to U8 for example without doing an explicit conversion yourself. O. krig beat me to the punch.

16:46 dubiousjim has quit [Ping timeout: 260 seconds]

16:54 khan has quit [Quit: khan]

16:54 khan has joined #ponylang

16:58 khan has quit [Client Quit]

16:59 khan has joined #ponylang

17:16 Krymise has joined #ponylang

17:33 codec1 has joined #ponylang

17:49 khan has quit [Quit: khan]

17:49 khan has joined #ponylang

17:53 khan has quit [Client Quit]

17:54 khan has joined #ponylang

17:57 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

17:58 alxs has joined #ponylang

17:58 gokr has joined #ponylang

18:04 krig has quit [Remote host closed the connection]

18:09 user10032 has joined #ponylang

18:16 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

18:18 alxs has joined #ponylang

18:59 nisanharamati has joined #ponylang

19:12 Krymise has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

19:15 Krymise has joined #ponylang

19:40 jemc has quit [Ping timeout: 256 seconds]

19:54 khan has quit [Quit: khan]

20:21 krig has joined #ponylang

20:38 alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]

20:46 user10033 has joined #ponylang

20:49 user10032 has quit [Ping timeout: 256 seconds]

21:26 gokr has quit [Quit: Leaving.]

21:40 Praetonus has quit [Ping timeout: 256 seconds]

21:43 Praetonus has joined #ponylang

21:53 mahmudov has quit [Ping timeout: 256 seconds]

22:38 user10033 has quit [Quit: Leaving]

22:44 milisarge has quit [Ping timeout: 276 seconds]

22:46 dipin has joined #ponylang

22:52 zetashift has joined #ponylang

23:17 nisanharamati has quit []

23:20 Krymise has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

23:21 Krymise has joined #ponylang

23:22 Krymise has quit [Client Quit]

23:39 CcxWrk has quit [Ping timeout: 260 seconds]

23:42 codec1 has quit [Read error: Connection reset by peer]

23:43 CcxWrk has joined #ponylang