Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 .. 5022
— 502,152 events total
2020-11-16 07:13:18 <dminuoso> glguy: What's the meaning of `TF Bool` without a kind signature then?
2020-11-16 07:14:10 <dminuoso> % type instance TF Bool = Int
2020-11-16 07:14:10 <yahb> dminuoso: ; <interactive>:103:15: error:; Conflicting family instance declarations:; TF Bool = * -- Defined at <interactive>:103:15; TF Bool = Int -- Defined at <interactive>:123:15
2020-11-16 07:14:12 <dminuoso> % type instance TF Bool = Const
2020-11-16 07:14:13 <yahb> dminuoso: ; <interactive>:119:15: error:; Conflicting family instance declarations:; TF Bool = (->) -- Defined at <interactive>:119:15; forall {k}. TF Bool = Const -- Defined at <interactive>:124:15
2020-11-16 07:14:14 <dminuoso> Oh
2020-11-16 07:14:18 <glguy> % :kind! TF Bool :: * -> * -> *
2020-11-16 07:14:18 <yahb> glguy: * -> * -> *; = (->)
2020-11-16 07:14:32 <glguy> % :kind! TF Bool :: *
2020-11-16 07:14:32 <yahb> glguy: *; = *
2020-11-16 07:14:35 <dminuoso> Interesting, so this tyfam is essentially parametrized over not just a type, but a kind as well?
2020-11-16 07:15:07 <glguy> Yeah, this is relying on PolyKinds to work
2020-11-16 07:15:30 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 07:15:42 × mrchampion quits (~mrchampio@216-211-57-41.dynamic.tbaytel.net) (Ping timeout: 256 seconds)
2020-11-16 07:16:20 <moet> soo.... this makes sense, kinda .. the result is polymorphic so we need to either infer or annotate the result for it to be computed
2020-11-16 07:16:25 <dminuoso> Is this interaction documented anywhere in the GHC manual? I cant seem to find a reference in either the tyfam nor polykinds sections
2020-11-16 07:17:45 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-16 07:18:25 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-16 07:18:41 <moet> glguy: dminuoso: thanks
2020-11-16 07:19:19 → bitmagie joins (~Thunderbi@200116b806468f00a548803c2a7d669f.dip.versatel-1u1.de)
2020-11-16 07:20:00 <dminuoso> glguy, moet: Ah I think I found a reference. It's a bit short but it's there https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/poly_kinds.html?highlight=polykinds#kind-inference-in-closed-type-families
2020-11-16 07:20:06 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:8491:5fed:8d7f:daad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-16 07:20:12 <dminuoso> So these are called "kind-indexed type families"
2020-11-16 07:20:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-16 07:21:07 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-16 07:21:44 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-16 07:22:09 <moet> i see that; it's rather brief... thank yo
2020-11-16 07:22:57 <moet> since my only purpose was to create typeclass instances of the RHS of this type family, it's not going to work i think.. i'll take to take another approach!
2020-11-16 07:26:35 → guest1116 joins (~user@49.5.6.87)
2020-11-16 07:27:05 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:903c:6f64:11e3:36e2) (Ping timeout: 272 seconds)
2020-11-16 07:28:20 → mrchampion joins (~mrchampio@216-26-218-246.dynamic.tbaytel.net)
2020-11-16 07:28:26 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-11-16 07:29:14 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-11-16 07:33:40 × Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-16 07:35:06 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-16 07:35:59 → thc202 joins (~thc202@unaffiliated/thc202)
2020-11-16 07:36:47 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-16 07:37:38 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-16 07:39:05 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:1774:2bb5:b05f:edf1)
2020-11-16 07:40:03 → asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-11-16 07:40:31 <glguy> What was the original thing you were trying to do?
2020-11-16 07:43:03 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-16 07:44:34 × bitmagie quits (~Thunderbi@200116b806468f00a548803c2a7d669f.dip.versatel-1u1.de) (Quit: bitmagie)
2020-11-16 07:45:58 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-11-16 07:47:50 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-16 07:49:46 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-16 07:50:02 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-11-16 07:52:43 <bahamas> how do I get out of multiline mode in ghci? meaning, I just pasted a multiline string and noticed that the prompt changed from "ghci> " to "Prelude|". using the command `:unset +m` didn't change the prompt
2020-11-16 07:53:12 ← zopsi_ parts (zopsi@2600:3c00::f03c:91ff:fe14:551f) ()
2020-11-16 07:54:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 07:54:49 <dminuoso> bahamas: :unset +m works for me
2020-11-16 07:55:01 <dminuoso> bahamas: Perhaps this only works outside a multiline block?
2020-11-16 07:56:01 <bahamas> dminuoso: ok, I found that Ctrl+D gets me back to `ghci> `. but the variable that I defined in the multiline mode is not available anymore
2020-11-16 07:56:30 <dminuoso> bahamas: Oh you mean manually leave a multiline block?
2020-11-16 07:56:41 <bahamas> I basically have a multiline string that I want to clean.
2020-11-16 07:56:57 <bahamas> that's what I'm trying to accomplish
2020-11-16 07:57:05 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-16 07:59:07 × xff0x quits (~fox@2001:1a81:529e:a500:712c:5a16:6a4b:9d48) (Ping timeout: 260 seconds)
2020-11-16 07:59:31 <dminuoso> % (&) = fromIntegral
2020-11-16 07:59:31 <yahb> dminuoso:
2020-11-16 07:59:35 <dminuoso> % (10&)
2020-11-16 07:59:36 <yahb> dminuoso: 10
2020-11-16 07:59:55 <dminuoso> Finally a non annoying way to use fromIntegral and realToFrac :>
2020-11-16 07:59:59 → xff0x joins (~fox@2001:1a81:529e:a500:a7e0:336:a54e:d7a5)
2020-11-16 08:00:33 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-16 08:00:49 <bahamas> ok, I guess multiline mode doesn't help with multiline strings
2020-11-16 08:01:07 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-16 08:01:28 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-16 08:02:15 → jedws joins (~jedws@101.184.175.183)
2020-11-16 08:02:28 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-16 08:04:19 <yushyin> dminuoso: lol
2020-11-16 08:05:48 × jedws quits (~jedws@101.184.175.183) (Client Quit)
2020-11-16 08:06:36 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-16 08:08:36 → alp joins (~alp@2a01:e0a:58b:4920:8cf5:bc2e:8b7a:9a8e)
2020-11-16 08:08:52 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-16 08:09:02 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-11-16 08:09:18 → zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f)
2020-11-16 08:11:25 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-16 08:11:38 → jedws joins (~jedws@101.184.175.183)
2020-11-16 08:15:01 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Quit: WeeChat 2.9)
2020-11-16 08:15:22 <merijn> dminuoso: I will haunt your dreams >.<
2020-11-16 08:16:04 <merijn> bahamas: tbh, I would just abandon multiline ghci use entirely, any "support" for it was ad hoc hacked into it
2020-11-16 08:17:31 → jespada joins (~jespada@90.254.245.49)
2020-11-16 08:19:49 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-11-16 08:20:15 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-11-16 08:21:01 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-16 08:25:53 → benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-hiupvfuftqbhepbs)
2020-11-16 08:28:11 × recon_-_ quits (~quassel@2602:febc:0:b6::6ca2) (Quit: No Ping reply in 180 seconds.)
2020-11-16 08:29:00 → Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-16 08:29:27 → recon_- joins (~quassel@2602:febc:0:b6::6ca2)
2020-11-16 08:29:33 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2020-11-16 08:30:20 → idhugo joins (~idhugo@users-1190.st.net.au.dk)
2020-11-16 08:30:56 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-16 08:31:31 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-16 08:33:45 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds)
2020-11-16 08:34:54 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-16 08:36:49 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds)
2020-11-16 08:38:22 × drbean quits (~drbean@TC210-63-209-39.static.apol.com.tw) (Ping timeout: 256 seconds)
2020-11-16 08:40:13 → Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 08:42:47 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 .. 5022

All times are in UTC.