[00:59:18] *** Quits: fotonzade (~photon@78.189.158.97) (Ping timeout: 260 seconds) [01:03:02] *** Quits: proteus-guy (~proteusgu@180.183.96.82) (Ping timeout: 240 seconds) [01:03:45] *** Joins: proteus-guy (~proteusgu@183.88.59.80) [02:25:08] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Ping timeout: 240 seconds) [05:24:50] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Quit: Bye!) [05:25:53] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [05:26:04] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [05:26:04] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [06:32:12] *** Quits: proteusguy (~proteus-g@49.228.118.134) (Remote host closed the connection) [07:01:56] *** Joins: proteusguy (~proteus-g@183.88.34.177) [07:22:33] *** Joins: sirdancealot (~sirdancea@79.98.72.195) [10:13:47] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Ping timeout: 260 seconds) [11:06:12] *** Joins: fotonzade (~photon@78.189.158.97) [12:06:19] *** Joins: sirdancealot (~sirdancea@109.107.211.244) [12:33:42] *** Quits: proteusguy (~proteus-g@183.88.34.177) (Remote host closed the connection) [14:02:27] *** Joins: flu5i (6ffb8a51@gateway/web/freenode/ip.111.251.138.81) [14:02:38] *** Parts: flu5i (6ffb8a51@gateway/web/freenode/ip.111.251.138.81) () [14:04:23] *** Joins: proteusguy (~proteus-g@49.228.118.134) [14:32:00] *** Joins: Jana (82f1d415@gateway/web/freenode/ip.130.241.212.21) [14:32:57] *** Quits: proteusguy (~proteus-g@49.228.118.134) (Ping timeout: 240 seconds) [14:33:30] *** Joins: proteusguy (~proteus-g@49.228.107.196) [14:35:05] Hej everyone. I am building the extended mini resource for german and get the following error when compiling: [14:35:19] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 255 seconds) [14:35:51] Happened in linearization of PredVP type of vp.s expected: Prelude.Bool => ExtTry.Order => {lock_Temp : {}; p1 : Prelude.Bool; p2 : Prelude.Bool} => ExtTry.Agr => Str inferred: Prelude.Bool => ExtTry.Order => ExtTry.MyTense => ExtTry.Agr => Str [14:36:49] can you show the whole grammar again? [14:37:01] concrete, if you haven't changed the abstract in the gf-contrib repo [14:37:21] yes, I am uploading it right now. :) [14:37:28] the concrete is here: https://pastebin.com/GwxJ3K7t [14:38:01] the abstract is here: https://pastebin.com/JD4uCWty [14:38:40] What I don't understand in the error is the "lock_temp". [14:40:03] *** Quits: fotonzade (~photon@78.189.158.97) (Ping timeout: 260 seconds) [14:40:45] lock fields are just internal fields for the compiler [14:40:49] when you do a lincat [14:40:50] like lincat Temp = Bool*Bool; [14:41:02] actually the compiler inserts a lock_Temp field [14:41:29] so you can safely do e.g. lincat S = {s:Str} ; lincat Phr = {s:Str} ; [14:41:58] and they can look to us the same linearisation type, but for the compiler they're still distinct because the former has a hidden lock_S field, and the latter a lock_Phr field [14:43:07] lincat Cl = {s : Bool => Order => Temp => Str}; [14:43:43] lincat VP = {s : Bool => Order => MyTense => Agr => Str; inf : Str; impSg : Str; impPl : Str}; [14:44:12] do you mean MyTense instead of Temp for your lincat Cl? [14:44:46] because in PredVP, you are offering the same `t' for both Cl and VP [14:45:04] s = \\b, o, t => case of { ..... vp.s ! True ! Ord ! t ! np.a ; [14:47:01] Aha, I see. I find this temp parameter very confusing. I guess I should have implemented it already on the vp level. [14:49:03] I am still a bit unsure what anteriority within temp shold express. If it relates to the relation of two actions, like I would interpret it, it should only occur on clause level, shouldn't it? [14:49:32] But if so, I get into trouble with the word order. [15:17:44] *** Quits: Jana (82f1d415@gateway/web/freenode/ip.130.241.212.21) (Ping timeout: 260 seconds) [15:49:53] *** Joins: sirdancealot (~sirdancea@37-48-2-10.tmcz.cz) [16:14:04] *** Quits: sirdancealot (~sirdancea@37-48-2-10.tmcz.cz) (Ping timeout: 260 seconds) [17:07:14] *** Joins: sirdancealot (~sirdancea@79.98.72.195) [18:24:00] *** Joins: fotonzade (~photon@78.188.150.73) [19:58:57] *** Quits: fotonzade (~photon@78.188.150.73) (Ping timeout: 240 seconds) [23:24:58] *** Quits: proteusguy (~proteus-g@49.228.107.196) (Ping timeout: 255 seconds) [23:30:54] *** Joins: fotonzade (~photon@78.189.158.97) [23:40:11] *** Joins: proteusguy (~proteus-g@49.228.107.196)