[01:08:52] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Ping timeout: 240 seconds) [05:18:45] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) [09:16:01] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Ping timeout: 252 seconds) [09:42:15] *** Joins: jmvanel (~jmvanel@78.193.21.40) [11:35:21] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [11:39:19] *** Quits: jmvanel (~jmvanel@78.193.21.40) (Ping timeout: 264 seconds) [12:19:42] *** Joins: spectie (~fran@hum-tf4-ans166.hum.uit.no) [12:19:54] *** Quits: spectie (~fran@hum-tf4-ans166.hum.uit.no) (Changing host) [12:19:55] *** Joins: spectie (~fran@unaffiliated/spectie) [12:43:13] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Operation timed out) [12:43:52] *** Joins: spectie (~fran@hum-tf4-ans166.hum.uit.no) [12:43:52] *** Quits: spectie (~fran@hum-tf4-ans166.hum.uit.no) (Changing host) [12:43:52] *** Joins: spectie (~fran@unaffiliated/spectie) [12:49:44] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 265 seconds) [12:52:06] *** Joins: spectie (~fran@nac-guest796.wifi.uit.no) [12:52:07] *** Quits: spectie (~fran@nac-guest796.wifi.uit.no) (Changing host) [12:52:07] *** Joins: spectie (~fran@unaffiliated/spectie) [13:03:02] *** Quits: spectie (~fran@unaffiliated/spectie) (Quit: Leaving) [13:03:11] *** Joins: spectie (~fran@hum-tf4-ans166.hum.uit.no) [13:03:11] *** Quits: spectie (~fran@hum-tf4-ans166.hum.uit.no) (Changing host) [13:03:11] *** Joins: spectie (~fran@unaffiliated/spectie) [13:38:20] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [14:29:45] *** Joins: myoriel (~Myoriel@aftr-88-217-181-200.dynamic.mnet-online.de) [16:08:38] *** Joins: spectie (~fran@nac-guest796.wifi.uit.no) [16:08:39] *** Quits: spectie (~fran@nac-guest796.wifi.uit.no) (Changing host) [16:08:39] *** Joins: spectie (~fran@unaffiliated/spectie) [17:18:17] *** Joins: Feuerbach (~feuerbach@unaffiliated/feuerbach) [17:18:38] hi [17:18:50] is it required to put different modules in different files? [17:19:02] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 252 seconds) [17:32:22] *** Joins: spectie (~fran@hum-tf4-ans166.hum.uit.no) [17:32:22] *** Quits: spectie (~fran@hum-tf4-ans166.hum.uit.no) (Changing host) [17:32:22] *** Joins: spectie (~fran@unaffiliated/spectie) [18:37:34] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Operation timed out) [19:41:33] *** Joins: spectie (~fran@unaffiliated/spectie) [19:59:11] Feuerbach: what do you mean? [19:59:42] like that you have "abstract Foo = {stuff}" and "abstract Bar = {otherstuff}" in the same file? [20:01:08] so you can't call it neither Foo.gf nor Bar.gf (or FooBar.gf or anything else :P) [20:01:31] hmm I don't know actually if you can do that with resources or interfaces [20:01:38] but I'd imagine no [20:03:01] hey inariksit ! [20:03:46] hey :) [20:04:03] how goes ? [20:04:58] I'm fine :) was correcting exercises to this course I'm TAing and just took a quick GF break [20:06:22] :) [20:06:35] nice [20:06:45] i got home, a bit late [20:06:58] my new computer arrived today so i was fiddling a bit [20:07:32] inariksit: I meant whether I could place my abstract and concrete modules in the same file [20:07:33] Feuerbach: hehe, I started testing now (although you might have done it already in the 3 hours without answer :-D abstract Foo = {fun stuff} ; concrete FooBar = {lin stuff} doesn't work either [20:08:14] yeah, it didn't work for me either, but I though maybe there's some way to make it work. Anyway, it's not a big deal [20:08:28] yeah, I haven't heard at least, I tried like this http://pastebin.com/pYqBM50D [20:08:45] spectie: nice! [20:09:18] now i'm tidying up a bit; then i am going to consume food; then i am going to try and read about avar or something [20:09:20] I'm actually still in the office, I was climbing and got here to leave my stuff and thought well, I don't have so many of the labs, will have more chance to do them if I just do them here :P [20:09:27] :) [20:09:31] workaholic :P [20:10:58] does anyone here know how to make punctuation work? I tried putting flags lexer=text; in the concrete module, but it didn't help [20:11:09] here's my code: https://gist.github.com/feuerbach/9490950 [20:11:11] yeah that sucks in GF [20:11:19] there's the category Text [20:11:53] shouldn't that be just a matter of choosing the right lexer? [20:11:56] Feuerbach: I'll come back to it if nobody else gets it first :P now I should really grade the labs [20:12:07] ok :) [20:14:27] (hmm, shouldn't it be lexer=lextext? you have lexer=text) [20:14:48] I tried that too, I think. (I've seen these two alternatives in different sources.) [20:14:50] type "help lexer"while in gf shell [20:15:04] okay, well this is really a moving target [20:15:11] are you on the GF mailing list btw? [20:16:11] yes, I sent an email about this today, but I don't see it on the google group website [20:16:19] not sure why [20:17:03] yeah, lextext doesn't work either [20:17:24] oh [20:17:39] I haven't seen it either [20:17:46] and I don't have any admin rights, can't check [20:17:57] no idea who has them btw :P jstar do you know? [20:18:21] *** Joins: tuelen (~tuelen@91.213.72.77) [20:18:30] I'll try posting from the web interface now [20:19:18] oh wait, it just appeared [20:28:32] *** Quits: tuelen (~tuelen@91.213.72.77) (Remote host closed the connection) [20:52:10] right, now going home! [20:52:43] Feuerbach: I might be wrong, but I think with the C runtime some punctiation things work better [20:53:05] at least I remember there's no need to use the bind tokens when parsing (e.g. with clitics) [20:53:39] so for that, you compile your grammar into a PGF and then do magic, there are bindings to haskell, java, python at least [20:54:06] but yeah I don't remember for sure if that is a good solution, I can check when I get home [20:54:12] --> [21:05:10] well, I am interacting with gf from Haskell. So how do I use a proper lexer? I guess I have to plug the output of mkTokenizer somewhere... [21:30:16] *** Joins: kholmanskikh (~kholmansk@78.24.220.110) [21:33:48] *** Quits: kholmanskikh (~kholmansk@78.24.220.110) (Remote host closed the connection) [21:42:49] Feuerbach: okay, right. to be honest, I haven't used mkTokenizer myself, if I want to parse, I just normalize the input text :P all lowercase and separating punctuation as separate tokens [21:44:29] I just tested with the C runtime, it doesn't work with punctuation ("foo, bar" doesn't parse, needs to be "foo , bar"), it's just the &+ thing that it doesn't need while parsing [21:46:07] I haven't actually made any big applications with GF, I've just contributed to the RGL and I like the linguistic stuff :) so in these practical matters I don't know more than you I guess [21:50:35] ok, thanks. I asked on the mailing list — hopefully someone will help :) [21:51:12] yeah :) I just searched for tokenizer from the group, found a number of threads [21:51:18] you might want to look at them [21:51:25] will do [22:12:43] *** Joins: evariste_ (~evariste@2001:4b98:dc0:41:216:3eff:fef8:98d6) [22:15:01] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split) [22:15:01] *** Quits: jonsterling (sid24013@gateway/web/irccloud.com/x-xiutcjstpxkdhzpc) (*.net *.split) [22:15:06] *** Quits: drbean (~drbean@59-125-83-253.HINET-IP.hinet.net) (*.net *.split) [22:15:09] *** Quits: myoriel (~Myoriel@aftr-88-217-181-200.dynamic.mnet-online.de) (*.net *.split) [22:15:09] *** Quits: Feuerbach (~feuerbach@unaffiliated/feuerbach) (*.net *.split) [22:15:13] *** Quits: spectie (~fran@unaffiliated/spectie) (*.net *.split) [22:15:25] *** Quits: evariste (~evariste@2001:4b98:dc0:41:216:3eff:fef8:98d6) (*.net *.split) [22:15:27] *** Quits: esg (~emil@193.1.218.163) (*.net *.split) [22:24:28] *** Joins: jstar (~jstar@77.235.50.85) [22:24:43] *** Joins: evariste (~evariste@2001:4b98:dc0:41:216:3eff:fef8:98d6) [22:25:29] *** Quits: esg_ (~emil@193.1.218.163) (*.net *.split) [22:25:37] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split) [22:25:39] *** Quits: jonsterling (sid24013@gateway/web/irccloud.com/x-xiutcjstpxkdhzpc) (*.net *.split) [22:27:09] *** Joins: esg_ (~emil@193.1.218.163) [22:27:09] *** Joins: inariksit (~inari@ksit.fixme.fi) [22:27:09] *** Joins: jonsterling (sid24013@gateway/web/irccloud.com/x-xiutcjstpxkdhzpc) [22:45:00] *** Quits: myoriel (~Myoriel@aftr-88-217-181-200.dynamic.mnet-online.de) (Read error: Operation timed out) [23:12:49] *** Quits: Feuerbach (~feuerbach@unaffiliated/feuerbach) (Ping timeout: 252 seconds) [23:16:52] *** Joins: Feuerbach (~feuerbach@80.90.232.50) [23:16:52] *** Quits: Feuerbach (~feuerbach@80.90.232.50) (Changing host) [23:16:52] *** Joins: Feuerbach (~feuerbach@unaffiliated/feuerbach)