[01:27:45] *** Joins: drbean (~drbean@124.219.83.41) [04:00:57] *** Joins: drbean_ (~drbean@124.219.83.41) [04:04:03] *** Quits: drbean (~drbean@124.219.83.41) (Ping timeout: 244 seconds) [10:32:33] *** Quits: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de) (Ping timeout: 276 seconds) [12:48:12] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 260 seconds) [13:36:58] *** Joins: noncsi (82f1e4b9@gateway/web/freenode/ip.130.241.228.185) [14:08:57] *** Joins: spectei (~fran@unaffiliated/spectie) [14:53:30] *** Joins: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de) [15:05:03] *** Quits: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [15:09:59] *** Quits: noncsi (82f1e4b9@gateway/web/freenode/ip.130.241.228.185) (Ping timeout: 250 seconds) [15:11:12] *** Joins: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de) [15:59:55] *** Joins: noncsi (82f1e4b9@gateway/web/freenode/ip.130.241.228.185) [16:00:56] hihi, i am still not sure if anybody is ever here ^^ [16:01:28] noncsi, [16:01:29] we are! [16:01:31] what's up ? [16:02:06] hi I was wondering if you know anything about this error! [16:02:14] expected: Hungarian_collaborativeGrammarMagyar.TPol => Hungarian_collaborativeGrammarMagyar.TTopic => Hungarian_collaborativeGrammarMagyar.TTense => Str inferred: Hungarian_collaborativeGrammarMagyar.TPol => {s : Str; lock_Topic : {}; t : Hungarian_collaborativeGrammarMagyar.TTopic} => Hungarian_collaborativeGrammarMagyar.TTense => Str [16:02:45] hmm [16:02:50] are you on web irc ? [16:02:55] could you try pasting it line-by-line ? [16:03:01] or log in with another irc client ? [16:04:16] oookay [16:04:18] Happened in linearization of UseCl [16:04:24] type of cl.s [16:04:33] expected: Hungarian_collaborativeGrammarMagyar.TPol => Hungarian_collaborativeGrammarMagyar.TTopic => Hungarian_collaborativeGrammarMagyar.TTense => Str [16:05:00] inferred: Hungarian_collaborativeGrammarMagyar.TPol => {s : Str; lock_Topic : {}; t : Hungarian_collaborativeGrammarMagyar.TTopic} => Hungarian_collaborativeGrammarMagyar.TTense => Str [16:05:02] what is the code you are trying to compile ? [16:05:04] is this better? [16:05:08] yes, that was better :D [16:06:01] you mean my UseCl? [16:06:06] or the whole of it? [16:06:10] the UseCL [16:06:12] UseCl [16:06:13] sorry [16:06:31] UseCl pol topic tense cl = {s = tense.s ++ pol.s ++ topic.s ++ cl.s ! pol.b ! topic.t ! tense.t}; [16:09:01] hmm [16:09:37] it's coffee break time here [16:09:39] stick around [16:09:44] ok : D [16:09:44] and i'll be back in 30 mins or so [16:10:09] i am already grateful for helpful intentions, so i will! [16:14:29] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 260 seconds) [16:24:33] *** Quits: Gurkenglas (Gurkenglas@dslb-178-000-182-226.178.000.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [16:48:28] noncsi: it seems that your parameter topic has the type Topic and not the type TTopic [16:48:40] yes thanks [16:48:54] sorry i forgot to mention that i have figured it out since then : DDD [16:49:02] but thank you!!! [16:49:24] ok, great [16:49:36] now i might come back with other really stupid errors [16:49:46] i was stuck on this basically for days [17:56:50] *** Quits: noncsi (82f1e4b9@gateway/web/freenode/ip.130.241.228.185) (Ping timeout: 250 seconds) [19:13:28] *** Joins: ymQWZNpOo (~ymQWZNpOo@59.37.199.55) [19:13:29] *** Parts: ymQWZNpOo (~ymQWZNpOo@59.37.199.55) () [19:49:36] *** Joins: spectei (~fran@unaffiliated/spectie) [20:36:01] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [21:33:25] spectei thanks for tech supporting earlier ^_^ [21:34:38] *** Quits: crazydiamond (~crazydiam@178.141.27.244) (Remote host closed the connection)