Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 .. 5022
— 502,152 events total
2020-11-10 01:31:57 × jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 01:32:52 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-10 01:33:07 → lazyshrk joins (~lazyshrk@128.199.58.13)
2020-11-10 01:33:52 × ilja quits (5b8169f5@m91-129-105-245.cust.tele2.ee) (Remote host closed the connection)
2020-11-10 01:37:33 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-11-10 01:38:30 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 01:40:45 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-11-10 01:41:20 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-10 01:41:54 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-10 01:42:02 × falafel_ quits (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds)
2020-11-10 01:42:30 hackage predicate-typed 0.7.4.3 - Predicates, Refinement types and Dsl https://hackage.haskell.org/package/predicate-typed-0.7.4.3 (gbwey)
2020-11-10 01:45:30 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-10 01:46:10 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-11-10 01:46:53 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds)
2020-11-10 01:47:38 → Deide joins (~Deide@217.155.19.23)
2020-11-10 01:48:02 × Deide quits (~Deide@217.155.19.23) (Client Quit)
2020-11-10 01:49:29 × visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-10 01:52:21 → GreeboSnabble joins (45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net)
2020-11-10 01:53:16 → erisco joins (~erisco@d24-57-249-233.home.cgocable.net)
2020-11-10 01:53:30 hackage hsaml2 0.1.1 - OASIS Security Assertion Markup Language (SAML) V2.0 https://hackage.haskell.org/package/hsaml2-0.1.1 (DylanSimon)
2020-11-10 01:53:51 <GreeboSnabble> Is there a way to put a constraint on a type parameter without using it up?
2020-11-10 01:54:20 <GreeboSnabble> Like (Ord k) => M.Map k
2020-11-10 01:54:26 × da39a3ee5e6b4b0d quits (~textual@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-10 01:55:00 <GreeboSnabble> Except I want it to be of kind * -> * -> *
2020-11-10 01:55:17 × jmcarthur quits (~jmcarthur@2601:86:500:2a40:db56:5d66:5919:c95d) (Ping timeout: 272 seconds)
2020-11-10 01:55:24 × Igloo quits (~igloo@81.2.99.210) (Ping timeout: 272 seconds)
2020-11-10 01:55:37 <erisco> no, constraints cannot be lifted
2020-11-10 01:56:04 <GreeboSnabble> Thanks :\
2020-11-10 01:58:03 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 01:59:26 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2020-11-10 02:00:12 → tefter joins (~bmaxa@87.250.59.115)
2020-11-10 02:01:27 → zenifx joins (~zenifx3@2804:14d:baa2:5673:9971:fe58:169e:d449)
2020-11-10 02:01:30 → Igloo joins (~igloo@matrix.chaos.earth.li)
2020-11-10 02:02:39 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-10 02:05:27 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 02:05:43 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-10 02:06:39 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 02:09:26 → jmcarthur joins (~jmcarthur@104.206.206.195)
2020-11-10 02:11:09 × Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 265 seconds)
2020-11-10 02:11:34 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-11-10 02:11:52 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-10 02:12:01 → lolmac joins (sid171216@gateway/web/irccloud.com/x-gmqxaazsdhqnivnv)
2020-11-10 02:12:30 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 02:12:47 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-10 02:13:47 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Client Quit)
2020-11-10 02:14:28 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-10 02:14:48 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-10 02:15:54 × erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving)
2020-11-10 02:17:47 → da39a3ee5e6b4b0d joins (~textual@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 02:18:13 × shailangsa quits (~shailangs@host86-185-102-101.range86-185.btcentralplus.com) (Ping timeout: 258 seconds)
2020-11-10 02:18:44 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-11-10 02:20:40 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 02:21:04 × zenifx quits (~zenifx3@2804:14d:baa2:5673:9971:fe58:169e:d449) (Quit: Leaving)
2020-11-10 02:21:51 × GreeboSnabble quits (45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net) (Remote host closed the connection)
2020-11-10 02:24:34 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 02:25:25 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-10 02:25:52 × zebrag quits (~inkbottle@aaubervilliers-654-1-93-172.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-11-10 02:28:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-10 02:28:46 → zebrag joins (~inkbottle@aaubervilliers-654-1-93-172.w86-212.abo.wanadoo.fr)
2020-11-10 02:31:12 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 02:31:29 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-10 02:32:00 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 02:32:13 → drbean joins (~drbean@TC210-63-209-175.static.apol.com.tw)
2020-11-10 02:32:16 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-10 02:32:48 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 02:33:03 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-11-10 02:33:05 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-10 02:33:06 → toorevitimirp joins (~tooreviti@117.182.180.38)
2020-11-10 02:33:31 × nuncanada quits (~dude@179.235.160.168) (Read error: Connection reset by peer)
2020-11-10 02:33:33 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Quit: WeeChat 2.8)
2020-11-10 02:33:35 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 02:33:55 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-10 02:34:02 → jedws joins (~jedws@101.184.150.81)
2020-11-10 02:34:23 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 02:34:59 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-10 02:36:25 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-11-10 02:37:23 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-11-10 02:39:05 → hololeap joins (~hololeap@unaffiliated/hololeap)
2020-11-10 02:39:26 <hololeap> % :t handle
2020-11-10 02:39:26 <yahb> hololeap: forall {e} {a}. Exception e => (e -> IO a) -> IO a -> IO a
2020-11-10 02:39:32 <hololeap> % :t handle print
2020-11-10 02:39:32 <yahb> hololeap: ; <interactive>:1:1: error:; * Ambiguous type variable `a0' arising from a use of `handle'; prevents the constraint `(Exception a0)' from being solved.; Probable fix: use a type annotation to specify what `a0' should be.; These potential instances exist:; instance Exception NestedAtomically -- Defined in `Control.Exception.Base'; instance Exception NoMethodError -- D
2020-11-10 02:39:42 <hololeap> i don't understand this
2020-11-10 02:39:58 <hololeap> any Exception is also an instance of Show
2020-11-10 02:40:50 × da39a3ee5e6b4b0d quits (~textual@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-10 02:42:45 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2020-11-10 02:43:42 <glguy> hololeap: you have to pick one exception type in particular
2020-11-10 02:44:05 <glguy> and you've lost the ability to specify which one you're picking
2020-11-10 02:44:55 → servo joins (~servo@196.121.90.16)
2020-11-10 02:45:15 × jakob_ quits (~textual@p200300f49f162200d485fdd402f900db.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-10 02:47:08 <glguy> % :set -XAllowAmbiguousTypes
2020-11-10 02:47:08 <yahb> glguy:
2020-11-10 02:47:24 <glguy> % let f :: forall e. Exception e => IO () -> IO (); f = handle @e print
2020-11-10 02:47:24 <yahb> glguy:
2020-11-10 02:48:06 <glguy> % f @SomeException (fail "glguy")
2020-11-10 02:48:07 <yahb> glguy: user error (glguy)
2020-11-10 02:48:16 × leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 256 seconds)
2020-11-10 02:48:46 × dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-11-10 02:49:16 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2020-11-10 02:50:11 × xff0x quits (~fox@2001:1a81:531b:1600:cd3d:f483:4bd5:a4e5) (Ping timeout: 244 seconds)
←Prev  Next→
Page 1 .. 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 .. 5022

All times are in UTC.