Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 656 657 658 659 660 661 662 663 664 665 666 .. 18013
— 1,801,219 events total
2021-06-26 01:03:49 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-26 01:03:50 <fYnch> hey all, i'm trying to update an older project (roughly 7 years old) that uses type families and I'm getting a type error here https://paste.tomsmeding.com/qkCiOvgl
2021-06-26 01:04:51 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-06-26 01:04:58 <fYnch> the error is listed there but it claims an associated type references no type or kind variables of the class. I'm not sure how to parse that, digging through type families doc at the moment but lost
2021-06-26 01:05:47 <shachaf> fYnch: Well, What's b supposed to be?
2021-06-26 01:06:02 <shachaf> Did that code compile in the past?
2021-06-26 01:06:56 <shachaf> Hmm, I guess I see what it's trying to do.
2021-06-26 01:07:17 × norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds)
2021-06-26 01:07:36 → neurocyte57 joins (~neurocyte@user/neurocyte)
2021-06-26 01:07:46 <fYnch> it did, I'm the origonal author but I haven't looked at it in 7 years so i dont even remember why UnDBConnection was needed :|
2021-06-26 01:09:32 <shachaf> Is it used anywhere else?
2021-06-26 01:09:43 <shachaf> I haven't used any of these extensions in years.
2021-06-26 01:09:55 <shachaf> Maybe you can make UnDBConnection a standalone type family or something? I don't know how you're using it.
2021-06-26 01:10:00 → Nahra joins (~user@static.161.95.99.88.clients.your-server.de)
2021-06-26 01:11:16 × neurocyte5 quits (~neurocyte@user/neurocyte) (Ping timeout: 246 seconds)
2021-06-26 01:14:08 <fYnch> hey all, i'm trying to update an older project (roughly 7 years old) that uses type families and I'm getting a type error here https://paste.tomsmeding.com/qkCiOvglhttps://github.com/fuag15/yaskl/blob/master/src/Yaskl/PostgreSQL/Database.hs
2021-06-26 01:16:12 × hegstal quits (~hegstal@2a02:c7f:7604:8a00:b401:1d9:cf08:e9d0) (Remote host closed the connection)
2021-06-26 01:16:42 <shachaf> Well, that code doesn't seem to be using it.
2021-06-26 01:18:36 × sleym quits (~sleym@185.124.240.166) (Read error: Connection reset by peer)
2021-06-26 01:21:04 <fYnch> yeah, I don't get why i need this UnDBConnection (DBConnection a)
2021-06-26 01:21:10 → warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e)
2021-06-26 01:21:12 <fYnch> going to try removing it and just us DBConnection a
2021-06-26 01:21:30 × ph88^ quits (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) (Ping timeout: 272 seconds)
2021-06-26 01:23:56 × waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2021-06-26 01:24:00 <fYnch> huh, without it it cant match my DBConnection type with the type i supply
2021-06-26 01:24:55 × xff0x quits (~xff0x@2001:1a81:52c9:c400:e0d8:2879:2fd2:a436) (Ping timeout: 272 seconds)
2021-06-26 01:26:08 × leeb_ quits (~leeb@KD111239153087.au-net.ne.jp) (Quit: WeeChat 3.1)
2021-06-26 01:26:11 × warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Ping timeout: 272 seconds)
2021-06-26 01:26:26 → xff0x joins (~xff0x@2001:1a81:5302:7b00:7b9e:b34d:db0e:110c)
2021-06-26 01:28:31 <fYnch> i wrote this origonally in 2014, I think i need to update it to use TypeFamilyDependencies
2021-06-26 01:28:57 <geekosaur> I'm a bit surprised that ever worked given the dangling "b"
2021-06-26 01:32:33 <fYnch> welp, time to pay the piper for me. This was when i was first learning haskell and I never really understood how it was interacting with the compiler, it looks like theres now a cleaner way to tell it
2021-06-26 01:32:47 <fYnch> it looks like something like this and reworking the rest of the source to play with it will get the same result
2021-06-26 01:34:49 <fYnch> nope, reading through the ghc docs i'm lost again. I think type famly dependencies is what i'm after but it looks like the syntax has changed a bit, rtfm'ing
2021-06-26 01:34:56 → spruit11 joins (~quassel@2a02:a467:ccd6:1:f4be:52a3:d576:1567)
2021-06-26 01:38:48 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-26 01:40:19 <shachaf> I don't know what the code is trying to accomplish.
2021-06-26 01:41:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-26 01:44:19 <fYnch> i'm still wrestling with it I think i spoke up too soon. I'm going to wrestle more till sunday evening and come back with a better understanding of how it was working. I believe this was origonally compiling against ghc 7.x
2021-06-26 01:45:41 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Read error: Connection reset by peer)
2021-06-26 01:45:51 → fizbin_ joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-26 01:47:25 → ph88^ joins (~ph88@2a02:8109:9e00:7e5c:413d:a4c8:b301:6764)
2021-06-26 01:47:58 → norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-06-26 01:49:12 → warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e)
2021-06-26 01:51:13 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:65ac:7b6b:22bc:47ee) (Ping timeout: 250 seconds)
2021-06-26 01:53:23 × warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Ping timeout: 250 seconds)
2021-06-26 01:58:42 × oxide quits (~lambda@user/oxide) (Ping timeout: 240 seconds)
2021-06-26 01:58:42 × fizbin_ quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-26 02:00:59 → oxide joins (~lambda@user/oxide)
2021-06-26 02:02:15 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2021-06-26 02:03:14 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-06-26 02:05:27 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-26 02:06:31 → dajoer joins (~david@user/gvx)
2021-06-26 02:11:16 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-06-26 02:14:16 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-26 02:15:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-26 02:16:27 × juhp quits (~juhp@128.106.188.66) (Quit: juhp)
2021-06-26 02:16:41 → juhp joins (~juhp@128.106.188.66)
2021-06-26 02:19:07 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-06-26 02:21:15 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev)
2021-06-26 02:22:41 → warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e)
2021-06-26 02:22:48 × warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection)
2021-06-26 02:24:39 → myShoggoth joins (~myShoggot@75.164.29.44)
2021-06-26 02:25:10 <jophish> the Dependencies section on Hackage doesn't seem to include custom setup dependencies
2021-06-26 02:25:18 <jophish> (or tests or benchmarks which I agree with)
2021-06-26 02:26:51 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
2021-06-26 02:28:44 × zebrag_ quits (~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-26 02:29:30 × myShoggoth quits (~myShoggot@75.164.29.44) (Ping timeout: 258 seconds)
2021-06-26 02:30:15 → myShoggoth joins (~myShoggot@75.164.29.44)
2021-06-26 02:32:29 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-06-26 02:32:29 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (platinum.libera.chat (Nickname regained by services)))
2021-06-26 02:32:29 finn_elija is now known as FinnElija
2021-06-26 02:32:43 × TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-06-26 02:39:01 × hammock quits (~Hammock@2600:1700:19a1:3330::625) (Ping timeout: 272 seconds)
2021-06-26 02:41:11 <fYnch> yeah, that was wierd, i don't know what i was smoking or eating or drinking when making that choice, but theres no reason for that wierd constraint on the class with TypeFamilyDependencies
2021-06-26 02:41:23 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-06-26 02:41:25 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-06-26 02:41:34 <fYnch> shachaf: ^
2021-06-26 02:41:58 × egoist1 quits (~egoist@186.235.82.7) (Quit: WeeChat 3.2)
2021-06-26 02:42:01 <fYnch> shachaf: thanks for looking at it earlier, I may never know how it ended up being that way
2021-06-26 02:43:54 × fYnch quits (~mike@174.127.249.180) (Remote host closed the connection)
2021-06-26 02:45:56 → Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-06-26 02:48:25 <sm[m]> mason0: ok, that's good to know. It would be strange if time did not do the right thing!
2021-06-26 02:49:16 × Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 244 seconds)
2021-06-26 02:52:42 × td_ quits (~td@94.134.91.180) (Ping timeout: 272 seconds)
2021-06-26 02:53:55 → td_ joins (~td@muedsl-82-207-238-164.citykom.de)
2021-06-26 02:58:23 × stevenxl quits (~stevenlei@174.128.179.103) (Ping timeout: 250 seconds)
2021-06-26 03:02:21 → stevenxl joins (~stevenlei@174.128.182.196)
2021-06-26 03:03:43 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-06-26 03:09:22 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-06-26 03:10:31 × norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 258 seconds)
2021-06-26 03:14:25 <Boarders> Are there any papers that explain how the haskell runtime system works in some high level way?
2021-06-26 03:15:31 <Boarders> the one I found is "Runtime support for multicore haskell" but interested in other resources
2021-06-26 03:18:55 → teaSlurper joins (~chris@81.96.113.213)
2021-06-26 03:22:29 <hololeap> Boarders: there's various resources for different aspects of it. is there anything in particular you're interested in?
2021-06-26 03:22:57 × bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-06-26 03:27:25 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds)
2021-06-26 03:27:42 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-26 03:28:14 <Boarders> I'm kind of interested in how to write a RTS for a toy language myself so mostly just looking to pick up some wisdom
2021-06-26 03:28:28 <Boarders> @hololeap
←Prev  Next→
Page 1 .. 656 657 658 659 660 661 662 663 664 665 666 .. 18013

All times are in UTC.