Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 611 612 613 614 615 616 617 618 619 620 621 .. 5022
— 502,152 events total
2020-10-13 11:43:48 <kuribas> Uniaika: although I think your case match is a good way BTW...
2020-10-13 11:44:00 <kuribas> because it clearly shows you want exclusive or.
2020-10-13 11:44:05 <merijn> Anyone know how to avoid "redundant import" warnings for "Data.Monoid ((<>))" on GHC >8.2 in a way that doesn't break GHC 8.0-8.2
2020-10-13 11:44:22 <Uniaika> merijn: I'm going to say the bad word but…
2020-10-13 11:44:23 <Uniaika> CPP?
2020-10-13 11:44:30 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds)
2020-10-13 11:45:28 → Buntspecht joins (~user@unaffiliated/siracusa)
2020-10-13 11:48:52 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus)
2020-10-13 11:49:02 <kuribas> CPP :)
2020-10-13 11:50:39 × cpressey quits (~cpressey@88.144.68.224) (Quit: wvw /o/ /o/ /o/)
2020-10-13 11:51:15 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-13 11:51:21 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-10-13 11:51:50 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Remote host closed the connection)
2020-10-13 11:54:51 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-13 12:00:01 × phillip quits (~phillip@178.162.204.214) ()
2020-10-13 12:00:27 → Wuzzy joins (~Wuzzy@p549c9d2d.dip0.t-ipconnect.de)
2020-10-13 12:01:14 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-13 12:02:59 × totbwf quits (sid402332@gateway/web/irccloud.com/x-auttreoigxuilyba) (Ping timeout: 240 seconds)
2020-10-13 12:03:37 × bradparker quits (sid262931@gateway/web/irccloud.com/x-dvycqqnustcjicgg) (Ping timeout: 246 seconds)
2020-10-13 12:03:39 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-13 12:03:47 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-zcpyidnqxtmhuisv) (Ping timeout: 240 seconds)
2020-10-13 12:03:56 → bradparker joins (sid262931@gateway/web/irccloud.com/x-kzdpaybrmmwnrdgh)
2020-10-13 12:03:58 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-cvawhvfjdshsscgr)
2020-10-13 12:03:58 → totbwf joins (sid402332@gateway/web/irccloud.com/x-ymdhjktodciveoos)
2020-10-13 12:03:59 → lally_ joins (sid388228@gateway/web/irccloud.com/x-gjvzovhllmqfgnqi)
2020-10-13 12:03:59 → wpcarro_ joins (sid397589@gateway/web/irccloud.com/x-ycncefjlbxwjrjeb)
2020-10-13 12:04:01 → natim87_ joins (sid286962@gateway/web/irccloud.com/x-hbpjyobuzuhwywke)
2020-10-13 12:04:07 → davetapley_ joins (sid666@gateway/web/irccloud.com/x-cretwjqzdceozsvl)
2020-10-13 12:04:30 → urodna joins (~urodna@unaffiliated/urodna)
2020-10-13 12:04:57 × lally quits (sid388228@gateway/web/irccloud.com/x-lstpiuaiwaadwufc) (Ping timeout: 258 seconds)
2020-10-13 12:04:57 lally_ is now known as lally
2020-10-13 12:05:12 × davetapley quits (sid666@gateway/web/irccloud.com/x-djoktstvzubeecxm) (Ping timeout: 260 seconds)
2020-10-13 12:05:13 × wpcarro quits (sid397589@gateway/web/irccloud.com/x-dhrgdbgzbcfpxeys) (Ping timeout: 260 seconds)
2020-10-13 12:05:13 × natim87 quits (sid286962@gateway/web/irccloud.com/x-uvpnvingawevahjl) (Ping timeout: 260 seconds)
2020-10-13 12:05:13 davetapley_ is now known as davetapley
2020-10-13 12:05:13 natim87_ is now known as natim87
2020-10-13 12:05:13 wpcarro_ is now known as wpcarro
2020-10-13 12:05:55 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-13 12:06:58 hackage termonad 4.0.1.1 - Terminal emulator configurable in Haskell https://hackage.haskell.org/package/termonad-4.0.1.1 (cdepillabout)
2020-10-13 12:06:59 × Shun131 quits (sid377723@gateway/web/irccloud.com/x-qfflzmcznnjkrwrn) (Quit: Connection closed for inactivity)
2020-10-13 12:07:09 → drbean joins (~drbean@TC210-63-209-63.static.apol.com.tw)
2020-10-13 12:08:17 → Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com)
2020-10-13 12:09:20 <merijn> I just got rid of all the CPP :(
2020-10-13 12:10:47 <Uniaika> I know, I know…
2020-10-13 12:10:51 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-13 12:11:29 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-13 12:13:36 × lemmih__ quits (~lemmih@218.186.157.57) (Remote host closed the connection)
2020-10-13 12:13:43 <merijn> hmm, a change in examples probably doesn't warrant a new release
2020-10-13 12:14:04 → lemmih__ joins (~lemmih@2406:3003:2072:44:9dc:f2e9:a002:8d1a)
2020-10-13 12:14:20 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 256 seconds)
2020-10-13 12:15:24 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-10-13 12:15:46 → bitmagie joins (~Thunderbi@200116b806d3630091dfc145cf082aaa.dip.versatel-1u1.de)
2020-10-13 12:16:51 <kuribas> merijn: do you know a better way to deal with breaking changes?
2020-10-13 12:16:56 <kuribas> like the semigroup stuff
2020-10-13 12:17:08 <merijn> kuribas: There's usually a migration guide with GHC
2020-10-13 12:17:19 <kuribas> merijn: which recommends cpp...
2020-10-13 12:17:36 <merijn> And the rule is that backwards compat for 3 releases should be possible without CPP
2020-10-13 12:20:08 × John20 quits (~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-10-13 12:22:56 <hekkaidekapus> dminuoso: After some light sleuthing, the OutsideIn algorithm seems to be implemented as described in the paper, more or less. I would succinctly answer this to your original question: no matter how involved a method’s constraints are, the solving will boil down to generating implicits and using them as evidence.
2020-10-13 12:24:49 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-13 12:25:38 <dminuoso> hekkaidekapus: Fair enough, the reason Im asking is, Ive been staring at a mail on haskell-cafe for so long, Im starting to think there's a bug in the instance selection algorithm.
2020-10-13 12:26:19 <dminuoso> Where GHC selects an instance despite overlapping instances existing.
2020-10-13 12:26:53 <dminuoso> The video though I think helped, since it explained roughly how the constraint checking on instances with context works.
2020-10-13 12:27:00 <tomjaguarpaw> dminuoso: The Wrapper (Maybe a) mail?
2020-10-13 12:27:03 <dminuoso> tomjaguarpaw: Yeah.
2020-10-13 12:27:09 <tomjaguarpaw> I was also puzzled by that.
2020-10-13 12:27:27 <hekkaidekapus> dminuoso, tomjaguarpaw: link?
2020-10-13 12:28:21 <tomjaguarpaw> https://mail.haskell.org/pipermail/haskell-cafe/2020-October/132815.html
2020-10-13 12:28:28 <hekkaidekapus> Thanks.
2020-10-13 12:28:58 hackage hwk 0.5 - Commandline text processing with Haskell functions https://hackage.haskell.org/package/hwk-0.5 (JensPetersen)
2020-10-13 12:29:17 → JordiGH joins (jordi@octave/developer/JordiGH)
2020-10-13 12:30:39 → st8less joins (~st8less@2603:a060:11fd:0:8a9:7e3f:adb9:77d2)
2020-10-13 12:31:43 × st8less quits (~st8less@2603:a060:11fd:0:8a9:7e3f:adb9:77d2) (Client Quit)
2020-10-13 12:32:02 <dminuoso> % newtype Foo = Foo Int; instance {-# OVERLAPS #-} Show (Maybe Foo) where show _ = "foo"
2020-10-13 12:32:03 <yahb> dminuoso:
2020-10-13 12:32:10 <dminuoso> % newtype W a = W (Maybe a); instance Show a => Show (W a) where show (W a) = show a
2020-10-13 12:32:11 <yahb> dminuoso:
2020-10-13 12:32:14 <dminuoso> % foo :: Show a => W a -> String; foo a = show a
2020-10-13 12:32:14 <yahb> dminuoso:
2020-10-13 12:32:16 <dminuoso> This should be rejected.
2020-10-13 12:32:28 <dminuoso> (Unless IncoherentInstances was enabled)
2020-10-13 12:32:49 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:842d:ee09:f1b5:9acd)
2020-10-13 12:33:42 <dminuoso> % foo' :: Show a => Maybe a -> String; foo' a = show a
2020-10-13 12:33:43 <yahb> dminuoso: ; <interactive>:9:47: error:; * Overlapping instances for Show (Maybe a) arising from a use of `show'; Matching instances:; instance Show a => Show (Maybe a) -- Defined in `GHC.Show'; instance [overlap ok] [safe] Show (Maybe Foo) -- Defined at <interactive>:5:50; instance [overlap ok] [safe] Show (Maybe Ghci4.Foo) -- Defined at <interactive>:1:50; (The choice depen
2020-10-13 12:33:47 ← JordiGH parts (jordi@octave/developer/JordiGH) ()
2020-10-13 12:34:01 <ClaudiusMaximus> % foo (W Nothing) -- just checking what happens at point of use
2020-10-13 12:34:01 <yahb> ClaudiusMaximus: "Nothing"
2020-10-13 12:35:37 <ClaudiusMaximus> % foo (W (Just (Foo 1))) -- just checking what happens at point of use
2020-10-13 12:35:38 <yahb> ClaudiusMaximus: ; <interactive>:11:1: error:; * No instance for (Show Foo) arising from a use of `foo'; * In the expression: foo (W (Just (Foo 1))); In an equation for `it': it = foo (W (Just (Foo 1)))
2020-10-13 12:35:45 <dminuoso> It seems, that the deferring the constraint `Show (Maybe a)` changes how instance is selected.
2020-10-13 12:36:32 <dminuoso> If that was the case, it could imply that GHC falsely generates incoherent code.
2020-10-13 12:37:12 <dminuoso> I tried debugging the type checker with a minimal program, but -ddump-tc-trace generated 5k lines of output..
2020-10-13 12:37:20 <dminuoso> The manual did *not* lie when it said it would be real chatty.
2020-10-13 12:37:35 × bitmagie quits (~Thunderbi@200116b806d3630091dfc145cf082aaa.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-13 12:37:42 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-13 12:38:23 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:842d:ee09:f1b5:9acd) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-13 12:38:30 <dminuoso> I think, if nobody else does it, Ill file a bug report. Either the GHC manual is incorrect, or GHC is buggy. One has to be the case here.
2020-10-13 12:38:57 <merijn> Time for everyone's daily reminder of the invaluable service of packdeps having an RSS feed when you need to bump your package bounds ;)
2020-10-13 12:39:38 <merijn> dminuoso: pfft, you're missing an alternative
2020-10-13 12:39:43 <merijn> dminuoso: They could *both* be wrong :p
←Prev  Next→
Page 1 .. 611 612 613 614 615 616 617 618 619 620 621 .. 5022

All times are in UTC.