Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 803 804 805 806 807 808 809 810 811 812 813 .. 5022
— 502,152 events total
2020-10-22 19:09:47 <dminuoso> What does it even mean "when the name is unambiguous"?
2020-10-22 19:10:08 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 19:10:44 <dminuoso> Given `data Foo = Foo`, is the reference to Foo ambiguous? `type F = Identity Foo`
2020-10-22 19:11:10 → ystael joins (~ystael@209.6.50.55)
2020-10-22 19:11:18 → hiroaki joins (~hiroaki@2a02:908:4b18:e20::e363)
2020-10-22 19:13:01 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-22 19:14:16 → acidjnk_new2 joins (~acidjnk@p200300d0c72378771d1e3adff3a8980c.dip0.t-ipconnect.de)
2020-10-22 19:14:25 <dminuoso> There's of course possible answers that include "Of course it's not, Foo couldn't possibly be the data constructor". But isn't it GHCs job to report when the user might have misspecified a program that can, with some consideration, still type check?
2020-10-22 19:15:13 × ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 272 seconds)
2020-10-22 19:15:15 <hyperisco> somehow when I call stack build now it just hangs
2020-10-22 19:15:28 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-22 19:16:22 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 19:17:57 × acidjnk_new3 quits (~acidjnk@p200300d0c723787725ba521637e698a6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 19:18:15 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 19:19:09 × jespada quits (~jespada@90.254.243.98) (Ping timeout: 265 seconds)
2020-10-22 19:19:18 <dminuoso> hyperisco: Too much use of UndecideableInstances or TyFams? :>
2020-10-22 19:19:23 × Quarl quits (~Quarl@94.191.136.95.mobile.tre.se) (Read error: Connection reset by peer)
2020-10-22 19:19:32 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 19:19:41 <hyperisco> I didn't change any code =\ well this is just my luck lately
2020-10-22 19:21:14 → jespada joins (~jespada@90.254.243.98)
2020-10-22 19:21:39 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Read error: Connection reset by peer)
2020-10-22 19:22:00 × knupfer quits (~Thunderbi@200116b824e6130008091b7016d3a056.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-10-22 19:22:15 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-22 19:23:22 × thir quits (~thir@p4febc6a5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-22 19:25:13 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-22 19:28:00 × kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 272 seconds)
2020-10-22 19:28:03 → thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 19:30:29 → aarvar joins (~foewfoiew@50.35.43.33)
2020-10-22 19:30:49 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 19:30:59 ← aarvar parts (~foewfoiew@50.35.43.33) ()
2020-10-22 19:31:16 → reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-10-22 19:31:34 × GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-22 19:31:54 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-22 19:31:54 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-22 19:31:54 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-22 19:32:20 → alp joins (~alp@2a01:e0a:58b:4920:d80c:9dfe:7aa1:7540)
2020-10-22 19:34:13 × thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-22 19:38:34 <fresheyeball> is there any way to make jsaddle-warp debugging more reliable?
2020-10-22 19:39:10 → mbomba joins (~mbomba@142.114.9.241)
2020-10-22 19:39:13 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-22 19:39:49 <fresheyeball> hamishmack: it looks like I am going to be building more and more stuff on your work
2020-10-22 19:40:03 <fresheyeball> would you be willing to do a call with me and talk about some stuff with jsaddle?
2020-10-22 19:41:08 × ericsagnes quits (~ericsagne@2405:6580:0:5100:7866:3a49:bf86:234b) (Ping timeout: 246 seconds)
2020-10-22 19:42:28 × coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-22 19:43:32 × Alexthek1d quits (~JJJ@p5b3ae7e8.dip0.t-ipconnect.de) (Quit: Leaving)
2020-10-22 19:47:00 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-22 19:47:03 → kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2020-10-22 19:47:06 → Tario joins (~Tario@201.192.165.173)
2020-10-22 19:47:16 → knupfer joins (~Thunderbi@mue-88-130-61-228.dsl.tropolys.de)
2020-10-22 19:48:11 × erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds)
2020-10-22 19:48:31 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-22 19:49:54 × oisdk_ quits (~oisdk@2001:bb6:3329:d100:110c:4b45:443f:14f0) (Quit: oisdk_)
2020-10-22 19:50:32 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-22 19:51:23 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-22 19:51:53 <merijn> dminuoso: Easy, "Just" in a type is unambigously datakinds, unless you first define a new "Just" type
2020-10-22 19:52:32 <merijn> % :i Identity
2020-10-22 19:52:32 <yahb> merijn: type Identity :: * -> *; newtype Identity a = Identity {runIdentity :: a}; -- Defined in `Data.Functor.Identity'; instance Applicative Identity -- Defined in `Data.Functor.Identity'; instance Eq a => Eq (Identity a) -- Defined in `Data.Functor.Identity'; instance Functor Identity -- Defined in `Data.Functor.Identity'; instance Monad Identity -- Defined in `Data.Functor.Identity'; instance Monoid a =>
2020-10-22 19:52:48 <merijn> dminuoso: That one is also unambiguous, since the kind is * :p
2020-10-22 19:53:02 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 19:53:09 × raichoo quits (~raichoo@dslb-084-062-118-149.084.062.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-22 19:53:20 <dminuoso> merijn: Since they occupy the same namespace, I'm not willing to accept that
2020-10-22 19:53:34 → ericsagnes joins (~ericsagne@2405:6580:0:5100:e405:3b15:8133:b765)
2020-10-22 19:54:09 <dminuoso> But really, my arguments boil down to "they shouldn't occupy the same namespace in the first place"
2020-10-22 19:57:03 × notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-22 19:57:28 → notnatebtw joins (~nate@110.138.18.157)
2020-10-22 19:57:32 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-22 19:57:59 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 19:58:10 → stefan-__ joins (~cri@42dots.de)
2020-10-22 19:59:41 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-22 20:00:00 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 20:00:29 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:00:54 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
2020-10-22 20:02:09 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 20:02:23 → stefan-__ joins (~cri@42dots.de)
2020-10-22 20:03:20 → rprije joins (~rprije@110-175-117-18.tpgi.com.au)
2020-10-22 20:05:53 × zariuq quits (~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection)
2020-10-22 20:06:05 → zariuq joins (~zar@fw1.ciirc.cvut.cz)
2020-10-22 20:06:46 → thir joins (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de)
2020-10-22 20:08:31 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Remote host closed the connection)
2020-10-22 20:08:40 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-10-22 20:08:56 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-22 20:09:35 × forgottenone quits (~forgotten@176.88.100.210) (Read error: Connection reset by peer)
2020-10-22 20:10:05 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:10:37 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-22 20:11:01 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds)
2020-10-22 20:12:00 → zephyz joins (~zephyz@2a02:c7f:b0ff:7000:817:8e89:a6:b588)
2020-10-22 20:13:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-22 20:14:19 → justan0theruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-22 20:14:32 × thir quits (~thir@p200300f27f19de00a929a56a6a990c9a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-22 20:14:32 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-22 20:15:31 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-22 20:16:39 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-10-22 20:18:03 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-22 20:18:25 × borne quits (~fritjof@200116b86425bd0087e6f2bfc1189587.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-22 20:18:55 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-22 20:19:10 → stefan-__ joins (~cri@42dots.de)
2020-10-22 20:19:13 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2020-10-22 20:19:39 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-22 20:21:21 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-22 20:21:35 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Client Quit)
←Prev  Next→
Page 1 .. 803 804 805 806 807 808 809 810 811 812 813 .. 5022

All times are in UTC.