[10:39:31] *** Quits: Flammie (~flammie@ircer.flammie.name) (Ping timeout: 260 seconds) [10:39:31] *** Quits: gf-log-bot (~gf-log-bo@cse-31305.cse.chalmers.se) (ZNC 1.7.1 - https://znc.in) [10:41:47] *** Joins: gf-log-bot (~gf-log-bo@freenode-1sjda6.fh6g.ibli.a2s20l.IP) [10:41:49] *** Server sets mode: :+nt [11:07:44] *** Quits: drbean (~drbean@freenode-pva.2am.0482j2.IP) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) [11:13:08] *** Joins: ski (~ski@freenode-v9d.fs3.n7du5h.IP) [12:16:59] *** Joins: wmacmil (~wmacmil@freenode-phh.hf8.65eali.IP) [12:17:10] i'm really confused by this error [12:17:11] Happened in linearization of ConsVar [12:17:11] cannot infer type of constant SymbPN [12:17:37] where [12:17:38] BaseVar x = mkNP (Sym.SymbPN x) ; [12:17:55] i mean *this* error [12:17:56] LEng.gf:133: [12:17:56] Happened in linearization of BaseVar [12:17:56] cannot infer type of constant SymbPN [12:18:31] but I just copied this code verbatim from aarne's in the gf-contrib [12:18:48] same lincats and everything [12:36:41] nvm it was a module error [12:36:48] and i was importing the wrong things [12:59:07] wmacmil: with the recent freenode-reset it probably makes sense to move all the remaining activity to the gf channel on liberachat [13:10:10] ok thankyou [13:10:29] does that also apply to other freenode channels? [13:11:13] all user and channel registrations on freenode have been reset [13:11:43] it depends on the channel if the people register it again or move it somewhere else [13:16:58] *** Joins: proteusguy (~proteusgu@freenode-3oj.lut.9f6ob8.IP) [13:42:06] so whats the network name for liberchat [13:43:22] wmacmil: https://libera.chat/guides/connect [14:07:07] are you using a client or the terminal [14:07:11] bc i have a client [14:07:41] and i dont see anywhere in the docs what the actual network name is [14:13:16] i am using irssi on a server [14:13:28] what client are you using? [14:27:09] hexchat [14:31:12] wmacmil: does that help: https://www.ubuntubuzz.com/2021/06/how-to-join-libera-chat-irc.html.html [14:31:29] i guess you have to add the network because it is too new to be included [14:44:07] *** Joins: drbean (~drbean@freenode-edi.2am.0482j2.IP) [15:52:59] *** Quits: drbean (~drbean@freenode-edi.2am.0482j2.IP) (Ping timeout: 120 seconds) [19:18:12] *** Quits: wmacmil (~wmacmil@freenode-phh.hf8.65eali.IP) (Ping timeout: 120 seconds) [22:03:55] *** Joins: wmacmil (~wmacmil@freenode-jmc.13e.57kmpq.IP) [22:13:44] *** Quits: wmacmil (~wmacmil@freenode-jmc.13e.57kmpq.IP) (Ping timeout: 120 seconds) [22:22:00] *** Joins: inariksit (~inari@freenode-00m.ogr.fg4cce.IP) [22:30:17] *** Joins: esg (~emil@freenode-sb2.640.c33bnd.IP) [22:30:54] *** Joins: fl0_id (~fl0_id@freenode-40a.p2n.4tv7u5.IP) [22:31:33] *** Joins: wmacmil (~wmacmil@freenode-jmc.13e.57kmpq.IP) [22:35:36] *** Quits: wmacmil (~wmacmil@freenode-jmc.13e.57kmpq.IP) (Ping timeout: 120 seconds) [23:07:14] *** Joins: wmacmil (~wmacmil@freenode-jmc.13e.57kmpq.IP) [23:12:02] *** Quits: wmacmil (~wmacmil@freenode-jmc.13e.57kmpq.IP) (Ping timeout: 120 seconds)