[00:07:34] *** Parts: e3928a3bc (~user@201.39.147.24) ("ERC (IRC client for Emacs 25.2.2)") [01:27:26] *** Quits: mbrock (sid76765@gateway/web/irccloud.com/x-hidvwaemwvoiosjj) (Ping timeout: 256 seconds) [01:28:22] *** Joins: mbrock (sid76765@gateway/web/irccloud.com/x-ezqnknwiwcloldtd) [09:01:55] *** Quits: proteus-guy (~proteus-g@2405:9800:bc10:1ca:6de5:fea2:29a1:bd3b) (Remote host closed the connection) [13:58:44] *** Joins: proteus-guy (~proteus-g@2405:9800:bc10:1ca:a4cc:4fca:86b2:22c7) [14:48:47] *** Joins: e3928a3bc (~user@189.125.124.24) [14:56:39] e3928a3bc: right, that's unfortunate [14:56:56] I'm pretty sure it won't work with the old haskell runtime [14:57:31] or maybe it would but not through the API; I need to get access to the concrete categories [15:29:42] I'm probably doing something wrong when compiling from source [15:29:51] I'll try it again sometime later! [15:39:37] e3928a3bc: I added the feature of testing a full tree [15:39:53] well, you can't compile it so it's not very useful for you now :-D [15:40:05] but just that you know ^_^ [15:40:36] hahaha [15:40:55] now I'm much more motivated to get it working because it's going to be so useful! [15:41:48] what's your setup? do you use linux or mac? (just so I can rule out a problem with some ubuntu library or something) [15:42:45] I use mac [15:45:26] probably irrelevant detail for you, but version 10.11.6, El Capitan [16:01:01] thanks! [16:25:12] *** Quits: e3928a3bc (~user@189.125.124.24) (Ping timeout: 245 seconds) [18:27:37] wtf, I have this bug I had last week of duplicating contexts [18:27:47] and it appears if I test the tree Very Vegan [18:27:53] but not if I just test Vegan [18:29:43] * inariksit does not understand O_o [18:29:48] sorry #gf, you're my rubber duck