[01:34:36] *** Joins: spectie (~fran@unaffiliated/spectie) [05:14:02] *** Quits: Gurkenglas_ (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Read error: Connection reset by peer) [05:19:06] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [07:58:55] *** Joins: spectie (~fran@unaffiliated/spectie) [08:16:39] *** Joins: Gurkenglas (~Gurkengla@188.103.77.131) [08:24:16] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 256 seconds) [09:38:44] *** Quits: Gurkenglas (~Gurkengla@188.103.77.131) (Ping timeout: 272 seconds) [12:12:39] annaaerinteenbot: say hi to the GF class [12:12:39] What do you want to accomplish by saying: "say hi to the GF class" [12:21:26] *** Quits: drbean (~drbean@124.219.82.115) (Ping timeout: 260 seconds) [12:22:29] *** Joins: isacwk (~user@dhcp-228-106.nomad.chalmers.se) [12:32:58] yay! [13:18:32] *** Joins: RandomNickname (~textual@tb151a.studby.ntnu.no) [13:58:43] *** Quits: isacwk (~user@dhcp-228-106.nomad.chalmers.se) (Remote host closed the connection) [14:02:40] Hi :) I'm trying to import from ResEng: https://github.com/GrammaticalFramework/GF/blob/master/lib/src/english/ResEng.gf [14:02:56] This is how my grammar starts: concrete TestEng of Test = open GrammarEng, SyntaxEng, ParadigmsEng, ConstructionEng, SymbolEng, SymbolEng, Prelude, NumeralEng, ResEng in {... [14:04:02] I want to make use of NPCase from ResEng, but when I import it I get the following: [14:04:39] Happened in linearization of Thing no overload instance of mkPN for Str among [14:04:44] Str [14:04:45] {s : Number => Case => Str; g : Gender; lock_N : {}} [14:07:55] So I suppose I should find some way to only import NPCase. But how should I do that? Does it mean that I should do something else than opening it? [14:17:57] hey RandomNickname! you can import ResEng qualified [14:18:11] open Foo, Bar, (R=ResEng), Baz ... in { .... } [14:18:16] and then do R.NPCase [14:18:25] so it doesn't import all the crap from ResEng unqualified [14:22:17] Wow, that made things work. Thank you! :) [14:22:21] ^^ [14:23:26] *** Quits: RandomNickname (~textual@tb151a.studby.ntnu.no) (Quit: Textual IRC Client: www.textualapp.com) [14:50:06] *** Joins: drbean (~drbean@124.219.83.52) [15:24:41] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [16:03:25] *** Joins: spectei (~fran@wpa486.guwlan.gu.se) [16:03:25] *** Quits: spectei (~fran@wpa486.guwlan.gu.se) (Changing host) [16:03:25] *** Joins: spectei (~fran@unaffiliated/spectie) [16:07:06] *** Quits: spectei (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [17:42:48] *** Joins: spectre (~fran@2.70.124.253.mobile.tre.se) [18:31:27] *** Joins: spectei (~fran@unaffiliated/spectie) [18:32:38] *** Quits: spectre (~fran@2.70.124.253.mobile.tre.se) (Ping timeout: 272 seconds) [18:42:42] *** Quits: spectei (~fran@unaffiliated/spectie) (Read error: No route to host) [18:43:02] *** Joins: spectre (~fran@2.70.124.253.mobile.tre.se) [18:47:50] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 272 seconds) [19:19:42] *** Quits: spectre (~fran@2.70.124.253.mobile.tre.se) (Ping timeout: 265 seconds) [19:20:16] *** Joins: spectre (~fran@148.122.187.2) [19:25:59] *** Quits: spectre (~fran@148.122.187.2) (Ping timeout: 265 seconds) [19:27:40] *** Joins: spectre (~fran@148.122.187.2) [19:33:35] *** Quits: spectre (~fran@148.122.187.2) (Ping timeout: 240 seconds) [19:34:42] *** Joins: spectre (~fran@2.65.32.28.mobile.tre.se) [19:55:55] *** Quits: spectre (~fran@2.65.32.28.mobile.tre.se) (Ping timeout: 240 seconds) [20:02:26] *** Quits: koo7 (~kook@236.152.broadband3.iol.cz) (Ping timeout: 240 seconds) [21:03:57] *** Joins: spectre (~fran@2.65.13.235.mobile.tre.se) [21:40:55] *** Quits: spectre (~fran@2.65.13.235.mobile.tre.se) (Ping timeout: 240 seconds) [21:49:33] *** Joins: spectre (~fran@148.122.187.2) [22:50:03] *** Quits: spectre (~fran@148.122.187.2) (Read error: No route to host) [22:50:14] *** Joins: spectre (~fran@148.122.187.2) [23:05:35] *** Quits: spectre (~fran@148.122.187.2) (Ping timeout: 240 seconds)