Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 233 234 235 236 237 238 239 240 241 242 243 .. 17972
— 1,797,197 events total
2021-06-01 21:45:30 → ddellacosta joins (~ddellacos@89.45.224.40)
2021-06-01 21:45:51 × bfrk quits (~Thunderbi@200116b84593d400e083e41adfb91d63.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2021-06-01 21:46:26 → notzmv joins (~zmv@user/notzmv)
2021-06-01 21:47:15 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2021-06-01 21:50:06 × ddellacosta quits (~ddellacos@89.45.224.40) (Ping timeout: 264 seconds)
2021-06-01 21:51:24 × sheepduck quits (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection)
2021-06-01 21:52:27 → vdukhovni joins (~vdukhovni@100.2.39.101)
2021-06-01 21:53:14 × Digit quits (~user@user/digit) (Ping timeout: 265 seconds)
2021-06-01 21:54:14 → beka joins (~beka@104.193.170-254.PUBLIC.monkeybrains.net)
2021-06-01 21:54:18 × mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-01 21:56:06 → sheepduck joins (~sheepduck@2607:fea8:2a60:b700::8a94)
2021-06-01 21:56:56 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-01 22:00:30 <novasenco> davean, well, I did ghcup tui and then installed latest ghc and set it. Then, for some reason, it also updated c2hs, though I don't know how or why. And it looks like alsa-mixer is installing ^u^
2021-06-01 22:00:41 → dutchgriffon joins (~laurens@2604:3d08:4383:6200:14a:dacb:8b69:ead6)
2021-06-01 22:00:43 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
2021-06-01 22:01:22 <novasenco> (ie, I installed prereleast,base-4.16.0.0)
2021-06-01 22:01:28 <novasenco> s/st/se
2021-06-01 22:01:52 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-01 22:02:56 × haskman quits (~haskman@106.201.8.96) (Quit: Going to sleep. ZZZzzz…)
2021-06-01 22:03:19 → blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net)
2021-06-01 22:03:23 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-06-01 22:03:58 <novasenco> sike. It failed with the same error; it just took longer.
2021-06-01 22:04:05 → ddellacosta joins (~ddellacos@86.106.143.209)
2021-06-01 22:04:48 × bor0 quits (~boro@user/bor0) (Quit: Leaving)
2021-06-01 22:06:42 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-01 22:08:01 <blankhart> is there a canonical discussion of how to implement higher kinded types? (as a compiler writer not as a language user)
2021-06-01 22:10:03 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection)
2021-06-01 22:10:23 <geekosaur> novasenko, either downgrade gcc (if possible) or wait for https://github.com/haskell/c2hs/issues/268 to be fixed
2021-06-01 22:12:24 <ski> blankhart : allow type variables to have arbitrary kind ?
2021-06-01 22:12:25 × sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 245 seconds)
2021-06-01 22:12:50 <blankhart> looks like i may have been looking for TAPL ch 29
2021-06-01 22:13:24 × xwx quits (~george@user/george) (Quit: WeeChat 3.1)
2021-06-01 22:15:12 <novasenco> geekosaur, I be waiting -_- In the meantime, at least I have my handy dandy script bound to xmonad key bindings https://gist.github.com/novasenco/a048f34753cc3eb76eef7da5e8b59ee4
2021-06-01 22:15:17 × myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-06-01 22:16:15 <novasenco> (eg, vol -i, vol -d, and vol to (resp) increase vol to nearest mult of 5, decrease vol to nearest multiple of 5, or show volume - all of them use notify-send to show volume. works for now. thanks for your help.)
2021-06-01 22:18:13 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-01 22:18:53 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-06-01 22:19:03 → janus joins (janus@anubis.0x90.dk)
2021-06-01 22:19:23 <janus> i am trying to build with profiling, so i put "profiling: true" in cabal.project
2021-06-01 22:19:43 <janus> but a transitive dependency called convertible (from hdbc) is failing
2021-06-01 22:19:56 <janus> the error message is https://paste.tomsmeding.com/KDHTbbaa
2021-06-01 22:20:06 → hendursaga joins (~weechat@user/hendursaga)
2021-06-01 22:20:26 <janus> how can the profiling libraries for that package be missing? wouldn't cabal know whether it needs rebuilding?
2021-06-01 22:26:41 × dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 264 seconds)
2021-06-01 22:26:44 <janus> is this even the right channel for that question? guess it isn't really specific to haskell the language
2021-06-01 22:26:49 <janus> but i don't know of a cabal channel
2021-06-01 22:27:22 <monochrom> This is the right channel, but I haven't run into that kind of problem so I have no answer.
2021-06-01 22:28:46 <janus> i have ghc from ghcup so it should support profiling (i say that because previously i was using OS packages where you'd have to get that in a separate package)
2021-06-01 22:29:51 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9)
2021-06-01 22:31:39 × tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-06-01 22:31:53 <janus> i suspect it may be somewith with convertible being so old, seems like it wasn't updated for years: https://github.com/hdbc/convertible
2021-06-01 22:32:18 <janus> but on the other hand, it has "Build-Type: Simple", so that shouldn't cause problems...
2021-06-01 22:32:24 × dragestil quits (~quassel@180-150-39-25.b49627.bne.nbn.aussiebb.net) (Changing host)
2021-06-01 22:32:24 → dragestil joins (~quassel@user/dragestil)
2021-06-01 22:32:24 <dminuoso> Lets say I really wanted to override an existing Show instance, I dont care whether its dirty. Do I have any options?
2021-06-01 22:33:05 <dminuoso> I have just 2 types, that occur deeply nested in my data types that have a very unsuitable Show instance. And Im *really* fine with Show otherwise for this output.
2021-06-01 22:33:28 <dminuoso> Or is forking my best bet here?
2021-06-01 22:33:39 <dminuoso> (that is, forking the library that introduces the undesirable Show instance)
2021-06-01 22:34:31 <geekosaur> I don't think overlapping will work if the instance heads are identical (I may be wrong) so forking may be your only alternative
2021-06-01 22:35:18 × vdukhovni quits (~vdukhovni@100.2.39.101) (Quit: Client closed)
2021-06-01 22:35:26 <dminuoso> mmm, perhaps I should just try overlapping instances then
2021-06-01 22:35:29 → is7s joins (~is7s@2a01:4b00:895f:3d00:a806:e7e7:5179:550e)
2021-06-01 22:36:02 <janus> now i wonder what happens if you have two instances, where one requires a 'trivial' constraint like HasCallStack ... hmm
2021-06-01 22:36:11 × hrnz quits (~ulli@cherry.hrnz.li) (Quit: das ist mir zu bld hier; bb)
2021-06-01 22:36:23 → hrnz joins (~ulli@cherry.hrnz.li)
2021-06-01 22:38:16 × GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Ping timeout: 268 seconds)
2021-06-01 22:38:33 → zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-06-01 22:38:37 <hpc> constraints don't count for instance resolution
2021-06-01 22:39:26 <hpc> so like, "instance Applicative f => Monad f" resolves the same as "instance Monad f"
2021-06-01 22:39:43 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-06-01 22:39:44 → bfrk joins (~Thunderbi@200116b84593d400e083e41adfb91d63.dip.versatel-1u1.de)
2021-06-01 22:40:05 → geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-01 22:40:45 <monochrom> To get dirty, the "reflection" package, or the idea within, may help, I forgot whether it does help. But the idea is you can supply a record value and convert it to a class dictionary and sneak it in by a backdoor, so now without newtyping you can change the dictionary at will.
2021-06-01 22:40:55 ← is7s parts (~is7s@2a01:4b00:895f:3d00:a806:e7e7:5179:550e) ()
2021-06-01 22:41:03 → is7s joins (~is7s@2a01:4b00:895f:3d00:a806:e7e7:5179:550e)
2021-06-01 22:41:09 → GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25)
2021-06-01 22:41:11 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-01 22:41:37 ← is7s parts (~is7s@2a01:4b00:895f:3d00:a806:e7e7:5179:550e) ()
2021-06-01 22:42:30 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-01 22:43:54 <dminuoso> Mmm, I dont understand the phrasing in https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/instances.html
2021-06-01 22:44:12 → is7s joins (~is7s@2a01:4b00:895f:3d00:a806:e7e7:5179:550e)
2021-06-01 22:44:13 <dminuoso> Naively I'd expect `instance {-# OVERLAPPING #-} Show T` to just work
2021-06-01 22:44:34 <dminuoso> % instance {-# OVERLAPPING #-} Show Int where show _ = "foo"
2021-06-01 22:44:34 <yahb> dminuoso: ; <interactive>:15:30: error:; Duplicate instance declarations:; instance [overlapping] Show Int -- Defined at <interactive>:15:30; instance Show Int -- Defined in `GHC.Show'
2021-06-01 22:45:15 <monochrom> overlapping still wants to see at most one match. It is incoherentinstances that is happy with multiple matches just randomly pick one.
2021-06-01 22:45:24 <janus> hpc: aaaah right, makes sense! and i see it in the ghc user guide link that dminuoso provided
2021-06-01 22:45:33 <dminuoso> monochrom: Oh that might be acceptable!
2021-06-01 22:45:53 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-06-01 22:45:55 <monochrom> If it picks the one you hate, please don't cry. :)
2021-06-01 22:46:54 <dminuoso> Well Ill debug GHC and see how I can massage it into picking the right one :>
2021-06-01 22:47:22 <dminuoso> Mmm
2021-06-01 22:47:26 <dminuoso> % instance {-# INCOHERENT #-} Show Int where show _ = "foo"
2021-06-01 22:47:26 <yahb> dminuoso: ; <interactive>:16:29: error:; Duplicate instance declarations:; instance [incoherent] Show Int -- Defined at <interactive>:16:29; instance Show Int -- Defined in `GHC.Show'
2021-06-01 22:48:01 <monochrom> I guess I worded wrong. s/at most one match/a single match that is more specific than all other matches/
2021-06-01 22:48:19 <dminuoso> Yeah. I guess IncoherentInstances only works if the matches are not most specific
2021-06-01 22:48:45 × niflce quits (~IceChat95@user/niflce) (Ping timeout: 268 seconds)
2021-06-01 22:48:57 <monochrom> If you have two incomparable matches, then it's incoherentinstances.
2021-06-01 22:50:03 → boioioing joins (~boioioing@cpe-76-84-141-127.neb.res.rr.com)
2021-06-01 22:50:48 <dminuoso> Why wont GHC let me just specify "discard this dictionary from a package" :(
2021-06-01 22:57:48 → derelict joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
←Prev  Next→
Page 1 .. 233 234 235 236 237 238 239 240 241 242 243 .. 17972

All times are in UTC.