Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4022 4023 4024 4025 4026 4027 4028 4029 4030 4031 4032 .. 5022
— 502,152 events total
2021-03-25 13:21:52 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-25 13:24:26 → idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-25 13:24:29 → Deide joins (~Deide@217.155.19.23)
2021-03-25 13:24:57 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 13:26:57 × idhugo quits (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds)
2021-03-25 13:28:16 → titusg joins (~user@158.229.6.51.dyn.plus.net)
2021-03-25 13:29:26 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 264 seconds)
2021-03-25 13:30:27 × Dragavnir quits (~Dragavnir@217.146.82.202) (Remote host closed the connection)
2021-03-25 13:30:41 <titusg> I'm using Lens.Simple for the first time, and have a record in a types module, then import it elsewhere, then use the getter with ^., but the getter isn't in scope. Something to do with TH and the order things are compiled?
2021-03-25 13:30:55 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-25 13:31:18 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-25 13:32:17 × graf_blutwurst quits (~user@2001:171b:226e:adc0:8def:33e:39f5:7058) (Remote host closed the connection)
2021-03-25 13:34:00 → graf_blutwurst joins (~user@2001:171b:226e:adc0:8def:33e:39f5:7058)
2021-03-25 13:34:10 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds)
2021-03-25 13:34:42 <titusg> i've got TH extension on in both files and cabal config
2021-03-25 13:36:06 → carlomagno joins (~cararell@148.87.23.12)
2021-03-25 13:36:07 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-03-25 13:42:22 × geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-25 13:42:30 → LKoen joins (~LKoen@194.250.88.92.rev.sfr.net)
2021-03-25 13:43:40 <lyxia> how are you importing it
2021-03-25 13:44:39 → lunaphyte_ joins (~lunaphyte@37.120.211.188)
2021-03-25 13:45:41 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 13:45:44 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-25 13:46:19 × v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-25 13:46:21 <titusg> lyxia: import Types (MyRecord(..))
2021-03-25 13:47:15 → shellin joins (bab725d7@186.183.37.215)
2021-03-25 13:47:16 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 13:47:25 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 13:48:00 × graf_blutwurst quits (~user@2001:171b:226e:adc0:8def:33e:39f5:7058) (Remote host closed the connection)
2021-03-25 13:49:54 <titusg> The error says "Perhaps you meant _prop imported from Types" where _prop is the field and prop is the getter I'm trying to use
2021-03-25 13:49:56 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-25 13:50:13 <lyxia> getters are standalone functions, so they don't get imported with MyRecord(..)
2021-03-25 13:50:16 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-25 13:50:26 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 264 seconds)
2021-03-25 13:50:35 <titusg> ooh really! thanks
2021-03-25 13:50:36 <lyxia> import Types (MyRecord(..), prop)
2021-03-25 13:51:09 × borne quits (~fritjof@200116b86490f900bc09546e2ac68572.dip.versatel-1u1.de) (Quit: WeeChat 3.1)
2021-03-25 13:52:18 <titusg> yeah that works, seems obvious now..ty :)
2021-03-25 13:52:18 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 13:52:24 <lyxia> yw
2021-03-25 13:52:31 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 13:52:51 → bahamas joins (~lucian@unaffiliated/bahamas)
2021-03-25 13:53:40 × knupfer quits (~Thunderbi@200116b82409120025e07d54fd526c58.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-25 13:53:48 → knupfer joins (~Thunderbi@200116b824091200e12e1888350b98d1.dip.versatel-1u1.de)
2021-03-25 13:53:48 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 13:54:06 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 13:54:12 → borne joins (~fritjof@200116b86490f90082e68925938a8928.dip.versatel-1u1.de)
2021-03-25 13:55:25 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-25 13:55:25 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 13:55:42 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 14:02:06 × benkolera quits (uid285671@gateway/web/irccloud.com/x-crocbefkutgfsdyl) (Quit: Connection closed for inactivity)
2021-03-25 14:04:06 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-03-25 14:04:29 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-25 14:04:55 ← shellin parts (bab725d7@186.183.37.215) ()
2021-03-25 14:06:29 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 14:06:29 → zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-25 14:07:19 → Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-25 14:07:20 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 14:07:47 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 14:09:55 → remedan_ joins (~remedan@balak.me)
2021-03-25 14:10:53 × Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 245 seconds)
2021-03-25 14:11:07 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 260 seconds)
2021-03-25 14:11:08 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 14:11:23 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 14:12:24 → jacks2 joins (~bc8134e3@217.29.117.252)
2021-03-25 14:13:19 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-25 14:13:49 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-25 14:13:58 × raichoo quits (~raichoo@dslb-092-073-222-210.092.073.pools.vodafone-ip.de) (Quit: Lost terminal)
2021-03-25 14:15:10 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2021-03-25 14:15:41 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-25 14:17:38 → juliendehos[m] joins (juliendeho@gateway/shell/matrix.org/x-gtjwdqdtuedkukyh)
2021-03-25 14:18:34 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2021-03-25 14:19:09 × stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-25 14:21:13 × carlomagno quits (~cararell@148.87.23.12) (Remote host closed the connection)
2021-03-25 14:21:23 → carlomagno joins (~cararell@148.87.23.12)
2021-03-25 14:23:07 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-25 14:23:59 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-25 14:25:40 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-25 14:25:56 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds)
2021-03-25 14:26:50 → graf_blutwurst joins (~user@2001:171b:226e:adc0:8def:33e:39f5:7058)
2021-03-25 14:27:16 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 14:29:17 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-25 14:30:02 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-25 14:30:13 × azure1 quits (~azure@103.154.230.130) (Ping timeout: 265 seconds)
2021-03-25 14:31:50 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 264 seconds)
2021-03-25 14:32:12 → stree joins (~stree@68.36.8.116)
2021-03-25 14:34:28 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-03-25 14:36:08 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-25 14:36:17 × romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-03-25 14:38:26 ← smerdyakov parts (~dan@5.146.195.159) ("Leaving")
2021-03-25 14:38:40 × raym quits (~ray@115.187.32.14) (Quit: leaving)
2021-03-25 14:38:42 → azure1 joins (~azure@103.154.230.130)
2021-03-25 14:39:05 × aqd quits (~aqd@84.20.147.33) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-25 14:40:15 × toorevitimirp quits (~tooreviti@117.182.181.200) (Remote host closed the connection)
2021-03-25 14:42:19 × jlamothe quits (~jlamothe@198.251.55.207) (Quit: leaving)
2021-03-25 14:43:45 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2021-03-25 14:43:47 → ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-03-25 14:47:11 → Sorna joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-25 14:48:02 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 14:48:02 → shellin joins (bab725d7@186.183.37.215)
←Prev  Next→
Page 1 .. 4022 4023 4024 4025 4026 4027 4028 4029 4030 4031 4032 .. 5022

All times are in UTC.