Logs: freenode/#haskell
| 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.