[05:09:52] *** Quits: drbean (~drbean@61-219-91-253.HINET-IP.hinet.net) (Quit: ZNC - http://znc.in) [05:10:30] *** Joins: drbean (~drbean@sac.nuu.edu.tw) [05:26:24] *** Quits: drbean (~drbean@sac.nuu.edu.tw) (Quit: ZNC - http://znc.in) [05:27:01] *** Joins: drbean (~drbean@61-219-91-253.HINET-IP.hinet.net) [09:29:10] *** Quits: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 268 seconds) [09:30:28] *** Joins: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) [11:15:18] *** Joins: myoriel (~Myoriel@aftr-88-217-181-228.dynamic.mnet-online.de) [11:58:08] I interpreted 'Happened in linearization of Little missing record fields: s, g type of n' as a warning, because the previous 'Happened in ..' message was a warning. [11:59:58] WAS a warning. [12:00:49] 'Happened in linearization of Feel_helpless Warning: ignoring lock fields in resolving mkCl np feel_V helpless_A' [12:07:47] Then I couldn't understand why the abstract syntax functions I wrote next wouldn't show up in the tab completion of abstract syntax in the gf REPL. [16:24:07] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [16:24:12] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Excess Flood) [16:25:37] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) [18:21:36] *** Joins: spectie (~fran@c3ACE00C3.dhcp.as2116.net) [18:21:37] *** Quits: spectie (~fran@c3ACE00C3.dhcp.as2116.net) (Changing host) [18:21:37] *** Joins: spectie (~fran@unaffiliated/spectie) [18:24:54] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Ping timeout: 240 seconds) [18:28:36] *** Joins: jmvanel (~jmvanel@1.0.88.79.rev.sfr.net) [23:03:44] *** Quits: myoriel (~Myoriel@aftr-88-217-181-228.dynamic.mnet-online.de) (Ping timeout: 240 seconds)