[00:01:32] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Ping timeout: 260 seconds) [04:57:09] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Hibernate, reboot, exeunt, etc.) [06:36:11] *** Joins: fotonzade (~fotonzade@78.189.158.97) [06:41:40] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Quit: Leaving) [07:18:05] *** Joins: fotonzade (~fotonzade@78.189.158.97) [07:20:36] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Client Quit) [08:39:29] *** Joins: fotonzade (~fotonzade@78.189.158.97) [08:39:41] *** Joins: sirdancealot (~sirdancea@79.98.72.195) [09:02:02] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Quit: Leaving) [09:34:52] *** Joins: fotonzade (~fotonzade@78.189.158.97) [09:38:48] *** Joins: arla (~arildm@80-244-92-229.customer.t3.se) [10:05:48] *** Quits: arla (~arildm@80-244-92-229.customer.t3.se) (Ping timeout: 255 seconds) [10:25:34] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Ping timeout: 246 seconds) [10:30:48] *** Joins: arla (~arildm@80-244-92-229.customer.t3.se) [11:25:06] *** Joins: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) [12:13:59] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Ping timeout: 260 seconds) [12:23:49] *** Joins: freeside (~mengwong@host86-171-144-89.range86-171.btcentralplus.com) [12:33:24] *** Quits: arla (~arildm@80-244-92-229.customer.t3.se) (Ping timeout: 255 seconds) [13:03:04] *** Quits: freeside (~mengwong@host86-171-144-89.range86-171.btcentralplus.com) (Ping timeout: 246 seconds) [14:00:14] *** Joins: freeside (~mengwong@109.144.223.115) [14:08:28] moo [14:09:15] hello [14:11:02] hey, so i have a dumb question [14:11:37] go ahead! [14:12:02] i'm reading about LBNF and http://bnfc.digitalgrammars.com/tutorial.html [14:12:26] and i'm wondering: GF can take .cf and .ebnf files, but ... are there any plans for GF to read .lbnf? [14:14:09] so like Label . Cat ::= (String | Cat)* ; ? [14:14:45] well, i'm thinking about some of the extensions, like the "token" and "comment" rules described at http://bnfc.digitalgrammars.com/LBNF-report.pdf [14:16:41] I don't even know if it's already possible, I've always just written GF in the standard GF format [14:17:03] sure, it just seems like a hole in the periodic table [14:17:27] isn't .cf the standard file ending for BNFC grammars? [14:17:48] have you tried to input just a normal BNFC grammar for GF? like this one https://raw.githubusercontent.com/inariksit/cghs/master/src/bnfc/CG.cf [14:18:14] sure, but i want to do some of the extra things, like comments [14:18:38] what do you want to do with the comments? the BNFC one just ignores them [14:19:23] ok, let me try [14:19:43] ok I just tried, the file I linked parses when I remove the comments [14:20:41] doesn't seem to work super well though :-P [14:20:41] CGAbs> gr -cat=Def [14:20:41] Category Def is not in scope [14:20:42] CallStack (from HasCallStack): error, called at src/compiler/GF/Command/Commands.hs:875:38 in gf-3.8-KDnWhVphlFhIIAcJG2Ptiq:GF.Command.Commands [14:21:05] but yeah in any case, I don't know of any such development, you can write to the GF mailing list and explain your use case and ask :) [14:22:02] https://groups.google.com/forum/#!forum/gf-dev [14:22:36] ok, thank you for the advice [14:22:56] i will see if i can find some other way to piece together a solution for what i'm trying to accomplish [14:23:38] i was just curious because it seemed to me that GF should grok LBNF as well as regular CF BNF and EBNF. [14:25:48] but what i probably want to do is use BNFC to produce .hs, and use haskell to drive against PGF [14:26:23] i just wanted to see if i could do my whole toolchain in GF, at least initially [14:26:47] yeah right, that would be a benefit [14:27:02] just ask on the mailing list, it could be that it is an easy addition but nobody just hasn't requested it [14:31:25] *** Quits: freeside (~mengwong@109.144.223.115) (Ping timeout: 276 seconds) [14:33:49] *** Joins: freeside (~mengwong@94.197.121.39.threembb.co.uk) [14:33:52] right [14:34:32] so, i suppose the obvious thing to do would be to use BNFC to build an LBNF grammar for GF [14:35:44] GF/src/compiler/GF/Grammar/LBNF% bnfc ~/non-db-src/bnfc/examples/LBNF/LBNF.cf [14:35:46] lol [14:43:26] compiler compiler compiler compiler [14:43:41] Buffalo buffalo buffalo buffalo [15:50:34] *** Joins: arla (~arildm@46.194.245.190) [17:02:23] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Ping timeout: 255 seconds) [17:06:28] *** Quits: freeside (~mengwong@94.197.121.39.threembb.co.uk) (Ping timeout: 240 seconds) [17:16:27] *** Quits: arla (~arildm@46.194.245.190) (Ping timeout: 255 seconds) [17:31:59] wait GF can read backus-naur? [17:32:01] :D [17:32:03] i never knew that D: [17:32:12] inariksit, what's up with the git migration? [17:35:34] *** Joins: arla (~arildm@80-244-92-229.customer.t3.se) [17:39:23] *** Joins: freeside (~mengwong@host86-171-144-89.range86-171.btcentralplus.com) [17:39:43] ok, wait. section 9 of the LBNF report talks about GF generating lbnf. [17:56:05] hm, in 2003: "In addition to the obvious task of writing LBNF back ends to other language sthan Haskell, there are many imaginable ways to extend the formalism itself. One direction is to connect LBNF with the Grammatical Framework [...] LBNF was originally a spin-off of the GF, customizin ga subset of the GF to combine with standard compiler tools. [17:56:26] "The connection between LBNF and the GF is close, with the difference that the GF makes an explicit distinction between abstract and concrete syntax." [18:02:25] *** Joins: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) [18:11:34] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Ping timeout: 260 seconds) [18:19:35] *** Joins: proteusguy (~proteus-g@2605:6000:151a:801c:4982:6373:eedb:99e4) [18:24:28] *** Quits: freeside (~mengwong@host86-171-144-89.range86-171.btcentralplus.com) (Ping timeout: 240 seconds) [21:08:39] *** Quits: arla (~arildm@80-244-92-229.customer.t3.se) (Ping timeout: 255 seconds) [22:40:39] *** Joins: fotonzade (~fotonzade@78.189.158.97) [23:29:30] *** Quits: fotonzade (~fotonzade@78.189.158.97) (Quit: Leaving) [23:38:08] *** Joins: JuanDaugherty (~juan@98.4.124.117)