[01:51:27] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 240 seconds)
[01:57:30] *** Joins: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com)
[01:57:30] *** Quits: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com) (Changing host)
[01:57:30] *** Joins: jbalint (~jbalint@unaffiliated/jbalint)
[09:26:43] *** Quits: drbean_ (~drbean@210.60.168.196) (Read error: Connection reset by peer)
[09:26:55] *** Joins: drbean (~drbean@TC210-63-209-93.static.apol.com.tw)
[14:41:47] *** Joins: proteusguy (~proteus-g@cm-134-196-84-222.revip18.asianet.co.th)
[14:51:48] <daherb> "unsupported token glue" is not a good error message for "non-exhaustive pattern"
[21:28:54] *** Joins: e3928a3bc (b3d22819@gateway/web/freenode/ip.179.210.40.25)
[21:30:07] <inariksit> hello!
[21:30:46] <e3928a3bc> inariksit: hi!
[21:31:47] <e3928a3bc> I keep wasting time (re-)building GF all the time, is there a way of only building the RGL, or some languages specifically?
[21:32:10] <e3928a3bc> I know there was cabal build langs=Eng,Swe, but that doesn't work anymore...
[21:32:17] <inariksit> there's a makefile in lib/src
[21:32:23] <inariksit> try if it has something relevant
[21:32:38] <e3928a3bc> great! thanks, inariksit!
[21:32:53] <inariksit> but for me, if I do cabal build and nothing else but RGL has changed, it doesn't redo everything
[21:35:55] <e3928a3bc> interesting
[21:36:04] <e3928a3bc> sometimes mine seems to re-do everything
[21:36:19] <e3928a3bc> sometimes it doesn't
[21:36:51] <e3928a3bc> it just crashed my computer; when I rebooted I could build it in seconds
[21:36:53] <e3928a3bc> go figure
[21:37:07] <inariksit> strange
[21:37:53] <e3928a3bc> yep...
[21:38:03] <e3928a3bc> talking about the GF summer school, anyone knows if the university accommodations have already been made available?
[21:38:42] <inariksit> I don't know, but I booked an airbnb for potentially 5 people!
[21:38:49] <inariksit> 3 bedrooms of which 2 have double beds
[21:39:10] <inariksit> I didn't advertise it yet outside this channel
[21:39:29] <inariksit> I thought I'd give e.g. you and herb first time to decide if you want to join in
[21:39:52] <inariksit> it's cheap enough (for my swedish budget) that 3 people is totally fine value for money too
[21:40:09] <inariksit> but if there happened to be e.g. two couples or just people ok with sharing beds, that's even cheaper
[21:40:18] <inariksit> I also don't mind paying more than strictly 1/3 of the share
[21:40:38] <inariksit> my trip will be anyway paid by digital grammars or university or something
[21:40:47] <e3928a3bc> cool!
[21:40:56] <e3928a3bc> do you have the link?
[21:41:05] <inariksit> yeah just a sec
[21:41:46] <inariksit> https://www.airbnb.com/rooms/23281318
[21:42:38] <e3928a3bc> I'd certainly be down for it, though
[21:42:48] <inariksit> cool!
[21:43:08] <e3928a3bc> if I go at all -- I need to convinve my grantgiver to pay for some (or all!) of the trip
[21:43:58] <inariksit> I asked aarne about travel grants a while ago, he said it's likely if I remember correctly
[21:44:07] <e3928a3bc> I can't do it on my master's scolarship alone
[21:44:10] <inariksit> but it's the university in south africa, not aarne
[21:44:12] <e3928a3bc> that would be nice too!
[21:46:13] <inariksit> I think I could easily justify getting that airbnb flat paid, even if I only had it for myself, or like split between me and herb
[21:46:33] <inariksit> do you know how much would the flights be from brazil?
[21:47:16] <inariksit> I assume also that booking early is cheaper
[21:48:36] <e3928a3bc> currently there are flights for 600EUR
[21:48:47] <e3928a3bc> but some are already double that
[21:49:03] <inariksit> ouch yeah that's not cheap
[21:49:30] <e3928a3bc> 600EUR seems relatively cheap for south america
[21:50:06] <e3928a3bc> not many flight to/from here, compared to anywhere else (I think)
[21:50:11] <inariksit> hehe I'm just comparing with my mental model "how much are flights typically" but I'm thinking more like flying to germany or latvia or stuff like that
[21:50:17] <inariksit> okay right
[21:50:23] <e3928a3bc> oh yeah
[21:50:32] <e3928a3bc> travelling in europe is a breeze!
[21:50:53] <e3928a3bc> brazil -> europe is usually 500EUR
[21:51:01] <e3928a3bc> <->*
[21:51:12] <inariksit> okay
[21:51:21] <e3928a3bc> so I thought that anywhere other than the US would be significantly more expensive
[21:51:40] <e3928a3bc> US and the americas, I mean
[21:54:05] <inariksit> yeah
[21:54:25] <inariksit> I have a friend who used to be super into flying, and flight optimisation
[21:55:03] <inariksit> like instead of flying from A to B, do some weird combination of A-C-back to A-D-B
[22:00:43] <e3928a3bc> omg
[22:00:50] <e3928a3bc> I love travelling, but hate flying
[22:01:00] <e3928a3bc> I'd do anything for a train from here to SA
[22:01:32] <inariksit> haha yeah
[22:01:37] <inariksit> is there a boat? :-D
[22:01:51] <inariksit> we should totally organise a summer school on a boat across the atlantic
[22:01:58] <inariksit> no distractions, just grammar writing
[22:03:40] <e3928a3bc> that would be more feasible!
[22:04:11] <e3928a3bc> indeed, travelling by boat is so boring that we'd be super productive
[22:04:25] <inariksit> where in brazil are you located btw?
[22:04:31] <inariksit> I may have asked but I have forgotten
[22:04:39] <e3928a3bc> we'd have GF 5.0 and the RGL for 200 languages by the end of it
[22:04:44] <inariksit> haha totally!
[22:04:46] <e3928a3bc> rio de janeiro!
[22:05:09] <e3928a3bc> people say it's very similar to cape town
[22:05:26] <e3928a3bc> I imagine its true, minus the humidity
[22:58:30] *** Joins: drbean_ (~drbean@210.60.168.196)
[23:00:16] *** Quits: drbean (~drbean@TC210-63-209-93.static.apol.com.tw) (Read error: Connection reset by peer)