Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-06 15:46:28 bitmapper joins (uid464869@gateway/web/irccloud.com/x-ixbzhzypphotnxrx)
2020-11-06 15:48:04 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-06 15:48:14 × argent0 quits (~argent0@168.227.98.82) (Ping timeout: 258 seconds)
2020-11-06 15:52:10 dyeplexer joins (~lol@unaffiliated/terpin)
2020-11-06 15:52:15 vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-06 15:52:29 pavonia joins (~user@unaffiliated/siracusa)
2020-11-06 15:53:28 <absence> i have some code that compiles until i enable TypeFamilies. anyone knows what's wrong, and what i have to change to make it work? https://repl.it/repls/SickConstantComputergraphics
2020-11-06 15:54:03 × Inoperable quits (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!)
2020-11-06 15:54:04 argent0 joins (~argent0@168.227.98.82)
2020-11-06 15:54:06 conal joins (~conal@64.71.133.70)
2020-11-06 15:54:11 <merijn> Well, what's the error?
2020-11-06 15:55:34 <merijn> Unrelatedly: also note that you can never do anything useful with SomeRecord's contents
2020-11-06 15:56:01 <absence> merijn: click the run button
2020-11-06 15:56:03 <dolio> It's because TypeFamilies turns on MonoLocalBinds, I think.
2020-11-06 15:56:19 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 265 seconds)
2020-11-06 15:56:31 <dolio> So 'test' must be monomorphic, but nothing determines its type.
2020-11-06 15:56:34 <absence> merijn: also this code is just some garbage i threw together to reproduce the error :)
2020-11-06 15:56:47 <absence> dolio: oh!
2020-11-06 15:57:13 × todda7 quits (~torstein@ppp-2-84-30-242.home.otenet.gr) (Remote host closed the connection)
2020-11-06 15:57:23 <absence> dolio: i think i've been bitten by that before...
2020-11-06 15:57:30 alp joins (~alp@2a01:e0a:58b:4920:3118:5dff:6f5a:9656)
2020-11-06 15:57:39 todda7 joins (~torstein@ppp-2-84-30-242.home.otenet.gr)
2020-11-06 15:58:30 avdb joins (~avdb@ip-83-134-202-202.dsl.scarlet.be)
2020-11-06 15:58:34 <dolio> That's not exactly what the error says, but if I put NoMonoLocalBinds in the language pragma, it works.
2020-11-06 15:58:52 × conal quits (~conal@64.71.133.70) (Ping timeout: 246 seconds)
2020-11-06 15:59:28 ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 15:59:33 <absence> dolio: is there a good reason why it enables MonoLocalBinds? i.e. should i just disable it, or change the code to work when it's enabled?
2020-11-06 16:00:00 × joaj quits (~joaj@2001:690:2100:110:cceb:227c:edbc:592c) (Remote host closed the connection)
2020-11-06 16:00:02 vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-06 16:00:23 joaj joins (~joaj@2001:690:2100:1b:a36f:f7ab:d46c:98f0)
2020-11-06 16:00:24 Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-06 16:00:27 <dolio> I think it makes inference more feasible for type family related stuff.
2020-11-06 16:00:28 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-06 16:00:28 Rudd0 joins (~Rudd0@185.189.115.103)
2020-11-06 16:00:33 conal joins (~conal@198.8.81.71)
2020-11-06 16:03:58 ddellaco1 joins (dd@gateway/vpn/mullvad/ddellacosta)
2020-11-06 16:04:12 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-06 16:04:39 × isBEKaml quits (~isBEKaml@unaffiliated/isbekaml) (Quit: leaving)
2020-11-06 16:05:08 vilpan joins (~0@212.117.1.172)
2020-11-06 16:06:09 Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-11-06 16:06:57 <absence> dolio: i see, thanks!
2020-11-06 16:07:06 Inoperable joins (~PLAYER_1@fancydata.science)
2020-11-06 16:07:21 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-11-06 16:07:25 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 264 seconds)
2020-11-06 16:08:48 × avdb quits (~avdb@ip-83-134-202-202.dsl.scarlet.be) (Ping timeout: 256 seconds)
2020-11-06 16:09:42 ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 16:09:45 Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com)
2020-11-06 16:09:50 bennofs1 joins (~benno@dslb-094-222-063-208.094.222.pools.vodafone-ip.de)
2020-11-06 16:10:17 × conal quits (~conal@198.8.81.71) (Quit: Computer has gone to sleep.)
2020-11-06 16:10:29 Lord_of_Life_ is now known as Lord_of_Life
2020-11-06 16:14:40 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-06 16:15:17 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-06 16:15:33 vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-06 16:15:54 scasc joins (~szabi@213142096120.public.telering.at)
2020-11-06 16:17:00 hackage reflex-fsnotify 0.2.1.2 - Reflex FRP interface for watching files https://hackage.haskell.org/package/reflex-fsnotify-0.2.1.2 (abrar)
2020-11-06 16:18:35 slack1256 joins (~slack1256@191.126.150.2)
2020-11-06 16:19:48 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-11-06 16:19:53 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-06 16:20:02 vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-06 16:21:26 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-06 16:21:46 × argent0 quits (~argent0@168.227.98.82) (Ping timeout: 256 seconds)
2020-11-06 16:22:51 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-11-06 16:23:37 tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-11-06 16:24:07 ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 16:24:13 Amras joins (~Amras@unaffiliated/amras0000)
2020-11-06 16:24:31 hackage reflex-process 0.3.1.0 - Reflex FRP interface for running system processes https://hackage.haskell.org/package/reflex-process-0.3.1.0 (abrar)
2020-11-06 16:25:34 toorevitimirp joins (~tooreviti@117.182.183.132)
2020-11-06 16:25:41 × acidjnk_new2 quits (~acidjnk@p200300d0c718f650b06a22fed16a11d3.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-06 16:25:57 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-06 16:26:12 × slack1256 quits (~slack1256@191.126.150.2) (Ping timeout: 244 seconds)
2020-11-06 16:26:12 × scasc quits (~szabi@213142096120.public.telering.at) (Ping timeout: 244 seconds)
2020-11-06 16:29:14 × bennofs1 quits (~benno@dslb-094-222-063-208.094.222.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-11-06 16:29:21 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-06 16:32:04 scasc joins (~szabi@213142096120.public.telering.at)
2020-11-06 16:32:28 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-11-06 16:32:55 ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 16:33:05 hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-mmieyeuehrtlbhkm)
2020-11-06 16:34:10 pera joins (~pera@unaffiliated/pera)
2020-11-06 16:36:30 hackage persistent-test 2.0.3.5 - Tests for Persistent https://hackage.haskell.org/package/persistent-test-2.0.3.5 (parsonsmatt)
2020-11-06 16:37:30 hackage reflex-dom-core 0.6.1.0 - Functional Reactive Web Apps with Reflex https://hackage.haskell.org/package/reflex-dom-core-0.6.1.0 (abrar)
2020-11-06 16:37:48 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-06 16:38:37 × alp quits (~alp@2a01:e0a:58b:4920:3118:5dff:6f5a:9656) (Ping timeout: 272 seconds)
2020-11-06 16:38:51 alp joins (~alp@2a01:e0a:58b:4920:3c79:643f:783c:9d58)
2020-11-06 16:39:37 × toorevitimirp quits (~tooreviti@117.182.183.132) (Remote host closed the connection)
2020-11-06 16:40:31 hackage reflex-ghci 0.1.5.1 - A GHCi widget library for use in reflex applications https://hackage.haskell.org/package/reflex-ghci-0.1.5.1 (abrar)
2020-11-06 16:41:04 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-06 16:42:10 britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-06 16:42:47 Ariakenom joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se)
2020-11-06 16:43:03 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-11-06 16:43:30 hackage reflex-dom 0.6.1.0 - Functional Reactive Web Apps with Reflex https://hackage.haskell.org/package/reflex-dom-0.6.1.0 (abrar)
2020-11-06 16:44:08 × twopoint718 quits (~cjw@fsf/member/twopoint718) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-06 16:44:33 <maerwald> merijn: next time someone asks about xdg: https://gitlab.haskell.org/haskell/ghcup-hs#xdg-support :p
2020-11-06 16:45:17 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-06 16:45:34 vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-06 16:45:39 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-11-06 16:46:51 Black joins (~Benett@unaffiliated/benett)
2020-11-06 16:47:37 invaser joins (~Thunderbi@31.148.23.125)
2020-11-06 16:48:55 × Benett quits (~Benett@unaffiliated/benett) (Ping timeout: 240 seconds)
2020-11-06 16:49:57 × kuribastard quits (~user@ptr-25vy0i8gjp0q1mdagcc.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-11-06 16:50:24 Black is now known as Benett

All times are in UTC.