Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 743 744 745 746 747 748 749 750 751 752 753 .. 5022
— 502,152 events total
2020-10-19 22:51:11 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-19 22:51:24 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-19 22:51:55 <koz_> OK, am I patently insane? I'm getting an error message which says 'Expected a type, but 'a' has kind 'Type''. This is in something like 'newtype Foo (a :: Type) = Foo (State (HashMap Bar Baz) a)'.
2020-10-19 22:54:32 <koz_> Apparently removing the :: Type part makes it OK?
2020-10-19 22:55:01 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-19 22:55:19 <koz_> What am I missing here?
2020-10-19 22:56:47 <MarcelineVQ> is that extra ' in 'Type'' intentional?
2020-10-19 22:57:06 <koz_> MarcelineVQ: That's me quoting the error message.
2020-10-19 22:57:13 <koz_> I shoudl really use double-quotes when quoting.
2020-10-19 22:57:38 → christo joins (~chris@81.96.113.213)
2020-10-19 22:58:11 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-19 22:59:16 <MarcelineVQ> Where are you importing Type from?
2020-10-19 23:00:06 <koz_> OH FFS
2020-10-19 23:00:11 <MarcelineVQ> :>>
2020-10-19 23:00:11 <koz_> That was it, thanks!
2020-10-19 23:00:23 <koz_> Shows how much TH I've written.
2020-10-19 23:00:30 <koz_> Both currently and up-to-now.
2020-10-19 23:00:47 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 258 seconds)
2020-10-19 23:00:50 <koz_> import qualified Data.Kind as Actual
2020-10-19 23:01:02 <koz_> newtype Foo (a :: Actual.Type) = ...
2020-10-19 23:01:04 <MarcelineVQ> When you see a ' it means promotion of a value constructor is occuring, afaik
2020-10-19 23:02:06 × polyrain quits (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 23:02:07 × ixlun quits (~matthew@213.205.241.94) (Read error: Connection reset by peer)
2020-10-19 23:02:11 <MarcelineVQ> It might occur for type constructors too, I'm not sure, but it's your hint that a datatype is being promoted and Data.Kind.Type isn't a datatype, I think
2020-10-19 23:02:43 <gnumonik> ixlun, Why do you wanna splice a name? I thought I wanted to do that when figuring out TH but it wasn't really what I needed every time I thought it was
2020-10-19 23:04:15 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-19 23:04:35 → dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net)
2020-10-19 23:05:39 → ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd)
2020-10-19 23:05:49 <hpc> there's a weird sort of humor to it being Data.Kind.Type and not Data.Type.Kind
2020-10-19 23:06:14 → christo joins (~chris@81.96.113.213)
2020-10-19 23:06:18 → polyrain joins (~polyrain@2001:8003:e501:6901:ec5c:488a:e80a:142b)
2020-10-19 23:06:31 <koz_> hpc: Lol.
2020-10-19 23:06:36 <MarcelineVQ> Type.Type.Kind.Type.Kind
2020-10-19 23:06:44 <koz_> If we're going for humour, we shoudl have Data.Type.Type.
2020-10-19 23:06:48 → mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-10-19 23:06:49 × refried_ quits (~textual@209.6.41.245) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-19 23:07:51 → p8m_ joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-19 23:07:51 <hpc> ("sort of humor" was an unintentional bonus pun)
2020-10-19 23:08:02 <MarcelineVQ> You've gone too far.
2020-10-19 23:08:15 <koz_> hpc: That was worthy of the 80s.
2020-10-19 23:08:22 <MarcelineVQ> Rewease the secwet weapon!
2020-10-19 23:08:24 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-19 23:08:55 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-19 23:09:04 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 272 seconds)
2020-10-19 23:10:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-19 23:10:45 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-19 23:12:02 <nshepperd> The Haskell type system is a kind sort
2020-10-19 23:15:17 × Lycurgus quits (~niemand@98.4.96.235) (Quit: Exeunt)
2020-10-19 23:17:44 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-19 23:18:11 → jedws joins (~jedws@121.209.161.98)
2020-10-19 23:18:43 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-10-19 23:21:58 hackage churros 0.1.5.0 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.5.0 (LyndonMaydwell)
2020-10-19 23:24:31 × ph88 quits (~ph88@ip5f5af0cc.dynamic.kabel-deutschland.de) (Quit: Leaving)
2020-10-19 23:25:01 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-19 23:25:23 × rdivacky quits (~rdivacky@212.96.173.4) (Ping timeout: 240 seconds)
2020-10-19 23:25:40 → rdivacky joins (~rdivacky@212.96.173.4)
2020-10-19 23:25:40 × taurux quits (~taurux@net-188-152-1-136.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2020-10-19 23:25:41 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-19 23:27:40 → taurux joins (~taurux@net-188-152-143-32.cust.dsl.teletu.it)
2020-10-19 23:28:02 × dhil quits (~dhil@195.213.192.122) (Ping timeout: 265 seconds)
2020-10-19 23:29:13 bairyn is now known as ByronJohnson
2020-10-19 23:29:56 → conal joins (~conal@64.71.133.70)
2020-10-19 23:35:07 <monochrom> I love puns. Keep them coming!
2020-10-19 23:36:35 → klixto joins (~klixto@130.220.8.137)
2020-10-19 23:38:30 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 23:39:07 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 258 seconds)
2020-10-19 23:40:32 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-10-19 23:41:34 → sfvm joins (~sfvm@37.228.215.148)
2020-10-19 23:41:36 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-19 23:41:40 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-19 23:43:18 × StoneToad_ quits (~StoneToad@199-167-119-214.ppp.storm.ca) (Ping timeout: 256 seconds)
2020-10-19 23:43:25 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-19 23:44:24 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-19 23:44:48 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-19 23:44:59 → codygman joins (~codygman@2600:380:f914:a1ca:eb25:85ee:c4a3:cd2e)
2020-10-19 23:46:24 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds)
2020-10-19 23:47:58 → StoneToad joins (~StoneToad@199-167-119-239.ppp.storm.ca)
2020-10-19 23:51:15 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-19 23:56:28 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-10-19 23:57:37 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-19 23:59:01 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-20 00:00:02 × Wolfy87 quits (~Wolfy87@89.47.234.28) ()
2020-10-20 00:05:44 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-20 00:05:55 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-20 00:06:13 → stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-20 00:09:55 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-20 00:13:19 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-20 00:13:27 × codygman quits (~codygman@2600:380:f914:a1ca:eb25:85ee:c4a3:cd2e) (Read error: Connection reset by peer)
2020-10-20 00:13:49 → codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-20 00:13:57 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-20 00:14:17 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 00:14:49 × alp quits (~alp@2a01:e0a:58b:4920:1551:e4d4:fd40:f1a2) (Ping timeout: 272 seconds)
2020-10-20 00:15:17 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-20 00:15:52 → christo joins (~chris@81.96.113.213)
2020-10-20 00:16:20 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-20 00:18:01 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-20 00:18:30 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds)
2020-10-20 00:20:05 × christo quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
2020-10-20 00:21:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-20 00:21:54 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e458:1703:ce2e:6252)
←Prev  Next→
Page 1 .. 743 744 745 746 747 748 749 750 751 752 753 .. 5022

All times are in UTC.