Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 141 142 143 144 145 146 147 148 149 150 151 .. 17904
— 1,790,363 events total
2021-05-28 11:31:58 × juhp quits (~juhp@128.106.188.199) (Ping timeout: 248 seconds)
2021-05-28 11:32:05 → python476 joins (~user@88.160.31.174)
2021-05-28 11:32:40 × smr quits (~smn@91-114-144-112.adsl.highway.telekom.at) (Ping timeout: 264 seconds)
2021-05-28 11:33:15 × leeb quits (~leeb@2001:268:c04f:ba65:425b:d8ff:fe03:4cd) (Ping timeout: 272 seconds)
2021-05-28 11:33:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 11:33:44 × ksqsf quits (~textual@67.209.186.120.16clouds.com) (Client Quit)
2021-05-28 11:34:35 <opqdonut> this is probably a dumb question... but can I catch a type error in template haskell?
2021-05-28 11:34:42 <opqdonut> I'd like to write a test that a certain expression isn't well-typed
2021-05-28 11:35:40 <dminuoso> opqdonut: Afaik no, because template haskell is ran during parsing.
2021-05-28 11:36:15 <opqdonut> yeah that's kinda what I thought
2021-05-28 11:36:25 → kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-05-28 11:36:31 <opqdonut> I guess I could use a library to eval haskell at compile time
2021-05-28 11:36:35 zzz[m] testing the matrix bridge, dont mind me
2021-05-28 11:36:46 × nsilv-phone-1 quits (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) (Ping timeout: 248 seconds)
2021-05-28 11:37:06 <opqdonut> I guess I'll investigate run-time evaluation
2021-05-28 11:37:10 → winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-28 11:37:25 → nsilv-phone joins (~nsilv-pho@37.160.131.29)
2021-05-28 11:37:31 → dunham joins (~dunham@97-113-35-16.tukw.qwest.net)
2021-05-28 11:38:06 <kilolympus> When trying to find an instance for "m ()", GHC finds both the instances for "m ()" and "a -> b", when I want it to only match the first. Is this simply not possible, given "(->) a" is defined as a Monad in base?
2021-05-28 11:38:11 <dminuoso> opqdonut: Well you can use ghc-lib presumably?
2021-05-28 11:38:15 <opqdonut> hmm: https://hackage.haskell.org/package/hint
2021-05-28 11:38:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-05-28 11:38:35 <dminuoso> Or yeah, hint does the details for you
2021-05-28 11:39:01 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 11:39:27 <dminuoso> kilolympus: Can you elaborate what you mean by "instance for \"m ()\""? I dont see a constraint.
2021-05-28 11:40:02 <dminuoso> Could you perhaps share the offending code as well as the diagnostic GHC produces?
2021-05-28 11:40:58 × waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2021-05-28 11:41:59 × dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 252 seconds)
2021-05-28 11:42:10 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-05-28 11:42:19 zzz[m] is now known as zwro[m]
2021-05-28 11:43:46 → bfrk joins (~Thunderbi@200116b84508c2004c8614311807bd60.dip.versatel-1u1.de)
2021-05-28 11:44:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-28 11:44:57 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 11:45:03 → bhrgunatha joins (~bhrgunath@2001-b011-8011-6163-fde3-9a54-1125-48fe.dynamic-ip6.hinet.net)
2021-05-28 11:46:22 → ku joins (~ku@2601:280:c780:7ea0:bdb5:230d:40c:e48e)
2021-05-28 11:47:32 <kilolympus> Ah never mind, I was doing something completely off-track
2021-05-28 11:49:37 → smitop joins (uid328768@user/smitop)
2021-05-28 11:50:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-28 11:51:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 11:54:36 → peddie[m] joins (~peddiemat@2001:470:69fc:105::25d)
2021-05-28 11:55:29 × hydroxonium quits (uid500654@id-500654.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-28 11:56:30 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-05-28 11:57:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 11:57:14 × zava quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2021-05-28 11:57:56 × ku quits (~ku@2601:280:c780:7ea0:bdb5:230d:40c:e48e) (Ping timeout: 252 seconds)
2021-05-28 11:58:57 → zava joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-05-28 11:59:57 → mthvedt joins (uid501949@id-501949.stonehaven.irccloud.com)
2021-05-28 12:00:11 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1)
2021-05-28 12:00:30 × fm quits (~fmeyer@p2e5339c6.dip0.t-ipconnect.de) (Quit: Leaving)
2021-05-28 12:01:05 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb)
2021-05-28 12:01:18 × winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 248 seconds)
2021-05-28 12:01:56 → argento joins (~argent0@168.227.96.51)
2021-05-28 12:02:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-28 12:02:49 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 12:03:36 × hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-05-28 12:05:34 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:9d49:4665:d75d:fdb) (Ping timeout: 248 seconds)
2021-05-28 12:06:30 → sedeki joins (~textual@user/sedeki)
2021-05-28 12:06:46 → mastarija joins (~mastarija@46.188.157.7)
2021-05-28 12:07:41 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-28 12:08:26 × sedeki quits (~textual@user/sedeki) (Client Quit)
2021-05-28 12:08:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 12:10:34 ← Wally parts (~Wally@dragonbox/forum-staff/wally) ()
2021-05-28 12:13:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-28 12:14:22 × denis_ quits (~denis@212.193.135.213) (Quit: Leaving)
2021-05-28 12:14:44 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-28 12:15:34 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-05-28 12:16:01 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-05-28 12:16:21 → __monty__ joins (~toonn@user/toonn)
2021-05-28 12:16:41 × Guest31_ quits (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-28 12:17:34 × sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-28 12:19:00 × bhrgunatha quits (~bhrgunath@2001-b011-8011-6163-fde3-9a54-1125-48fe.dynamic-ip6.hinet.net) (Quit: Leaving)
2021-05-28 12:20:30 → sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no)
2021-05-28 12:20:40 × zava quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2021-05-28 12:20:42 → jaror[m] joins (~naughtmar@2001:470:69fc:105::265)
2021-05-28 12:21:15 × tose quits (~tose@ip-85-160-8-1.eurotel.cz) (Remote host closed the connection)
2021-05-28 12:21:22 → lavaman joins (~lavaman@98.38.249.169)
2021-05-28 12:22:11 × jaror[m] quits (~naughtmar@2001:470:69fc:105::265) (Client Quit)
2021-05-28 12:22:28 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
2021-05-28 12:23:10 → favonia joins (~favonia@user/favonia)
2021-05-28 12:26:05 × awth13 quits (~user@193.27.14.133) (Read error: Connection reset by peer)
2021-05-28 12:26:06 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-05-28 12:26:39 → y04nn joins (~y04nn@185.204.1.208)
2021-05-28 12:27:31 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Quit: node-irc says goodbye)
2021-05-28 12:27:38 × nschoe quits (~quassel@178.251.84.79) (Ping timeout: 252 seconds)
2021-05-28 12:27:48 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
2021-05-28 12:28:08 × taeaad quits (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-28 12:28:11 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-05-28 12:28:53 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-05-28 12:29:14 → zava joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-05-28 12:29:59 → winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-28 12:30:47 → nsilv joins (~nsilv@212.103.198.210)
2021-05-28 12:31:13 → taeaad joins (~taeaad@user/taeaad)
2021-05-28 12:31:37 → dunham joins (~dunham@97-113-35-16.tukw.qwest.net)
2021-05-28 12:33:05 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-28 12:33:28 × wonko quits (~wjc@62.115.229.50) (Quit: See You Space Cowboy..)
2021-05-28 12:33:59 → Cubic joins (~hannesste@ip5f5be453.dynamic.kabel-deutschland.de)
2021-05-28 12:34:31 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-05-28 12:36:03 → Wally joins (~Wally@dragonbox/forum-staff/wally)
2021-05-28 12:36:10 × dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-28 12:36:30 <tromp> testing 1...2...3
←Prev  Next→
Page 1 .. 141 142 143 144 145 146 147 148 149 150 151 .. 17904

All times are in UTC.