[02:16:13] /me makes note to try C runtime in next grammar. [02:55:57] *** Quits: eerbmt (c191e608@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.8) (Ping timeout: 246 seconds) [04:04:49] *** Quits: drbean_ (~drbean@124.219.82.42) (Ping timeout: 258 seconds) [04:05:45] *** Joins: drbean (~drbean@124.219.83.42) [09:43:05] *** Joins: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [09:44:21] *** Joins: spectei (~fran@ilazki.thinkgeek.co.uk) [09:44:53] *** Quits: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Client Quit) [09:47:23] *** Joins: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [10:02:43] dbamzie: which page was the example you asked about yesterday? [10:03:01] I tried to look in the book, but couldn't recognise an exercise about foods with prefixes [10:04:54] inariksit, perhaps he means prefixes as in the nkore prefixes ? [10:05:25] http://www.grammaticalframework.org/doc/tutorial/gf-tutorial.html#toc20 [10:05:26] ah [10:05:29] "Enable the optional prefixing of phrases with the words "excuse me but". Do this in such a way that the prefix can occur at most once. " [10:05:37] maybe this one ? [10:05:49] aaah it was on the website, I just tried searching the book :-D [10:05:50] sorry [10:05:54] yeah that looks like it [10:07:17] dbamzie: so you need a function that modifies a Phrase [10:07:27] so ExcuseMe : Phrase -> Phrase [10:07:38] and then you can add a boolean field in the Phrase [10:08:31] to keep track if the ExcuseMe function has been used on the Phrase or not [10:10:39] though with that solution, if you call ExcuseMe (ExcuseMe (ExcuseMe (Is (That Fish) Expensive))), it just adds one "excuse me but" [10:15:08] hmm okay, if I parse "excuse me but ___", it doesn't give me all the nonsensical ExcuseMe (ExcuseMe (ExcusMe ...) trees [10:15:26] when you extend your grammar with that, you have to open Prelude to get the Bool type [10:15:45] so add this as the first line [10:15:50] concrete FoodsEng of Foods = open Prelude in { [10:40:57] http://www.ltaggame.com/ [10:44:04] IRC! [10:56:00] *** Joins: PacoP (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [10:56:03] *** Joins: frankier_web (c191e609@gateway/web/freenode/ip.193.145.230.9) [10:56:10] *** Joins: bogdanbabych_ (c191e609@gateway/web/freenode/ip.193.145.230.9) [10:56:22] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [10:56:22] *** Joins: eerbmt (c191e608@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.8) [10:56:23] *** Joins: dowlinme (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [10:56:23] grammaticalframework [10:56:27] https://docs.google.com/presentation/d/1Z7AvO8YdnVCDMTZsBb-XrKrT20gX3eSJVVVKyo_6bgc/edit?pref=2&pli=1#slide=id.p [11:07:38] sup [11:07:46] hello! [11:07:49] sälem [11:07:52] ^_^ [11:38:19] *** Quits: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [11:39:16] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [11:41:32] *** Quits: bogdanbabych_ (c191e609@gateway/web/freenode/ip.193.145.230.9) (Ping timeout: 250 seconds) [11:44:38] *** Joins: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [12:12:25] hello! [12:12:26] My hovercraft is full of eels [12:14:22] *** Joins: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [12:40:04] very italian [12:42:38] Ev penîr zor Îtalyayî yê [12:43:01] ^^ [13:01:10] *** Quits: juanfran (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [15:25:33] memduh, what would you edit sohrani in [15:25:34] not vim [15:28:52] gedit or geany probably, vin-ivar [15:29:18] its weird to think IRC has better support for RTL than linux terminal [15:29:30] سورانی [15:37:27] ikr [15:37:49] inariksit, is it okay to mention in a paper on a gf grammar [15:37:50] that [15:38:07] "while has relatively free word order, we have assumed the standard SOV word order"? [15:38:58] I mean should I mention that [15:39:33] vin-ivar: sure! you can just explain that additional word orders are implemented in an extra module [15:39:41] cool [15:39:47] I mean they aren't [15:39:48] as of now [15:39:50] but eventually [15:39:50] :D [15:39:52] hehe yeah [15:43:49] also they're super easy to implement; just take your PredVP function and copy it as PredVPVSO, PredVPSVO, PredVPOVS etc, and copypaste with arguments in different order [15:52:43] yeah [15:52:51] inariksit, how do I pass True to cc o_O [15:53:02] Lang> cc UseV True "sd" [15:53:02] constant not found: True [15:53:04] wat [16:10:24] you have to import Prelude [16:11:14] also, UseV is an abstract syntax function, which only takes a V, not bool [16:11:24] you can define your own oper that takes a Bool and a Str [16:11:39] to construct a V [16:11:52] UseV takes a V and makes a VP [16:18:14] *** Joins: bb (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) [16:18:37] *** Parts: bb (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) () [17:03:22] *** Quits: PacoP (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [17:04:54] *** Quits: spectei (~fran@ilazki.thinkgeek.co.uk) (Ping timeout: 258 seconds) [17:07:22] *** Quits: dowlinme (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [17:10:00] *** Quits: frankier_web (c191e609@gateway/web/freenode/ip.193.145.230.9) (Ping timeout: 250 seconds) [17:11:00] *** Quits: dbamzie (c191e609@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.9) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [17:57:34] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [18:21:44] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client) [19:04:26] *** Quits: eerbmt (c191e608@gateway/web/cgi-irc/kiwiirc.com/ip.193.145.230.8) (K-Lined) [20:14:54] *** Joins: Putti (~Putti@unaffiliated/putti) [21:04:18] *** Joins: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) [21:22:07] *** Joins: spectei (~fran@62.117.202.50.dyn.user.ono.com) [21:22:07] *** Quits: spectei (~fran@62.117.202.50.dyn.user.ono.com) (Changing host) [21:22:07] *** Joins: spectei (~fran@unaffiliated/spectie) [21:34:33] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 246 seconds) [21:38:40] *** Quits: dbamzie (3e52ce07@gateway/web/cgi-irc/kiwiirc.com/ip.62.82.206.7) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)