[00:46:28] *** Quits: kook_ (~sirdancea@79.98.72.195) (Ping timeout: 240 seconds) [00:46:28] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Ping timeout: 240 seconds) [05:02:24] *** Joins: freeside (~mengwong@173-133-230-241.pools.spcsdns.net) [05:07:21] *** Quits: freeside (~mengwong@173-133-230-241.pools.spcsdns.net) (Read error: Connection reset by peer) [06:26:10] *** Joins: kook_ (~sirdancea@79.98.72.195) [06:26:24] *** Joins: sirdancealot (~sirdancea@79.98.72.195) [08:05:12] *** Quits: esg_ (~emil@esg.xen.prgmr.com) (Remote host closed the connection) [10:30:22] *** Joins: proteus-guy (~proteusgu@183.88.67.27) [11:36:28] *** Joins: dbamzie (81101f7d@gateway/web/freenode/ip.129.16.31.125) [11:36:30] hello [11:36:41] I am new to gf [11:37:15] can somebody explain locks [11:37:24] met lock_N [13:15:49] *** Quits: drbean (~drbean@124.219.83.42) (Quit: ZNC 1.6.5 - http://znc.in) [13:51:53] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Quit: Leaving) [15:15:15] *** Joins: fotonzade (~photon@88.249.102.110) [16:06:42] *** Joins: JuanDaugherty (~juan@98.4.124.117) [16:17:49] *** Quits: stoopkid (uid137696@gateway/web/irccloud.com/x-eqhicizthgjykogf) (Quit: Connection closed for inactivity) [16:33:46] *** Quits: fotonzade (~photon@88.249.102.110) (Quit: Leaving) [17:20:52] dbamzie: lock fields are just GF compiler's internal things [17:21:02] it's to distinguish between lincats that look the same [17:21:15] e.g. in your abstract you have, say , cat N ; V ; [17:21:32] and in your concrete you have lincat N = {s : Str} ; V = {s : Str} ; [17:21:54] then both of them get a hidden field lock_N : <> and lock_V : <> [17:23:13] you don't have to do anything about them as grammar writer [17:23:18] they may appear in some error messages [17:23:32] but still the solution does not involve ever manually adding lock_X fields [17:23:44] if you have a concrete problem, paste your error here and we'll help you [17:43:48] Thank you inari. I just saw them in code for swahili [17:44:16] It now makes sense [17:47:36] *** Joins: fotonzade (~photon@161.9.38.240) [17:49:21] *** Quits: fotonzade (~photon@161.9.38.240) (Client Quit) [17:58:14] *** Quits: dbamzie (81101f7d@gateway/web/freenode/ip.129.16.31.125) (Ping timeout: 260 seconds) [18:03:30] *** Joins: fotonzade (~photon@161.9.38.240) [18:04:20] *** Quits: fotonzade (~photon@161.9.38.240) (Remote host closed the connection) [21:27:58] *** Joins: fotonzade (~photon@78.189.158.97) [21:44:36] *** Quits: fotonzade (~photon@78.189.158.97) (Quit: Leaving) [22:40:34] *** Joins: fotonzade (~photon@78.189.158.97) [22:43:29] *** Quits: fotonzade (~photon@78.189.158.97) (Client Quit) [23:06:59] *** Quits: kook_ (~sirdancea@79.98.72.195) (Ping timeout: 260 seconds)