Logs: liberachat/#haskell
| 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 |
All times are in UTC.