[01:15:26] *** Joins: koom (~koo5@79.98.72.195)
[03:50:52] *** Quits: koom (~koo5@79.98.72.195) (Ping timeout: 268 seconds)
[04:24:04] *** stoopkid is now known as letskillnazis
[05:19:16] *** letskillnazis is now known as lets_kill_nazis
[09:59:40] *** Quits: lets_kill_nazis (uid137696@gateway/web/irccloud.com/x-uwmytxsqwdwgvkfg) ()
[10:31:18] *** Joins: lets_kill_nazis (uid137696@gateway/web/irccloud.com/x-kpijyabjvdcuruxw)
[10:33:34] *** Parts: lets_kill_nazis (uid137696@gateway/web/irccloud.com/x-kpijyabjvdcuruxw) ()
[12:26:20] *** Joins: koom (~koo5@79.98.72.195)
[16:57:58] *** Joins: koom_ (~koo5@109.107.211.244)
[17:00:17] *** Quits: koom (~koo5@79.98.72.195) (Ping timeout: 248 seconds)
[20:59:06] *** Joins: e3928a3bc (~yaaic@2804:14d:5cd8:8447:30d4:5e97:6be1:e499)
[20:59:27] *** Quits: e3928a3bc (~yaaic@2804:14d:5cd8:8447:30d4:5e97:6be1:e499) (Client Quit)
[21:00:45] *** Joins: e3928a3bc (~user@2804:14d:5cd8:8447::4)
[21:00:58] <e3928a3bc> hello people
[21:01:46] <e3928a3bc> I have a problem providing an answer to exercise 4-6 in the GF book
[21:02:02] <e3928a3bc> would you help me? it's probably very simple
[21:02:47] <e3928a3bc> I have to employ an overload group, and I think I did so correctly, but the GF prompt tells me:
[21:02:49] <e3928a3bc> ResVerbEng.gf:20-24:
[21:02:50] <e3928a3bc>   Happened in the renaming of mkVe
[21:02:50] <e3928a3bc>    constant not found: overload
[21:02:52] <e3928a3bc>    given Prelude, ResVerbEng
[21:02:53] <e3928a3bc>  
[21:03:23] <e3928a3bc> I don't think I got the syntax wrong, although that's a possibility:
[21:03:51] <e3928a3bc>     mkVe : overload {
[21:03:51] <e3928a3bc>       mkV : (love : Str) -> Verb = regVerb ;
[21:03:51] <e3928a3bc>       mkV : (teach,taught : Str) -> Verb = twoVerb ;
[21:03:51] <e3928a3bc>       mkV : (fall,fell,fallen : Str) -> Verb = mkVerb ;
[21:03:54] <e3928a3bc>       } ;
[21:04:50] <esg> e3928a3bc: should it not be:
[21:05:01] <esg>   mkVe = overload {
[21:05:37] <e3928a3bc> sorry, it's mkV everywhere!
[21:05:46] <e3928a3bc> not mkVe
[21:06:29] <esg> ok, but an '=' not a ':'
[21:06:53] <e3928a3bc> oh
[21:08:09] <e3928a3bc> esg: I didn't realise the syntax was different for when the types are given separatly or together!
[21:08:12] <e3928a3bc> thank you :)
[21:08:55] <e3928a3bc> that solves that issue
[21:11:16] <esg> glad to hear that!
[23:05:10] *** Quits: e3928a3bc (~user@2804:14d:5cd8:8447::4) (Ping timeout: 264 seconds)