Logs: freenode/#haskell
| 2021-04-14 10:34:40 | pjb | is now known as foopjb |
| 2021-04-14 10:34:59 | foopjb | is now known as pjb |
| 2021-04-14 10:36:05 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:280b:80b1:e1e0:8381) |
| 2021-04-14 10:36:13 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-14 10:40:21 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:280b:80b1:e1e0:8381) (Ping timeout: 258 seconds) |
| 2021-04-14 10:40:41 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 2021-04-14 10:41:30 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-14 10:42:45 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-04-14 10:43:03 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-04-14 10:53:19 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-04-14 10:57:56 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-04-14 10:58:04 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-04-14 10:58:05 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-04-14 11:00:00 | → | Alleria joins (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 2021-04-14 11:00:24 | Alleria | is now known as Guest39903 |
| 2021-04-14 11:02:09 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-14 11:02:28 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-14 11:04:30 | × | Guest39903 quits (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-14 11:12:11 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-14 11:13:32 | → | Alleria__ joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-14 11:15:41 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-04-14 11:16:49 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-14 11:25:31 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-14 11:31:26 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-14 11:33:27 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-04-14 11:33:56 | × | pjb quits (~t@2a01cb04063ec500344f9530065f230b.ipv6.abo.wanadoo.fr) (Quit: new parameters) |
| 2021-04-14 11:34:53 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-tzexppsgjjqaiofw) (Quit: Connection closed for inactivity) |
| 2021-04-14 11:35:46 | → | pjb joins (~pjb@2a01cb04063ec50074da953aa01bf5c6.ipv6.abo.wanadoo.fr) |
| 2021-04-14 11:38:16 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 2021-04-14 11:40:23 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 2021-04-14 11:41:05 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-14 11:41:48 | pjb | is now known as foopjb |
| 2021-04-14 11:41:57 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 2021-04-14 11:42:05 | foopjb | is now known as pjb |
| 2021-04-14 11:45:16 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 2021-04-14 11:49:58 | → | rodriga joins (~quassel@134.204.25.66) |
| 2021-04-14 11:52:25 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 11:52:45 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 2021-04-14 11:54:24 | → | Nihilist joins (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) |
| 2021-04-14 11:59:00 | × | hc quits (~hc@fsfe/hc) (Read error: Connection reset by peer) |
| 2021-04-14 11:59:07 | → | hc joins (~hc@fsfe/hc) |
| 2021-04-14 12:04:12 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-04-14 12:07:26 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 12:07:49 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 2021-04-14 12:07:58 | × | jonathanx_ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-04-14 12:08:59 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c4d3:a85a:9b66:5814) |
| 2021-04-14 12:12:08 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-14 12:17:16 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-14 12:17:24 | → | idhugo_ joins (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) |
| 2021-04-14 12:17:45 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-14 12:19:50 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-14 12:19:54 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-04-14 12:20:31 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-14 12:21:45 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-14 12:22:26 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 12:23:09 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 2021-04-14 12:23:57 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds) |
| 2021-04-14 12:28:01 | × | guest414 quits (~user@49.5.6.87) (Remote host closed the connection) |
| 2021-04-14 12:32:44 | → | __minoru__shirae joins (~shiraeesh@46.34.206.85) |
| 2021-04-14 12:34:42 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-14 12:36:44 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:495f:53bc:48fb:8f7c) |
| 2021-04-14 12:37:27 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 12:37:36 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-04-14 12:37:45 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c4d3:a85a:9b66:5814) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 12:38:27 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 2021-04-14 12:41:04 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-14 12:41:29 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:495f:53bc:48fb:8f7c) (Ping timeout: 258 seconds) |
| 2021-04-14 12:41:31 | × | Nihilist quits (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) (Quit: Connection closed) |
| 2021-04-14 12:41:37 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 2021-04-14 12:43:09 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-14 12:44:04 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 12:44:33 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:8a89:d95a:dbc3:e25e) (Ping timeout: 258 seconds) |
| 2021-04-14 12:45:08 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 2021-04-14 12:45:20 | × | jrm quits (~jrm@freebsd/developer/jrm) (Read error: Connection reset by peer) |
| 2021-04-14 12:45:21 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 2021-04-14 12:45:27 | → | jrm2 joins (~jrm@freebsd/developer/jrm) |
| 2021-04-14 12:45:29 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:34cf:6978:1caf:5ec6) |
| 2021-04-14 12:46:09 | jrm2 | is now known as jrm |
| 2021-04-14 12:46:27 | → | supernaut joins (~supernaut@aadl28.neoplus.adsl.tpnet.pl) |
| 2021-04-14 12:47:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-14 12:48:31 | × | supernaut quits (~supernaut@aadl28.neoplus.adsl.tpnet.pl) (Client Quit) |
| 2021-04-14 12:48:35 | <raehik> | What's the difference between a Type and a * ? Is there any? |
| 2021-04-14 12:48:41 | <raehik> | :k * |
| 2021-04-14 12:48:43 | <lambdabot> | * |
| 2021-04-14 12:48:46 | <raehik> | :k Type |
| 2021-04-14 12:48:48 | <lambdabot> | error: |
| 2021-04-14 12:48:48 | <lambdabot> | Not in scope: type constructor or class ‘Type’ |
| 2021-04-14 12:48:58 | <merijn> | raehik: None |
| 2021-04-14 12:49:07 | <merijn> | raehik: Type is a new name for * |
| 2021-04-14 12:49:27 | <merijn> | raehik: Because the dependent Haskell crowd want to use * as type-level multiplication operator |
| 2021-04-14 12:50:10 | <merijn> | % :k * |
| 2021-04-14 12:50:10 | <yahb> | merijn: * |
| 2021-04-14 12:50:12 | <merijn> | % :k Type |
| 2021-04-14 12:50:12 | <yahb> | merijn: ; <interactive>:1:1: error:; Ambiguous occurrence `Type'; It could refer to; either `Language.Haskell.TH.Type', imported from `Language.Haskell.TH' (and originally defined in `Language.Haskell.TH.Syntax'); or `Data.Kind.Type', imported from `Data.Kind' (and originally defined in `GHC.Types') |
| 2021-04-14 12:50:17 | <merijn> | oof |
| 2021-04-14 12:50:22 | <raehik> | merijn: thanks! |
| 2021-04-14 12:50:47 | <merijn> | raehik: See also -XStarIsType (or whatever it was called) in the GHC user guide |
| 2021-04-14 12:50:51 | <merijn> | @where user-guide |
| 2021-04-14 12:50:52 | <lambdabot> | I know nothing about user-guide. |
| 2021-04-14 12:50:55 | <merijn> | @where userguide |
All times are in UTC.