[06:15:00] *** Quits: proteusguy (~proteusgu@cm-58-10-154-147.revip7.asianet.co.th) (Remote host closed the connection) [07:40:25] *** Joins: proteusguy (~proteusgu@mx-ll-180.183.128-65.dynamic.3bb.co.th) [08:05:47] *** Quits: proteusguy (~proteusgu@mx-ll-180.183.128-65.dynamic.3bb.co.th) (Ping timeout: 240 seconds) [08:06:35] *** Joins: proteusguy (~proteusgu@mx-ll-180.183.128-65.dynamic.3bb.co.th) [11:11:34] I wonder if I should add to my gotchas post the thing about pattern matching tuples where you can leave out some fields [11:12:07] like are people using it so much that they might run into the problems, or if I talk about it will I just introduce the practice and thus introduce tons of bugs [11:13:53] basically: [11:13:56] case of { => this ; => is ; => buggy } ; [11:13:56] but [11:13:58] case of { => this ; => is ; => fine } ; [11:14:15] oops sorry formatting, it was line breaks in my editor :-P [11:14:48] the point is that in the upper case, even though PrPerf ≠ PerImperf, it's still causing an error, probably because PPresent2 is the same constructor [11:16:43] actually I found another bug in pattern matching with records the other day [11:17:54] let me just document it here in case I want to write about it to gf-dev :-P [11:17:54] UsePN pn = emptyNP ** { s = pn.s; a = NounPer3 pn [11:17:57] -- a = NounPer3 {g=pn.g ; n=pn.n ; s=pn.s} -- this works } ; [11:18:02] [11:18:14] and the definitions are: [11:18:15] [11:18:28] Agr = NounPer3 {g:Gender ; n:Number} | Pron PerGenNum ; [11:18:35] PN = {s : Case => Str; g : Gender; n : Number} ; [11:19:09] anyway, writing ` a = NounPer3 pn ` causes internal error in GeneratePMCFG [11:19:30] even though ` a = NounPer3 {g=pn.g ; n=pn.n ; s=pn.s} ` is exactly the same definition [11:20:16] and naturally it works just fine with ` a = NounPer3 {g=pn.g ; n=pn.n} ` , just thought to save a couple of characters and thus I tried `a = NounPer3 pn` [19:30:09] *** Joins: odanoburu (uid302941@gateway/web/irccloud.com/x-aengfimjjuigxxno) [20:24:59] hi! [21:39:52] *** Quits: odanoburu (uid302941@gateway/web/irccloud.com/x-aengfimjjuigxxno) (Quit: Connection closed for inactivity) [22:10:33] *** Quits: stoopkid (uid137696@gateway/web/irccloud.com/x-kakdumrdqqalawyz) (Quit: Connection closed for inactivity) [22:56:55] *** Joins: stoopkid (uid137696@gateway/web/irccloud.com/x-cdfsrsihbdiooenv)