[00:06:38] <inariksit> I don't even know what is sg
[00:06:55] <inariksit> I'm going to sleep now, good luck, and hope someone answers your emails!
[00:07:01] <inariksit> I can poke krasimir if I see him :-P
[00:08:10] <e3928a3bc> ok, thank you very much, inariksit!
[03:01:31] *** Quits: drbean (~drbean@210.63.209.15) (Ping timeout: 256 seconds)
[03:06:18] *** Parts: e3928a3bc (~user@2804:14d:5cd8:8447::3) ("ERC (IRC client for Emacs 25.2.1)")
[03:51:05] *** Joins: drbean (~drbean@TC210-63-209-197.static.apol.com.tw)
[05:36:20] *** Quits: keri (~wen@ksit.fixme.fi) (Ping timeout: 260 seconds)
[05:38:20] *** Joins: keri (~wen@ksit.fixme.fi)
[06:16:27] *** Quits: keri (~wen@ksit.fixme.fi) (Ping timeout: 240 seconds)
[06:17:35] *** Quits: inariksit (~inari@ksit.fixme.fi) (Ping timeout: 240 seconds)
[06:17:36] *** Joins: keri (~wen@ksit.fixme.fi)
[06:19:19] *** Joins: inariksit (~inari@ksit.fixme.fi)
[07:56:06] *** Quits: esg (~emil@esg.xen.prgmr.com) (Remote host closed the connection)
[12:11:32] *** Joins: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34)
[12:12:41] <venicecat> so mkPrep: Str -> Prep
[12:12:55] <venicecat> i don't seem to be able to use it like this
[12:13:25] <inariksit> what is the error?
[12:13:39] <venicecat> mkAdv (mkPrep "before") the monster
[12:13:47] <inariksit> there may be a oper named mkPrep in some other module as well, you can try to qualify it with ParadigmsEng.mkPrep
[12:14:35] <venicecat> it doesn't look like a conflict error
[12:14:40] <venicecat>  type of on_Prep       expected: Str       inferred: {s : Str; isPre : Prelude.Bool; lock_Prep : {}}
[12:15:12] <venicecat> i wanted to plug Prep into Adv then into Adv -> S
[12:15:16] <venicecat> i hope that makes sense
[12:15:46] <inariksit> it complains about on_Prep, not about the before_Prep
[12:15:47] <venicecat> i meant Adv -> S -> S
[12:16:02] <inariksit> s/before_Prep/mkPrep "before"/
[12:16:27] <venicecat> oops i meant on_Prep
[12:17:18] <venicecat> lemme redo it
[12:19:54] <venicecat> yup same error when i redo into this  Upon = mkAdv (mkPrep "upon") (mkNP the_Det (mkCN (mkN "monster"))) ;
[12:34:13] <inariksit> what's the type of Upon?
[12:34:27] <inariksit> or just show the whole grammar
[12:35:34] <venicecat> Adv
[12:35:48] <venicecat> i will get on to gist
[12:49:53] <inariksit> yeah
[12:59:39] <venicecat> i tried a couple more times.. failed
[12:59:48] <venicecat> here's the gist https://gist.github.com/chiahli/e23fea17a57d23572946fb112eab90b1
[13:06:51] <venicecat> oops i hope i didn't accidentally logged out
[13:08:29] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Quit: Page closed)
[13:08:52] *** Joins: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34)
[13:30:46] *** Joins: asdfagskjsdgjgsf (81101fde@gateway/web/freenode/ip.129.16.31.222)
[13:30:53] <inariksit> hello asdfagskjsdgjgsf
[13:30:56] <asdfagskjsdgjgsf> hello inariksit
[13:34:47] <inariksit> venicecat: I'll have a look at your grammar now
[13:37:31] <inariksit> (mkPrep "Upon" Party) is wrong: here you are giving two arguments to mkPrep
[13:38:51] <inariksit> aha, the confusion is in the mkAdv, not mkPrep
[13:39:14] <inariksit> there are both SyntaxEng.mkAdv and ParadigmsEng.mkAdv, and the former is Prep -> NP -> Adv, and the latter is Str -> Adv
[13:39:48] <inariksit> so this works:
[13:39:49] <inariksit> Upon = SyntaxEng.mkAdv (mkPrep "upon") MonsterBurger
[13:39:54] <inariksit>  
[13:40:22] <inariksit> also you cannot put Party as an argument of Upon, because it's a type; you can however put something that is of type Party, such as MonsterBurger
[13:40:52] <inariksit> this also works:
[13:40:56] <inariksit>       Upon = SyntaxEng.mkAdv (mkPrep "upon") (mkNP the_Det (mkCN (mkN "monster"))) ;
[13:41:05] <inariksit>  
[13:41:39] <inariksit> MonsterBurger> l Upon
[13:41:39] <inariksit> upon the monster
[13:55:30] *** Quits: asdfagskjsdgjgsf (81101fde@gateway/web/freenode/ip.129.16.31.222) (Ping timeout: 260 seconds)
[13:56:58] *** Joins: idaroermann (8110a84f@gateway/web/freenode/ip.129.16.168.79)
[13:57:16] <inariksit> idaroermann: here https://github.com/GrammaticalFramework/gf-contrib/tree/master/mini/newmini
[14:33:23] *** Joins: e3928a3bc (~user@2804:14d:5cd8:8447::3)
[14:58:56] *** Quits: e3928a3bc (~user@2804:14d:5cd8:8447::3) (Ping timeout: 255 seconds)
[16:21:20] *** Quits: idaroermann (8110a84f@gateway/web/freenode/ip.129.16.168.79) (Ping timeout: 260 seconds)
[19:08:09] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Ping timeout: 260 seconds)
[19:46:34] *** Joins: e3928a3bc (~user@2804:14d:5cd8:8447::3)