[03:37:46] *** Joins: drbean (~drbean@TC210-63-209-174.static.apol.com.tw) [06:22:47] *** Quits: drbean (~drbean@TC210-63-209-174.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) [11:12:12] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [11:12:30] what does this error mean [11:12:31] Query> cc -all YesNo [11:12:31] no source grammar in scope [11:23:02] if i have the following I'm only getting linearizations for the first table param [11:23:03] param Polr = Pos | Neg ; [11:23:03] lin [11:23:03] Answer = Polr => Text ; [11:23:03] YesNo = table {Pos => yesno yes_Utt ; Neg => yesno no_Utt} ; [11:23:55] lincat before answer, lin before YesNO [11:25:49] so, for instance, i'm getting this [11:25:49] p -cat=Answer "yes ." [11:25:50] YesNo [11:25:50] 0 msec [11:25:50] Query> p -cat=Answer "no ." [11:25:50] The parser failed at token 1: "no" [11:26:12] and if you were me how would you debug this? [11:31:19] is there any documentation for the cc command? or working examples anywhere? [11:42:58] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 245 seconds) [11:50:56] wmacmil: what result do you get for l -table YesNo? [11:57:50] if you want to use cc you have to load the grammar with -retain [11:58:24] but pretty much everything on linearization function can be done with the l command instead [11:58:45] cc is mostly useful to test opers [12:58:46] *** Joins: wmacmil (~wmacmil@ua-84-216-128-62.bbcust.telenor.se) [13:03:58] wmacmil: if you haven't solved your problem yet, i wrote a few comments (without realizing that you were gone) which you can find in the log [13:04:08] ok thank you [13:06:33] so im still getting the same error even though the table flag gives makes me think i should be getting the right one! [13:06:35] p -cat=Answer "no ." [13:06:35] The parser failed at token 1: "no" [13:06:35] 0 msec [13:06:35] Query> l -table YesNo [13:06:35] Pos s : yes . [13:06:37] Neg s : no . [13:07:17] also, gr -cat=Answer -number=10 | l [13:07:18] gives 10 yes's [13:11:04] also, the retain comment was indeed helpful! so here's the output of the yesno function [13:11:05] cc -all yesno yes_Utt [13:11:05] yes Predef.SOFT_BIND . [13:11:05] 0 msec [13:11:05] > cc -all yesno no_Utt [13:11:05] no Predef.SOFT_BIND . [13:11:07] 0 msec [13:25:34] wmacmil: can you share the complete code? [13:28:51] https://github.com/wmacmil/AgdaGrammar/tree/main/pgfTests [13:28:52] QueryEngRgl.gf [13:28:52] i was just trying to refactor the code from a previous state where Yes and No were seperate functions [13:28:52] and compress them into one fun, whose lincat now took a boolean parameter as an arguement [13:28:52] i had no problems when yes and no were different functions [13:30:11] *** Joins: drbean (~drbean@TC210-63-209-63.static.apol.com.tw) [13:30:34] wmacmil: unrelated question, why do you have a file called ' in your repository? [13:30:41] no idea [13:31:14] i just deleted it [13:31:51] also, another unrelated question, how to i signal to gitignore to ignore all .gfo files in subdirectories [13:32:28] as its defined in the parent directory and only suppressing gfo extensions in locally [13:33:57] for me it seems to be working to just have '*.gfo' in my gitignore and it is also ignoring the ones in subdirectories [13:35:00] hmm, no idea why it isn't for me, but i'm not particularly concerned about it at the moment [13:35:03] about your grammar, when you generate a random answer you actually get both yes and no at the same time, e.g. see gr -cat=Answer | l -table [13:35:37] and i suspect that gf behaves stragely when trying to parse something of a table type [13:38:49] if you change param Polr = Pos | Neg to Polr = Neg | Pos you can only parse "no ." [13:39:09] that means gf only cares about the parameter that is defined first when parsing [13:39:32] yeah i tried that earlier and saw that! [13:40:14] so how does one resolve this? is it not really appropriate that have a "root" category with a lincat that [13:40:20] 's a table? [13:42:36] yes, it seems that at least if you want to parse the root category has to be a string [13:44:16] ok, thanks [14:22:58] *** Quits: wmacmil (~wmacmil@ua-84-216-128-62.bbcust.telenor.se) (Ping timeout: 245 seconds) [14:49:00] *** Quits: drbean (~drbean@TC210-63-209-63.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) [15:14:53] *** Joins: wmacmil (~wmacmil@ua-84-216-128-62.bbcust.telenor.se) [15:31:46] *** Quits: wmacmil (~wmacmil@ua-84-216-128-62.bbcust.telenor.se) (Ping timeout: 256 seconds)