erip has joined #ponylang
erip has quit [Remote host closed the connection]
profetes has quit [Ping timeout: 244 seconds]
PrsPrsBK has quit [Quit: PrsPrsBK]
erip has joined #ponylang
<
erip>
I got something neat to compile with my fork. :D
<
erip>
trait Functor[F[_]]
<
erip>
fun f[F[_]](): F
<
erip>
fun f[G[_,_]](): G
<
erip>
fun f[F[_], G[_,_]](): G
<
erip>
new create(env: Env) =>
<
erip>
env.out.print("hello, HKTs!")
erip has quit [Remote host closed the connection]
travis-ci has joined #ponylang
<
travis-ci>
dipinhora/ponyc#518 (master - 241d188 : Sean T Allen): The build has errored.
travis-ci has left #ponylang [#ponylang]
endformationage has quit [Quit: WeeChat 2.3]
_whitelogger has quit [Ping timeout: 250 seconds]
_whitelogger has joined #ponylang
srenatus has joined #ponylang
Foaly has joined #ponylang
Foaly has quit [Ping timeout: 250 seconds]
profetes has joined #ponylang
profetes has quit [Ping timeout: 250 seconds]
_whitelogger has joined #ponylang
PrsPrsBK has joined #ponylang
sheerluck has joined #ponylang
jemc has joined #ponylang
endformationage has joined #ponylang
profetes has joined #ponylang
profetes has quit [Quit: Leaving]
Foaly has joined #ponylang
jemc has quit [Ping timeout: 250 seconds]
sheerluck has quit [Quit: Leaving]
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
Foaly has joined #ponylang
nisanharamati has joined #ponylang
srenatus has quit [Quit: Connection closed for inactivity]
erip has joined #ponylang
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
nisanharamati has quit []
erip has quit [Remote host closed the connection]