Logs: freenode/#haskell
| 2021-03-19 08:24:11 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0) |
| 2021-03-19 08:27:18 | <tomsmeding> | shad0w_: see this thread https://mail.haskell.org/pipermail/ghc-devs/2021-March/019683.html ; apparently the upgrade was harder than expected? |
| 2021-03-19 08:27:41 | <Uniaika> | full disks |
| 2021-03-19 08:27:41 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 08:27:51 | <tomsmeding> | .cabal too large |
| 2021-03-19 08:28:02 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 08:28:23 | <shad0w_> | i see. |
| 2021-03-19 08:28:29 | <shad0w_> | thanks for the response guys. |
| 2021-03-19 08:29:02 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 2021-03-19 08:30:37 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:71ee:168f:367c:6d70) |
| 2021-03-19 08:33:11 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 244 seconds) |
| 2021-03-19 08:33:27 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-19 08:35:07 | <tomsmeding> | shad0w_: the story continues https://mail.haskell.org/pipermail/ghc-devs/2021-March/019686.html |
| 2021-03-19 08:35:07 | × | knupfer quits (~Thunderbi@200116b82c36b500c400f0a7257bfe8e.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-03-19 08:35:16 | → | knupfer joins (~Thunderbi@200116b82c36b500c18c822e3f769ca6.dip.versatel-1u1.de) |
| 2021-03-19 08:35:25 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 2021-03-19 08:35:46 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-03-19 08:35:52 | <shad0w_> | these things happen. *shrugs* |
| 2021-03-19 08:36:33 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:342c:fb5e:4a48:8cb) |
| 2021-03-19 08:37:13 | <shad0w_> | tomsmeding: maybe we can have something like https://www.githubstatus.com/ |
| 2021-03-19 08:37:49 | <tomsmeding> | shad0w_: would that dashboard also be lazy? |
| 2021-03-19 08:37:52 | <tomsmeding> | or would it be functional |
| 2021-03-19 08:38:12 | <shad0w_> | i am lazy and functional |
| 2021-03-19 08:38:58 | → | Boomerang joins (~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) |
| 2021-03-19 08:40:38 | × | Boomerang quits (~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) (Client Quit) |
| 2021-03-19 08:40:49 | → | xhlr joins (~xhlr@87-92-158-145.rev.dnainternet.fi) |
| 2021-03-19 08:44:13 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-19 08:45:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-19 08:46:16 | → | fendor joins (~fendor@91.141.3.89.wireless.dyn.drei.com) |
| 2021-03-19 08:47:21 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 264 seconds) |
| 2021-03-19 08:47:40 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3a03:ce0e:5f24:853e) (Ping timeout: 265 seconds) |
| 2021-03-19 08:48:18 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-xyogtgqajoffyroz) |
| 2021-03-19 08:48:28 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-03-19 08:48:42 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-19 08:51:20 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Remote host closed the connection) |
| 2021-03-19 08:52:08 | → | Sornaensis joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-03-19 08:53:07 | × | shad0w_ quits (a0ca254d@160.202.37.77) (Quit: Connection closed) |
| 2021-03-19 08:53:08 | → | darjeeling_ joins (~darjeelin@112.16.171.9) |
| 2021-03-19 08:54:26 | → | asheshambasta joins (~user@ptr-e1lysauzes00g1c9qcl.18120a2.ip6.access.telenet.be) |
| 2021-03-19 08:55:02 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 256 seconds) |
| 2021-03-19 08:55:51 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-19 08:57:17 | → | motersen joins (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de) |
| 2021-03-19 08:57:37 | × | Guest82011 quits (~azure@103.154.230.130) (Read error: Connection reset by peer) |
| 2021-03-19 08:57:54 | → | Guest82011 joins (~azure@103.154.230.130) |
| 2021-03-19 08:58:31 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 276 seconds) |
| 2021-03-19 08:58:43 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:7989:a619:7db3:6c1d) |
| 2021-03-19 08:59:26 | siers | is now known as ij |
| 2021-03-19 08:59:53 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-19 09:00:02 | × | dxld quits (~dxld@80-109-136-248.cable.dynamic.surfer.at) (Remote host closed the connection) |
| 2021-03-19 09:03:08 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:b425:d58e:c7e9:fd9d) (Ping timeout: 265 seconds) |
| 2021-03-19 09:06:32 | × | drbean quits (~drbean@TC210-63-209-220.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-03-19 09:07:01 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-19 09:07:41 | → | shad0w_ joins (a0ca254d@160.202.37.77) |
| 2021-03-19 09:08:56 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:f505:704b:5f9d:32bd) |
| 2021-03-19 09:10:23 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 265 seconds) |
| 2021-03-19 09:10:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-19 09:10:50 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-19 09:12:10 | × | shad0w_ quits (a0ca254d@160.202.37.77) (Client Quit) |
| 2021-03-19 09:13:29 | → | Lycurgus joins (~niemand@98.4.116.165) |
| 2021-03-19 09:14:15 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 265 seconds) |
| 2021-03-19 09:15:23 | × | Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-03-19 09:15:24 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-19 09:15:48 | → | idhugo joins (~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) |
| 2021-03-19 09:17:06 | × | unlink_ quits (~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-03-19 09:19:55 | × | darjeeling_ quits (~darjeelin@112.16.171.9) (Ping timeout: 256 seconds) |
| 2021-03-19 09:22:58 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-03-19 09:25:32 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds) |
| 2021-03-19 09:25:33 | vgtw_ | is now known as vgtw |
| 2021-03-19 09:26:46 | × | tessier_ quits (~treed@kernel-panic/copilotco) (Ping timeout: 256 seconds) |
| 2021-03-19 09:31:23 | <kuribas> | why is fail throwing an IO exception even though I have a custom MonadFail instance for my class? |
| 2021-03-19 09:31:39 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-19 09:32:50 | → | ubert joins (~Thunderbi@p200300ecdf25d9a8e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-19 09:33:28 | <merijn> | Because you're not using that instance? :p |
| 2021-03-19 09:34:26 | <kuribas> | yes I am |
| 2021-03-19 09:34:56 | <merijn> | GHC clearly disagrees |
| 2021-03-19 09:34:56 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 09:35:07 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 09:35:09 | <merijn> | Also "my class" <- you mean type/monad, yes? |
| 2021-03-19 09:36:30 | <kuribas> | ah I need to import Control.Monad.Fail and hide the other fail. |
| 2021-03-19 09:36:40 | <kuribas> | nice way to create confusion. |
| 2021-03-19 09:38:01 | <merijn> | Depends on wich GHC |
| 2021-03-19 09:38:20 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-19 09:38:21 | <merijn> | That's only true on pre-MonadFail GHCs |
| 2021-03-19 09:38:26 | <kuribas> | 8.6.5 |
| 2021-03-19 09:38:36 | <merijn> | You need -XMonadFailDesugaring on older GHC |
| 2021-03-19 09:38:55 | <kuribas> | what does that do? |
| 2021-03-19 09:39:13 | <merijn> | Actually use MonadFail(fail) instead of Monad(fail) |
| 2021-03-19 09:39:30 | <merijn> | kuribas: fail isn't removed from Monad in 8.6.5 |
| 2021-03-19 09:40:07 | <kuribas> | yeah, that's what I did |
| 2021-03-19 09:40:42 | → | AndroUser2 joins (~androirc@2001:2d8:e29e:4784::1e4:861) |
| 2021-03-19 09:44:05 | × | AndroUser2 quits (~androirc@2001:2d8:e29e:4784::1e4:861) (Read error: Connection reset by peer) |
| 2021-03-19 09:45:28 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-19 09:45:28 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-19 09:45:28 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-19 09:45:31 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 2021-03-19 09:45:57 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-19 09:45:59 | <merijn> | kuribas: What is "what you did"? |
| 2021-03-19 09:46:06 | <kuribas> | use MonadFail(fail) |
| 2021-03-19 09:46:15 | <merijn> | Do desugaring doesn't use that |
| 2021-03-19 09:46:18 | <kuribas> | I mean I do it now, and it works. |
All times are in UTC.