Logs: freenode/#haskell
| 2020-11-10 02:51:02 | × | alp quits (~alp@88.126.45.36) (Ping timeout: 256 seconds) |
| 2020-11-10 02:51:21 | → | kotrcka joins (4e2917d3@78.41.23.211) |
| 2020-11-10 02:52:00 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-10 02:52:06 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2020-11-10 02:52:06 | → | xff0x joins (~fox@2001:1a81:5351:7d00:6f2b:700e:59a0:6133) |
| 2020-11-10 02:53:55 | <hololeap> | is there any way to do this without enabling AllowAmbiguousTypes for the whole module? |
| 2020-11-10 02:53:59 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-11-10 02:56:03 | <glguy> | hololeap: put a type signature on print |
| 2020-11-10 02:56:28 | → | leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com) |
| 2020-11-10 02:56:33 | <glguy> | % :t handle (print :: SomeException -> IO ()) |
| 2020-11-10 02:56:33 | <yahb> | glguy: IO () -> IO () |
| 2020-11-10 02:56:56 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2020-11-10 02:57:01 | hackage | vulkan 3.6.13 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.13 (jophish) |
| 2020-11-10 02:57:39 | ← | kotrcka parts (4e2917d3@78.41.23.211) () |
| 2020-11-10 03:00:01 | × | Guest19037 quits (~ccallahan@185.204.1.185) () |
| 2020-11-10 03:02:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-10 03:03:08 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services))) |
| 2020-11-10 03:03:16 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-11-10 03:04:37 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-11-10 03:06:44 | → | justsomeguy joins (~justsomeg@216.186.218.241) |
| 2020-11-10 03:06:44 | × | justsomeguy quits (~justsomeg@216.186.218.241) (Changing host) |
| 2020-11-10 03:06:44 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-11-10 03:07:10 | → | GreeboSnabble joins (45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net) |
| 2020-11-10 03:07:30 | <GreeboSnabble> | Is there a type level version of const? |
| 2020-11-10 03:07:45 | <GreeboSnabble> | like typeConst :: * -> * -> * |
| 2020-11-10 03:08:19 | <c_wraith> | Control.Applicative.Const ? |
| 2020-11-10 03:08:57 | <c_wraith> | Haskell doesn't have type-level lambdas, so newtypes like that are as close as you get |
| 2020-11-10 03:09:37 | → | adm joins (~adm@43.229.88.236) |
| 2020-11-10 03:10:20 | × | mu quits (~mu@unaffiliated/mu) (Quit: mu) |
| 2020-11-10 03:10:28 | × | Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2020-11-10 03:10:38 | → | Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-10 03:10:43 | <GreeboSnabble> | Thanks, looks pretty good |
| 2020-11-10 03:12:01 | <hololeap> | glguy: cool, seems to work |
| 2020-11-10 03:12:17 | <hololeap> | ideally, i would also like to log the exception type |
| 2020-11-10 03:13:25 | × | mmohammadi9812 quits (~mmohammad@5.238.183.63) (Ping timeout: 264 seconds) |
| 2020-11-10 03:13:58 | → | mmohammadi9812 joins (~mmohammad@5.115.207.20) |
| 2020-11-10 03:15:06 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-11-10 03:17:15 | → | mu joins (~mu@unaffiliated/mu) |
| 2020-11-10 03:17:16 | <jle`> | hololeap: you can use SomeException for that |
| 2020-11-10 03:17:22 | <jle`> | but that would catch all exceptions |
| 2020-11-10 03:17:31 | <jle`> | which is sort of not recommended unless you know how it could go wrong |
| 2020-11-10 03:17:53 | × | toorevitimirp quits (~tooreviti@117.182.180.38) (Ping timeout: 260 seconds) |
| 2020-11-10 03:17:53 | × | jmcarthur quits (~jmcarthur@104.206.206.195) (Ping timeout: 260 seconds) |
| 2020-11-10 03:17:55 | <jle`> | hololeap: remember the goal of `handle` is to "peel off" specific exception types; the function you give it will tell it which exception types to catch |
| 2020-11-10 03:18:54 | → | toorevitimirp joins (~tooreviti@117.182.180.38) |
| 2020-11-10 03:19:54 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 2020-11-10 03:20:00 | hackage | reflex-gadt-api 0.2.1.0 - Interact with a GADT API in your reflex-dom application. https://hackage.haskell.org/package/reflex-gadt-api-0.2.1.0 (abrar) |
| 2020-11-10 03:21:43 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-11-10 03:22:43 | <hololeap> | jle`: my approach for right now is just to log the exception and have the program abort |
| 2020-11-10 03:23:26 | × | leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 272 seconds) |
| 2020-11-10 03:23:52 | <hololeap> | there aren't too many exceptions that would happen. IO is really the only one i can imagine |
| 2020-11-10 03:26:41 | <hololeap> | and i don't have any plan currently for handling those, thus just log them and quit, which i should be able to do with any exception, assuming it happens within the `handle` block |
| 2020-11-10 03:31:06 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2020-11-10 03:31:15 | → | borne joins (~fritjof@200116b864d35e0021c47849b07375d7.dip.versatel-1u1.de) |
| 2020-11-10 03:31:27 | <jle`> | yeah, if you give `handle` a `SomeException -> IO a`, then it will handle all exceptions |
| 2020-11-10 03:31:37 | <jle`> | if you give it a `IOException -> IO a`, it will handle only IOException |
| 2020-11-10 03:31:40 | <jle`> | etc. |
| 2020-11-10 03:31:53 | <jle`> | so handle is type-directed, like `read` |
| 2020-11-10 03:34:10 | × | mu quits (~mu@unaffiliated/mu) (Quit: mu) |
| 2020-11-10 03:35:30 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-11-10 03:36:01 | × | tefter quits (~bmaxa@87.250.59.115) (Quit: WeeChat 2.9) |
| 2020-11-10 03:36:38 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-10 03:37:47 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 2020-11-10 03:38:41 | → | nuncanada joins (~dude@179.235.160.168) |
| 2020-11-10 03:38:46 | × | adm quits (~adm@43.229.88.236) (Remote host closed the connection) |
| 2020-11-10 03:40:19 | → | adm joins (~adm@43.229.88.236) |
| 2020-11-10 03:41:48 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-10 03:42:03 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 2020-11-10 03:45:54 | × | nuncanada quits (~dude@179.235.160.168) (Quit: Leaving) |
| 2020-11-10 03:47:21 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-10 03:48:11 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2020-11-10 03:48:49 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) |
| 2020-11-10 03:52:44 | × | xpika quits (~alan@2001:8003:5d32:1f00:51d0:5bbb:a565:c9fd) (Ping timeout: 240 seconds) |
| 2020-11-10 03:52:56 | → | mu joins (~mu@unaffiliated/mu) |
| 2020-11-10 03:53:15 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-11-10 03:53:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Client Quit) |
| 2020-11-10 03:55:33 | → | dvratil joins (~dvratil@139.28.218.148) |
| 2020-11-10 03:57:45 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) |
| 2020-11-10 03:58:29 | × | adm quits (~adm@43.229.88.236) (Remote host closed the connection) |
| 2020-11-10 03:59:31 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-10 04:00:57 | × | theDon quits (~td@muedsl-82-207-238-251.citykom.de) (Ping timeout: 258 seconds) |
| 2020-11-10 04:01:59 | → | adm joins (~adm@43.229.88.236) |
| 2020-11-10 04:02:57 | → | theDon joins (~td@muedsl-82-207-238-200.citykom.de) |
| 2020-11-10 04:03:15 | → | leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com) |
| 2020-11-10 04:04:22 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2020-11-10 04:04:47 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-10 04:08:04 | × | lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection) |
| 2020-11-10 04:08:12 | × | acidjnk_new2 quits (~acidjnk@p200300d0c718f61059b80ee7df292ca6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-10 04:08:26 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) |
| 2020-11-10 04:09:06 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 2020-11-10 04:10:30 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2020-11-10 04:18:01 | → | lululululu joins (3dded63f@61-222-214-63.HINET-IP.hinet.net) |
| 2020-11-10 04:18:35 | × | leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 258 seconds) |
| 2020-11-10 04:28:01 | → | subttle joins (~anonymous@unaffiliated/subttle) |
| 2020-11-10 04:29:45 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-10 04:32:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-10 04:32:50 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-11-10 04:33:26 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-10 04:33:38 | × | borne quits (~fritjof@200116b864d35e0021c47849b07375d7.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2020-11-10 04:34:16 | × | adm quits (~adm@43.229.88.236) (Remote host closed the connection) |
All times are in UTC.