[02:43:42] *** Quits: koo6 (~koo6@89-24-13-235.customers.tmcz.cz) (Ping timeout: 260 seconds)
[08:58:11] *** Joins: hamess_ (~hamess@user/hamess)
[09:01:05] *** Joins: Flammie (~flammie@ircer.flammie.name)
[09:01:09] *** Joins: ski_ (~ski@remote12.chalmers.se)
[09:09:50] *** Quits: hamess (~hamess@user/hamess) (Ping timeout: 260 seconds)
[09:09:50] *** Quits: ski (~ski@remote12.chalmers.se) (Ping timeout: 260 seconds)
[09:09:51] *** Quits: ffFlammie (~flammie@ircer.flammie.name) (Ping timeout: 260 seconds)
[13:43:39] *** Joins: Guest678 (~Guest6@90-227-41-180-no285.tbcn.telia.com)
[13:54:13] *** Quits: Guest678 (~Guest6@90-227-41-180-no285.tbcn.telia.com) (Quit: Ping timeout (120 seconds))
[15:29:25] *** hamess_ is now known as hamess
[18:05:18] *** Joins: wmacmil (~wmacmil@74.123.13.124)
[18:05:20] *** Joins: koo6 (~koo6@89-24-13-235.customers.tmcz.cz)
[18:13:37] *** Quits: koo6 (~koo6@89-24-13-235.customers.tmcz.cz) (Ping timeout: 258 seconds)
[18:21:14] <wmacmil> i'm curious why i'm gettin the follow error
[18:21:15] <wmacmil> DriveEng.gf:
[18:21:15] <wmacmil>    DriveEng.gf:66:
[18:21:15] <wmacmil>      Happened in linearization of InFive
[18:21:15] <wmacmil>        type of in_Prep
[18:21:15] <wmacmil>       expected: Str
[18:21:17] <wmacmil>       inferred: {s : Str; isPre : Prelude.Bool; lock_Prep : {}}
[18:21:36] <wmacmil> oper
[18:21:37] <wmacmil>   five    = mkDet (mkCard (mkNumeral n5_Unit)) ;
[18:21:37] <wmacmil>   minutes = mkN "minutes" ;
[18:21:37] <wmacmil>   fiveminutes = mkNP five minutes ;
[18:21:37] <wmacmil> lin
[18:21:37] <wmacmil>   InFive = mkAdv in_Prep fiveminutes ;
[18:21:52] <wmacmil> like this is more or less verbatim taken from the rgl docs
[18:23:45] <wmacmil> like the instance 'mkAdv : Prep -> NP -> Adv' should work for this, right?
[18:24:16] <wmacmil> *theres an underscore after the in*
[18:32:39] <wmacmil> also, when you're working with the general rgl as described by the api, what are you importing
[18:40:07] <wmacmil> I guess i'm confused which module I should be imorting? cus I'm getting the following conflict "ParadigmsEng.mkAdv, ConstructorsEng.mkAdv"
[18:40:41] <daherb> yes, mkAdv is tricky because there is a name clash. the api version is in Constructors
[18:46:45] <wmacmil> tack
[18:46:58] <wmacmil> so if i comment out paradigms
[18:47:04] <wmacmil> it no longer finds "mkN"
[18:47:12] <wmacmil> how do i import the library qualified
[18:50:57] <wmacmil> or how do alternatively get rid of the mkAdv from Paradigms
[19:03:43] <wmacmil> is everything from the api in constructors ?
[19:08:29] <wmacmil> also, when I'm trying to just copy the api for mkVP, its giving me the following
[19:08:30] <wmacmil> <wmacmil>   fiveminutes = mkNP five minutes ;
[19:08:30] <wmacmil> <wmacmil> lin
[19:08:30] <wmacmil> <wmacmil>   InFive = mkAdv in_Prep fiveminutes ;
[19:08:30] <wmacmil> <wmacmil> like this is more or less verbatim taken from the rgl docs
[19:08:30] <wmacmil> <wmacmil> like the instance 'mkAdv : Prep -> NP -> Adv' should work for this, right?
[19:08:32] <wmacmil> <wmacmil> *theres an underscore after the in*
[19:08:41] <wmacmil>    DriveEng.gf:37:
[19:08:41] <wmacmil>      Happened in linearization of ModAction
[19:08:41] <wmacmil>       no overload instance of ConstructorsEng.mkVP
[19:08:41] <wmacmil>       with value type V
[19:08:42] <wmacmil>       for argument list
[19:08:44] <wmacmil>         {s : Tense => Anteriority => CPolarity => Order => Agr => {adv : Str;
[19:09:01] <wmacmil> where it desugars everything
[19:09:26] <wmacmil> and theres an api function "mkVP : VP -> Adv -> VP"
[19:09:42] <wmacmil>   ModAction a d = mkVP (mkVP a) d ;
[19:09:54] <wmacmil> (discard all the <wmacmil> stuff which I accidentally pasted)
[21:16:11] <wmacmil> i had the wrong return type, nvm
[22:07:35] <daherb> You can try to use the syntax ParadigmsEng-[mkAdv] to hide just the one symbol
[22:12:26] *** Joins: koo6 (~koo6@89-24-13-235.customers.tmcz.cz)
[22:13:47] *** ski_ is now known as ski
[22:18:38] *** Quits: wmacmil (~wmacmil@74.123.13.124) (Remote host closed the connection)
[22:18:55] *** Joins: wmacmil (~wmacmil@74.123.13.124)
[23:28:30] *** Quits: wmacmil (~wmacmil@74.123.13.124) (Ping timeout: 260 seconds)
[23:36:31] *** Joins: wmacmil (~wmacmil@74.123.13.124)