Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-04 23:37:01 <bqv> (without resorting to templatehaskell, which is probably pretty heatheny :D)
2020-11-04 23:37:07 <glguy> The foreign imports will be top-level definitions
2020-11-04 23:37:28 <glguy> you can then use the identifiers declared there in your instance declarations
2020-11-04 23:37:47 <bqv> so that's a no
2020-11-04 23:37:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-04 23:38:00 hackage massiv-io 0.4.0.0 - Import/export of Image files into massiv Arrays https://hackage.haskell.org/package/massiv-io-0.4.0.0 (lehins)
2020-11-04 23:38:20 <bqv> was hoping for a type parameter'd foreign import
2020-11-04 23:38:40 <bqv> actually, might still be able to...
2020-11-04 23:38:49 <bqv> who likes void pointers...
2020-11-04 23:40:13 <monochrom> I don't see any limitation apart from barely inconvenient syntax.
2020-11-04 23:40:30 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-11-04 23:41:36 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-04 23:44:10 mmohammadi9812 joins (~mmohammad@2.178.132.235)
2020-11-04 23:44:44 × jakob_ quits (~textual@p200300f49f1622005c3255e4d89f5bc8.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-04 23:45:13 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-04 23:47:00 jakob_ joins (~textual@p200300f49f1622009d826d3ed3c60d57.dip0.t-ipconnect.de)
2020-11-04 23:49:21 <xe4> where can I ask questions about using stylish-haskell with my text editor?
2020-11-04 23:49:43 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-11-04 23:49:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-04 23:50:25 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-11-04 23:52:41 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 256 seconds)
2020-11-04 23:52:55 × conal quits (~conal@66.115.157.70) (Quit: Computer has gone to sleep.)
2020-11-04 23:55:01 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-04 23:55:51 × alp quits (~alp@2a01:e0a:58b:4920:543f:1fa8:3f98:5d73) (Ping timeout: 272 seconds)
2020-11-04 23:56:38 theDon joins (~td@i5E86B1F0.versanet.de)
2020-11-04 23:57:28 Varis joins (~Tadas@unaffiliated/varis)
2020-11-04 23:57:45 × xff0x quits (~fox@2001:1a81:53f2:500:153c:e136:7dea:e190) (Ping timeout: 272 seconds)
2020-11-04 23:58:08 xff0x joins (~fox@2001:1a81:53f2:500:5f26:7f0a:da68:24d7)
2020-11-04 23:58:25 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-11-04 23:59:27 × Entertainment quits (~entertain@104.246.132.210) (Quit: Leaving.)
2020-11-04 23:59:58 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-05 00:00:01 × kest10 quits (~kest10@139.28.218.148) ()
2020-11-05 00:00:40 × argent0 quits (~argent0@168.227.96.2) (Ping timeout: 246 seconds)
2020-11-05 00:03:53 Tario joins (~Tario@201.192.165.173)
2020-11-05 00:07:29 conal joins (~conal@64.71.133.70)
2020-11-05 00:10:32 × ulidtko quits (~ulidtko@193.111.48.79) (Remote host closed the connection)
2020-11-05 00:16:40 × Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Read error: Connection reset by peer)
2020-11-05 00:17:31 ulidtko joins (~ulidtko@193.111.48.79)
2020-11-05 00:19:48 hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-05 00:20:52 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-11-05 00:21:14 hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-05 00:21:43 Smaczny joins (~Smaczny@185.204.1.185)
2020-11-05 00:21:43 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-05 00:22:18 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-05 00:23:25 elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-05 00:23:57 texasmynsted joins (~texasmyns@185.247.70.76)
2020-11-05 00:25:48 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-05 00:26:32 olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-05 00:27:50 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-05 00:33:08 o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-05 00:37:05 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-05 00:37:39 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 244 seconds)
2020-11-05 00:37:53 × linker_ quits (~linker@185.12.21.77) (Remote host closed the connection)
2020-11-05 00:38:56 master_o joins (50a46f47@80-164-111-71-dynamic.dk.customer.tdc.net)
2020-11-05 00:39:53 elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-05 00:41:26 × xff0x quits (~fox@2001:1a81:53f2:500:5f26:7f0a:da68:24d7) (Ping timeout: 264 seconds)
2020-11-05 00:42:19 xff0x joins (~fox@2001:1a81:53f2:500:7ba4:92a8:6e01:ae71)
2020-11-05 00:42:46 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2020-11-05 00:43:16 gentauro joins (~gentauro@unaffiliated/gentauro)
2020-11-05 00:43:28 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:ed58:dda3:fd80:2c46) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-05 00:45:29 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-05 00:47:05 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 240 seconds)
2020-11-05 00:48:16 × catchme quits (uid355354@gateway/web/irccloud.com/x-jjbcbrnidixjkmxm) (Quit: Connection closed for inactivity)
2020-11-05 00:48:34 Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.150)
2020-11-05 00:48:57 softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net)
2020-11-05 00:49:15 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-11-05 00:50:11 enva2712 joins (~enva2712@cpe-75-86-42-2.wi.res.rr.com)
2020-11-05 00:51:46 asthasr joins (~asthasr@162.210.29.120)
2020-11-05 00:55:28 × asthasr quits (~asthasr@162.210.29.120) (Client Quit)
2020-11-05 00:57:13 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 264 seconds)
2020-11-05 00:57:36 plutoniix joins (~q@175.176.222.7)
2020-11-05 01:00:38 <fresheyeball> \q
2020-11-05 01:00:41 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
2020-11-05 01:03:34 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-11-05 01:05:19 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-05 01:08:05 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-05 01:10:35 christo joins (~chris@81.96.113.213)
2020-11-05 01:15:39 × christo quits (~chris@81.96.113.213) (Ping timeout: 272 seconds)
2020-11-05 01:15:56 × lucasb quits (uid333435@gateway/web/irccloud.com/x-cbmhwogtcotlrzny) (Quit: Connection closed for inactivity)
2020-11-05 01:17:33 × master_o quits (50a46f47@80-164-111-71-dynamic.dk.customer.tdc.net) (Remote host closed the connection)
2020-11-05 01:18:45 × dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-11-05 01:20:06 guest115 joins (~user@49.5.6.87)
2020-11-05 01:21:28 inkbottle joins (~inkbottle@aaubervilliers-654-1-110-84.w86-212.abo.wanadoo.fr)
2020-11-05 01:21:39 × zebrag quits (~inkbottle@aaubervilliers-654-1-104-94.w86-212.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-05 01:24:07 <Axman6> xe4: asking here is fine, but I can't guarantee you'll get a good answer
2020-11-05 01:24:37 Lord_of_Life joins (~Lord@46.217.217.162)
2020-11-05 01:24:38 × Lord_of_Life_ quits (~Lord@46.217.221.241) (Ping timeout: 260 seconds)
2020-11-05 01:25:24 × darjeeling_ quits (~darjeelin@115.215.43.51) (Ping timeout: 256 seconds)
2020-11-05 01:25:58 × crdrost quits (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net) (Quit: Leaving)
2020-11-05 01:26:50 aarvar joins (~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-11-05 01:26:55 aarvar parts (~foewfoiew@c.24.56.239.179.static.broadstripe.net) ()
2020-11-05 01:29:46 dbmikus_ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-05 01:32:18 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-05 01:37:20 christo joins (~chris@81.96.113.213)
2020-11-05 01:37:25 Entertainment joins (~entertain@104.246.132.210)
2020-11-05 01:38:06 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 244 seconds)
2020-11-05 01:39:50 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-11-05 01:41:34 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-05 01:45:29 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-05 01:50:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)

All times are in UTC.