[00:02:42] awesome, thanks for the patch inari! we have recompiled from source and it all seems to work except some bits that don't [01:09:02] *** Quits: koo5 (~koom@79.98.72.195) (Ping timeout: 260 seconds) [02:36:09] *** Joins: holom (~holom@2001:a61:3428:6400:f73:bed6:12bc:da5a) [02:36:55] *** Quits: holom (~holom@2001:a61:3428:6400:f73:bed6:12bc:da5a) (Quit: WeeChat 1.9) [03:32:29] *** Joins: jdaugherty (~juan@98.4.124.117) [03:32:44] *** Quits: jdaugherty (~juan@98.4.124.117) (Client Quit) [03:33:47] *** Joins: jdaugherty (~juan@98.4.124.117) [03:37:52] *** Quits: jdaugherty (~juan@98.4.124.117) (Client Quit) [03:57:29] *** Joins: jdaugherty (~juan@98.4.124.117) [03:59:30] *** Quits: jdaugherty (~juan@98.4.124.117) (Client Quit) [05:13:21] *** Joins: jdaugherty (~juan@98.4.124.117) [05:18:39] *** Quits: jdaugherty (~juan@98.4.124.117) (Quit: Ex-Chat) [05:18:55] *** Joins: jdaugherty (~juan@98.4.124.117) [05:45:28] *** Quits: jdaugherty (~juan@98.4.124.117) (Quit: Ex-Chat) [05:45:41] *** Joins: JuanDaugherty (~juan@98.4.124.117) [07:27:05] freeside: cool! what bits don't work? :) [08:48:59] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex-Chat) [09:53:55] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [09:58:24] inariksit: we had to mkCN (mkCN (mkN "xx")), which i thought was weird. the details are on shujun's computer, so I can't go into more detail just now. [10:02:16] that looks really weird, there is no mkCN : CN -> CN http://www.grammaticalframework.org/lib/doc/synopsis.html#CN [10:04:02] okay, it seems to work indeed [10:04:04] Happened in linearization of City [10:04:04] Warning: ignoring lock fields in resolving mkCN (mkCN (mkN "xx")) [10:04:04] for [10:04:04] CN [10:04:04] using [10:04:04] N [10:04:11] but it compiles [10:04:28] mmhm [10:04:31] so maybe it's just that CN and N are the same lincat, so mkCN can take a CN too [10:04:41] without the external mkCN her code wouldn't compile [10:09:54] I am unable to reproduce that error when I just started a new CityChi.gf to the standard City.gf [10:10:08] but I'll have a look at shujun's computer [10:10:20] we will all have a look at shujun's computer now [10:10:24] haha true [10:10:32] NO PRESSURE SHUJUN [10:15:08] smoochy [10:15:11] hahhaha [10:15:13] smoochy [10:16:25] see that there? the last piece is mkCN place [10:16:32] but her place is already a mkCN [10:20:23] okay [10:21:11] ooh wow that's interesting [10:21:30] (the summer school I mean!) [10:21:55] I have no idea whatsoever what I am doing and where I'll live in december 2018 :-D [10:31:10] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [11:12:11] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [11:13:34] bananagrams is so much fun =^__^= [11:23:04] \(^o^)/ [11:29:10] i love angelo's hand-drawn twitter bird [11:46:31] yeah! [11:49:54] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [11:55:45] Here's a link to the Google Photos album containing all the photos I took: https://goo.gl/photos/FBAtQSWoNBJM2nFh8 [11:55:57] You're welcome to add your photos as well. [12:04:32] The link might not allow you to add photos though; let me know in that case [13:07:43] thanks! [13:13:40] ayberkt: I managed to upload [14:53:29] ayberkt: thanks for the link - nice photos! [15:32:46] *** Quits: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) (*.net *.split) [15:32:47] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split) [15:33:14] *** Joins: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) [15:33:21] *** Joins: inariksit (~inari@91.105.251.135) [17:41:57] *** Joins: keeleleek (~keeleleek@ksit.fixme.fi) [17:55:56] *** Joins: JuanDaugherty (~juan@98.4.124.117) [18:52:24] hello from a bus to tartu \o/ [18:52:42] keeleleek did you make it to tallinn ^^ [19:17:58] inariksit: i hope you have a nice trip. of course all the shops were closed on my way back [19:54:17] * mbrock has fond memories of the wifi on the bus to Tartu :) [21:18:12] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex-Chat)