[03:51:58] *** Joins: drbean_ (~drbean@124.219.82.98)
[03:53:07] *** Quits: drbean (~drbean@124.219.82.209) (Ping timeout: 252 seconds)
[04:20:48] *** Joins: Gurkenglas_ (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de)
[07:10:28] *** Quits: Gurkenglas_ (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
[08:35:26] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 260 seconds)
[08:52:00] *** Joins: koo7 (~kook@236.152.broadband3.iol.cz)
[13:07:23] *** Joins: Gurkenglas_ (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de)
[17:25:42] *** Gurkenglas_ is now known as Gurkenglas
[21:17:14] *** Joins: rtb (~smuxi@95.91.255.24)
[21:20:38] <rtb> http://lpaste.net/142716
[21:21:00] <rtb> could somebody please have a look what I'm doing wrong here?
[21:21:10] <rtb> first time rgl
[21:21:19] <rtb> and compiler yelling at me
[21:21:25] <rtb> gf 3.7
[21:22:54] <rtb> specifically I don't get this:
[21:23:22] <rtb>  Happened in linearization of VStrauß
[21:23:22] <rtb>       no overload instance of mkCN
[21:23:22] <rtb>       for
[21:23:23] <rtb>         {s : Number => Case => Str; co : Str; g : Gender; lock_N : {};
[21:23:23] <rtb>          uncap : {s : Number => Case => Str; co : Str}}
[21:23:23] <rtb>       among
[21:23:23] <rtb>         {s : Number => Case => Str; co : Str; g : Gender; lock_N : {};
[21:23:24] <rtb>          uncap : {s : Number => Case => Str; co : Str}}
[21:23:24] <rtb>       [...]
[21:23:40] <rtb> which seems to fit
[21:23:43] <rtb> ?!
[22:29:26] <inariksit> haha yeah that's a common source of confusion
[22:29:46] <inariksit> will look at your code when im at home, now on mobile irc :)
[22:36:39] <rtb> cool :)
[22:42:38] *** Joins: inariksi1 (~inari@ksit.fixme.fi)
[22:54:39] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split)
[23:12:46] <rtb> cu tomorrow!
[23:17:19] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 265 seconds)