[00:54:30] *** Joins: stoopkid__ (uid137696@gateway/web/irccloud.com/x-prfychaifrxqfupu) [01:14:38] *** Joins: JuanDaugherty (~juan@98.4.124.117) [02:28:09] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex Chat) [04:58:36] *** Joins: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) [06:34:24] *** Quits: proteus-guy (~proteus-g@2405:9800:bc10:1ca:68a4:351:5bca:b9a3) (Ping timeout: 246 seconds) [06:41:36] *** Joins: proteus-guy (~proteus-g@2405:9800:bc10:1ca:68a4:351:5bca:b9a3) [08:05:47] *** Quits: proteus-guy (~proteus-g@2405:9800:bc10:1ca:68a4:351:5bca:b9a3) (Remote host closed the connection) [09:29:20] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Ping timeout: 260 seconds) [10:20:48] *** Joins: proteus-guy (~proteusgu@180.183.10.249) [10:23:43] *** Joins: proteusguy (~proteus-g@180.183.10.249) [10:24:56] *** Quits: proteusguy (~proteus-g@180.183.10.249) (Max SendQ exceeded) [10:25:27] *** Joins: proteusguy (~proteus-g@180.183.10.249) [10:30:01] *** Quits: proteusguy (~proteus-g@180.183.10.249) (Ping timeout: 240 seconds) [10:31:52] *** Joins: proteusguy (~proteus-g@180.183.10.249) [10:36:37] *** Quits: proteusguy (~proteus-g@180.183.10.249) (Ping timeout: 260 seconds) [10:43:46] *** Joins: proteusguy (~proteus-g@180.183.10.249) [10:53:06] *** Quits: proteusguy (~proteus-g@180.183.10.249) (Ping timeout: 255 seconds) [14:30:19] *** Joins: JuanDaugherty (~juan@98.4.124.117) [14:44:03] *** Joins: proteusguy (~proteus-g@180.183.48.154) [15:00:11] ayberkt: I have a super crude version of the sort of testing thing we talked about in the summer school [15:00:11] https://github.com/inariksit/GF-testing/blob/master/testLang.sh [15:00:37] is that something along the lines you were thinking too? [15:01:45] so in this repository, I have Haskell code that generates minimal trees that test all constructions (okay, so far it's not actually doing anything smart, but that part will come later) [15:01:59] it's using the TestLang.gf abstract syntax in the data/grammars directory [15:02:24] which is just the normal RGL with less words [15:03:00] and this script just a) compiles TestLang at the moment,stores results b) recompiles the grammar you've been developing, stores results and c) diffs the files [15:03:33] the actual effort of this work will be in the generation of those examples; it will be different for each language [15:03:57] like for english, to test e.g. ComplV2, we don't need to test "see me", "see you", "see John" ..., only one of those is enough [15:04:15] but we should test with 2 different subjects, like "I see X" and "John sees X" [15:04:42] maybe some other language we should use different nouns, one for each gender the language has [15:04:44] and so on [15:05:32] so we'll poke the PGF to find parameters and then magic happens [15:06:07] but anyway, any comments and suggestions on the workflow? if/when this works, it would be nice to have it as some more standard part of GF itself [15:06:16] instead of giving some random shellscripts with a hardcoded GPATH=/Users/inari/src/GF-github/lib/src/$LANG/ :-P [15:38:50] *** Quits: proteusguy (~proteus-g@180.183.48.154) (Ping timeout: 255 seconds) [15:45:27] mbrock: did anyone answer you on the travis thing? [15:46:36] it seems not at least on the mailing list nor on github [15:46:45] I don't feel like being senior GF developer enough to just go and merge it [15:46:52] but I can take up on it next week's meeting [16:01:21] *** Joins: proteusguy (~proteus-g@180.183.48.154) [16:47:47] *** Quits: proteusguy (~proteus-g@180.183.48.154) (Ping timeout: 255 seconds) [16:49:55] inariksit: yeah, I didn't see a response yet. If you bring it up in a meeting, that's cool! [18:48:27] *** Quits: proteus-guy (~proteusgu@180.183.10.249) (Remote host closed the connection)