[01:04:45] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) [03:25:03] app comes from http://www.grammaticalframework.org/lib/doc/synopsis/index.html#toc129 [04:07:36] *** Joins: drbean_ (~drbean@TC210-63-209-69.static.apol.com.tw) [05:50:24] *** Quits: drbean_ (~drbean@TC210-63-209-69.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) [06:25:48] daherb: succh exciting content https://github.com/daherb/CV [07:37:15] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [09:16:01] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 256 seconds) [09:31:48] inariksit: at least i already created a repository [10:09:55] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [10:35:27] translate your cv to what [11:00:04] wmacmil: depending on the job i need my cv in english or german (and potentially even other languages) [12:35:31] also the idea is to generate latex and otherdocument formats [13:08:34] so i'm really confused about how to "backward trace rgl errors" [13:08:43] for example, from the cade paper i'm trying to use [13:08:44] Exist v p = [13:08:44] mkS [13:08:44] (mkCl [13:08:44] (mkNP a_Quant [13:08:44] (mkCN [13:08:45] (mkCN element_N [13:08:47] (mkNP [13:08:49] (SymbPN v))) [13:08:51] (mkAP [13:08:53] (mkAP such_A) [13:08:55] p)))) ; [13:09:02] with the error [13:09:02] ArithSimple.gf:52-62: [13:09:03] Happened in linearization of Exist [13:09:03] missing record fields: s type of v [13:09:07] expected: {s : Str} [13:09:09] inferred: {s : ResEng.NPCase => Str; a : ResEng.Agr; lock_NP : {}} [13:09:46] what does the "s type of v" mean in this context? [13:10:24] also, _ isn't rendering [13:10:30] the underscore when i paste [13:30:21] i ended up figuring out my error, but any comments on the question are still welcome :) [13:31:38] i guess v was the wrong type (NP) when it was expecting a (Symb) [14:53:50] yeah, it's annoying when it doesn't use the type names in the "expected: _, inferred: _" error messages [14:55:02] did you see my latest blog post about lists btw? https://inariksit.github.io/gf/2021/02/22/lists.html [14:57:09] as for "s type of v", I assume it just means that the type of the s field is mismatched [14:57:36] the "expected: _, inferred: _" part is actually much more informative, as it tells you it's not just the s field that is the issue [14:58:11] but probably the function that tries to use v, is reacting to the s field of its argument being not what it expected [14:58:29] so in a sense it's "missing" a s field whose type is just a Str [14:58:46] it got an s field of type NPCase => Str but it can't do anything with it [23:49:32] *** Joins: tinyhippowp (~tinyhippo@91-170-57-183.subs.proxad.net) [23:49:34] EtxO7EOmOGHAx4S5TxRv4e8ZLTpGfX2EVnWkuMQlYdVSVdCOSlxIqRguAQz7SUKJAgu9rt1rwHBmxAtKXCahR4xqGmdap4M0FPBYJRGK6UeoJ1L4F1Q0m0aU [23:49:40] MVsdsyePSivmHZ0bRBCUilJyNNPI9d5CVPcm3g4s2l5jpADQmRJdbD2KbKBmqf1DifKr7zi7k3C5LkCTQuoMtxM0EMUd24aUlemraPs9CwhWcwiLaIgQoIIW [23:49:44] 8pqAX1ZxvxihEKZuHl6ksHTXvyotolbNTa6pf1AGenzYoxYPf8rNg3onQN7OZtrpuH43XRKhfXXJZYcqN3nvaVxFjMb6UEfMF1pp0JVWd7M37MGqBcp2Afil [23:49:47] *** Quits: tinyhippowp (~tinyhippo@91-170-57-183.subs.proxad.net) (K-Lined) [23:55:28] *** Joins: madpropsvm (~madprops@37.211.183.14) [23:55:33] djKvTSl0psFTnPzVpfHbFbsJqgQjz6gw1q09X532byyWmDjipTMyw5TDuXzYMthF6hTGgehpPUUgBv3klfdFvEKKoI06caqX2wLUMB7RiXpIducnPrQEjqZy [23:55:40] HLJB4idL8xTUVZ6V9hA5BakYWejjzT8hUcKwRh2dndzcjXuJtqFFYSw8iBlDcPwUhuYPWe3Wz78hCHlLSrqzrdaU3qrx7qVfM65DW0sjEhHgE0GwoX1cBQIx [23:55:40] *** Joins: CurryWurstNK (~CurryWurs@193.218.150.234.static.telsat.wroc.pl) [23:55:43] SWSGafx96ipE0nRBDxJGZB9KOQ4Hl103MoGExWsJIGsj8lXLqgxaSyRsjAoYU4H0lCV7o1XKTtedl76vddyze1PPJk1ZQtRkGEJEAJ0xIYIV4ubUpbFB3Iku [23:55:46] *** Quits: madpropsvm (~madprops@37.211.183.14) (K-Lined) [23:55:47] oycMqdakMDh3VW290Hj3hCFY5SHSpiY6z14gsu9vh5a0wdWye1q4U1oTo1WyYnPpIsIlY8X7A15TJbWlZIqlJr68ldf1V9WbrJ3pX7MYctuH5u91EEwRG6Sa [23:55:50] lUNM9uY7nMKAcSXEOPUcWmTODuKrZPgpwv3hXoxSOuROz4z93NiFlvHDg4adw16XimsWe3psdNnfluSmU98cWfAJlOaT63e8EIHx9h2rePHZr4H81aszh4Nb [23:55:55] *** Quits: CurryWurstNK (~CurryWurs@193.218.150.234.static.telsat.wroc.pl) (K-Lined)