[04:43:06] *** Joins: drbean (~drbean@TC210-63-209-36.static.apol.com.tw) [07:15:17] *** Quits: proteusguy (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) (Ping timeout: 265 seconds) [07:27:55] *** Joins: proteusguy (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) [10:08:40] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.tele2.se) [11:00:43] *** Quits: drbean (~drbean@TC210-63-209-36.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) [13:47:23] just to post the answer here [13:47:38] cc usePrec 0 (Add (EInt 3) (EInt 4)) doesn't work, because the lincat of all literals is {s : Str} [13:47:44] it will work if you change it like this: [13:47:58] cc usePrec 0 (Add (EInt {s = "3"}) (EInt {s = "4"})) [15:08:06] *** Joins: drbean (~drbean@TC210-63-209-82.static.apol.com.tw) [15:57:01] *** Quits: drbean (~drbean@TC210-63-209-82.static.apol.com.tw) (Ping timeout: 248 seconds) [19:26:49] *** Joins: LambdaDu1k (~anka@ksit.fixme.fi) [19:31:45] *** Quits: LambdaDuck (~anka@ksit.fixme.fi) (*.net *.split) [22:16:19] *** Joins: dobrovskaya (~dobrovska@139.red-83-44-195.dynamicip.rima-tde.net) [22:19:22] Hi again, I've come with new problems =] [22:20:36] One of the comp syntax students is working with Arabic and there are problems that I can't begin to debug, first, because the writing goes right to left [22:22:59] she is writing an application grammar that calls RGL, and when using mkV [verb] gf complains that "regV not applicable to [verb]" [22:23:45] options: -could it have something to do with the writing backwards that it is trying to inflect the word but taking the first letter instead of the last?? [22:25:15] - also she says she doesnt understand the explanations for the Arabic grammar because she is not familiar with categories like "form I" for Arabic, is there a reference she could consult? [22:36:41] *** Quits: dobrovskaya (~dobrovska@139.red-83-44-195.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) [22:52:44] *** Joins: dobrovskaya (~dobrovska@139.red-83-44-195.dynamicip.rima-tde.net) [23:10:15] dobrovskaya: is it really a regular verb? [23:11:49] she is super sure. But anyway if we comment out that verb it complains about another [23:13:12] but with the same problem [23:16:03] I don't know arabic [23:16:39] in the grammar, both mkV with one and two parameters use regV to generate the paradigm [23:17:20] and both can handle the same four cases [23:17:57] Line 430-450 of ParadigmsAra.gf [23:21:20] I think we looked at it at some point, but Ill double check, thanks [23:22:13] e.g. mkV "فَعِلَ" seems to be working [23:23:26] do you remember what verb was problematic? [23:23:53] could it be this one ? mkV "تنفس" [23:25:25] sorry, I'll talk to her again [23:25:35] according to wictionary that is a verb of form V [23:26:58] so mkV "تنفس" FormV seems to work [23:28:47] there is a bit about these forms on wikipedia: https://en.wikipedia.org/wiki/Arabic_verbs#Formation_of_derived_stems_(%22forms%22) [23:29:52] i'm off for now. good luck [23:35:57] Thanks so much! It might be a problem with the diacritics !! [23:37:11] in a way, yes. but it's arabic, it's probably more complicated [23:37:27] the diacritics mark vowels [23:37:42] each verb stem consists of something like three consonants [23:37:57] and by adding vowels you can derive new verbs [23:38:25] these derived forms are then called form i, form ii, ... [23:38:55] (disclaimer: that's just an educated guess) [23:39:54] haha thanks, ill take that into account [23:40:01] *** Quits: dobrovskaya (~dobrovska@139.red-83-44-195.dynamicip.rima-tde.net) (Quit: Leaving)