Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 .. 5022
— 502,152 events total
2021-03-06 03:39:28 <lambdabot> Data.ByteString.Lazy snoc :: ByteString -> Word8 -> ByteString
2021-03-06 03:39:37 <swarmcollective> Oh, and ByteString
2021-03-06 03:39:56 → stree joins (~stree@68.36.8.116)
2021-03-06 03:41:18 × theDon quits (~td@muedsl-82-207-238-191.citykom.de) (Ping timeout: 245 seconds)
2021-03-06 03:41:51 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-06 03:43:14 → theDon joins (~td@94.134.91.205)
2021-03-06 03:43:24 × cartwright quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-03-06 03:44:40 <monochrom> koz_: I'm pretty sure "guard e >> \p -> D[ e | Q ]" was caused by a typo, someone couldn't make up their mind whether to use ">> no lambda" or ">>= \p". Scroll down to see there is another copy-paste typo: "(>>) GHC.Base m1 t1 -> m2 t2 -> m3 t3"
2021-03-06 03:44:56 <koz_> monochrom: Someone should probably look into that.
2021-03-06 03:44:58 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-06 03:44:59 <koz_> Who do I prod?
2021-03-06 03:45:48 → cartwright joins (~chatting@gateway/tor-sasl/cantstanya)
2021-03-06 03:46:41 <monochrom> Hrm, I may be wrong about that last one, it's standard practice to have "every type variable is a fresh variable initially" before and during type inference.
2021-03-06 03:49:44 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38)
2021-03-06 03:50:21 × Waifod quits (Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 264 seconds)
2021-03-06 03:51:10 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-chfbleysvpyzerwt) ()
2021-03-06 03:52:19 <monochrom> I don't actually know.
2021-03-06 03:52:33 <monochrom> Maybe #ghc first.
2021-03-06 03:55:52 → elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-06 04:00:57 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-06 04:01:13 × bigbosskor quits (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer)
2021-03-06 04:01:29 × Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 260 seconds)
2021-03-06 04:02:07 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 276 seconds)
2021-03-06 04:02:16 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-06 04:02:34 × andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-03-06 04:02:42 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2021-03-06 04:03:12 → andreas31 joins (~andreas@gateway/tor-sasl/andreas303)
2021-03-06 04:06:39 → bigbosskor joins (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th)
2021-03-06 04:07:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-06 04:07:14 × zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-06 04:07:34 × bigbosskor quits (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer)
2021-03-06 04:12:53 → Tene joins (~tene@mail.digitalkingdom.org)
2021-03-06 04:12:53 × Tene quits (~tene@mail.digitalkingdom.org) (Changing host)
2021-03-06 04:12:53 → Tene joins (~tene@poipu/supporter/slacker/tene)
2021-03-06 04:13:36 → ByronJohnson joins (~bairyn@unaffiliated/bob0)
2021-03-06 04:13:55 × elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0)
2021-03-06 04:18:16 → bigbosskor joins (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th)
2021-03-06 04:18:20 × bigbosskor quits (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer)
2021-03-06 04:18:53 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-06 04:21:34 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-03-06 04:21:39 × apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 265 seconds)
2021-03-06 04:21:54 → bigbosskor joins (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th)
2021-03-06 04:21:54 × bigbosskor quits (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer)
2021-03-06 04:23:41 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-06 04:24:01 × Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-06 04:29:43 × MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-03-06 04:30:25 → MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-06 04:35:04 → bigbosskor joins (~Android@223.204.246.6)
2021-03-06 04:38:01 × bigbosskor quits (~Android@223.204.246.6) (Read error: Connection reset by peer)
2021-03-06 04:38:56 × aarvar quits (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds)
2021-03-06 04:39:08 → aarvar joins (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb)
2021-03-06 04:39:42 → locrian9 joins (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net)
2021-03-06 04:47:44 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-06 04:48:46 → forgottenone joins (~forgotten@176.42.24.161)
2021-03-06 04:50:21 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-06 04:50:24 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38)
2021-03-06 04:51:31 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) (Client Quit)
2021-03-06 04:52:13 → bigbosskor joins (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th)
2021-03-06 04:53:03 × bigbosskor quits (~Android@mx-ll-223.204.246-6.dynamic.3bb.co.th) (Read error: Connection reset by peer)
2021-03-06 04:53:20 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38)
2021-03-06 04:53:20 × carlomagno quits (~cararell@148.87.23.13) (Quit: Leaving.)
2021-03-06 04:56:54 → notzmv joins (~zmv@unaffiliated/zmv)
2021-03-06 05:08:32 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds)
2021-03-06 05:09:29 → redmp joins (~redmp@172.58.35.93)
2021-03-06 05:16:14 × petersen quits (~petersen@redhat/juhp) (Quit: petersen)
2021-03-06 05:16:53 → petersen joins (~petersen@redhat/juhp)
2021-03-06 05:26:21 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-03-06 05:27:04 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-06 05:28:36 → tst_username joins (~user@60-241-202-64.tpgi.com.au)
2021-03-06 05:29:01 × cartwright quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-03-06 05:31:16 → cartwright joins (~chatting@gateway/tor-sasl/cantstanya)
2021-03-06 05:31:56 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-03-06 05:33:21 × tst_username quits (~user@60-241-202-64.tpgi.com.au) (Quit: ERC (IRC client for Emacs 27.1))
2021-03-06 05:34:11 <arahael> Hmm, as a newbie question... How do I test something that incidentially uses IO? Eg, I want to test functionFoo :: IO Foo
2021-03-06 05:34:37 <arahael> I've tried to use Tasty (with HUnit) but I can't figure out the api to call it.
2021-03-06 05:35:53 <arahael> that is, I've tried: tests = testGroup "Example" [ testCase "When testing Foo" $ (functionFoo) @?= 42 ]
2021-03-06 05:37:18 <heck-to-the-gnom> use io? lowercase, that is. I'm not certain about that exact scenario, but that's what I've seen around
2021-03-06 05:37:31 <heck-to-the-gnom> e.g `io functionFoo`
2021-03-06 05:37:47 <arahael> Hmm, where do I find that function?
2021-03-06 05:38:12 <heck-to-the-gnom> I suppose it depends on which types you're using
2021-03-06 05:38:17 <heck-to-the-gnom> @hoogle io
2021-03-06 05:38:17 <lambdabot> Data.GI.CodeGen.Type io :: TypeRep -> TypeRep
2021-03-06 05:38:17 <lambdabot> Weigh io :: NFData a => String -> (b -> IO a) -> b -> Weigh ()
2021-03-06 05:38:17 <lambdabot> XMonad.Core io :: MonadIO m => IO a -> m a
2021-03-06 05:38:52 <arahael> heck-to-the-gnom: Yeah, when I look at the docs for tasty, it seems that the form I'm using there requires that it only implements Show and Eq.
2021-03-06 05:39:14 <heck-to-the-gnom> Perhaps I'm incorrect in this scenario, idk
2021-03-06 05:39:34 <arahael> I'm thinking that I probably can't do this using tasty. (But it looks like I can do it with raw HUnit...)
2021-03-06 05:39:37 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2021-03-06 05:40:43 <heck-to-the-gnom> Wait, how come you're using multiple test packages?
2021-03-06 05:41:39 <arahael> heck-to-the-gnom: It's stolen from the example in https://hackage.haskell.org/package/tasty
2021-03-06 05:41:43 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-06 05:41:53 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds)
2021-03-06 05:42:39 <heck-to-the-gnom> And, you haven't deviated from the example?
2021-03-06 05:42:44 → machinedgod joins (~machinedg@24.105.81.50)
2021-03-06 05:44:01 <heck-to-the-gnom> Oh, I understand your question better now, you're trying to test an IO function within the non-io context
2021-03-06 05:44:07 <arahael> heck-to-the-gnom: Exactly.
2021-03-06 05:44:58 <arahael> heck-to-the-gnom: Or alternatively, a better way of testing such functions. Note, these functions are arguably have no side effects and do not depend on external state.
2021-03-06 05:45:12 <arahael> They just happen to require executing within the IO monad.
2021-03-06 05:45:15 → Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-03-06 05:45:44 <heck-to-the-gnom> Perhaps a do statement could be of help here
←Prev  Next→
Page 1 .. 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 .. 5022

All times are in UTC.