Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 940 941 942 943 944 945 946 947 948 949 950 .. 5022
— 502,152 events total
2020-10-29 18:35:26 × justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2020-10-29 18:35:35 → christo joins (~chris@81.96.113.213)
2020-10-29 18:36:11 → mastarija joins (~mastarija@93-138-85-169.adsl.net.t-com.hr)
2020-10-29 18:36:22 × fraktor quits (~walter@129.93.184.38) (Quit: WeeChat 2.8)
2020-10-29 18:36:59 <mastarija> I'm using GHC 8.8.something and I can't expand type alias, I thought this was possible with :kind! command, but it just prints back the same type alias I give it.
2020-10-29 18:37:12 <mastarija> Is this an error or am I doing something wrong?
2020-10-29 18:37:31 <mastarija> *bug, not error
2020-10-29 18:37:36 <geekosaur> known issue, I think
2020-10-29 18:37:43 <mastarija> damn
2020-10-29 18:37:55 <mastarija> Any workaround?
2020-10-29 18:38:07 <geekosaur> with no fix because there are too many arguments about what it should be doing and how
2020-10-29 18:38:12 → hiroaki joins (~hiroaki@2a02:908:4b18:e20::8d72)
2020-10-29 18:38:32 <Uniaika> mastarija: you can do it with :info actually
2020-10-29 18:39:17 <mastarija> Uniaika, oh... that's nice
2020-10-29 18:39:24 <mastarija> Uniaika, thanx!
2020-10-29 18:39:38 <Uniaika> you're welcome :)
2020-10-29 18:40:20 <mastarija> Uniaika, oh.. but it doesn't really work I've noticed
2020-10-29 18:40:32 <mastarija> When I have a type argument it doesn't work
2020-10-29 18:40:46 <mastarija> Or rather, it doesn't show evaluated type with type argument applied
2020-10-29 18:41:53 <mastarija> Uniaika, if I do this :info! ( List' Int ) it says parse error, and if I remove parentheses it just lists info for List' and Int separately
2020-10-29 18:42:40 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-29 18:42:40 → tvrsky joins (~tvrsky@177.20.187.150)
2020-10-29 18:42:56 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-29 18:43:02 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 18:43:28 <Uniaika> ah yeah, I've only tried on a `type Foo = Int` alias
2020-10-29 18:44:31 → christo joins (~chris@81.96.113.213)
2020-10-29 18:44:37 <Uniaika> if geekosaur can tell you where the discussion is happening regarding what :kind! is supposed to do, maybe could you chime in and plead in favour of a dedicated ghci command?
2020-10-29 18:45:11 <geekosaur> I'm looking...
2020-10-29 18:46:38 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 18:47:31 → christo joins (~chris@81.96.113.213)
2020-10-29 18:48:26 → alp_ joins (~alp@2a01:e0a:58b:4920:9819:e541:8055:66cf)
2020-10-29 18:50:03 × teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds)
2020-10-29 18:51:37 <geekosaur> bah, can't search for ":kind!" sanely
2020-10-29 18:51:46 <geekosaur> only 1000+ pages to scan through
2020-10-29 18:51:59 → teardown joins (~user@gateway/tor-sasl/mrush)
2020-10-29 18:53:05 → acidjnk_new2 joins (~acidjnk@p200300d0c72260337583e474f5800943.dip0.t-ipconnect.de)
2020-10-29 18:54:37 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-29 18:56:18 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-29 18:56:28 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-29 18:56:28 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-29 18:56:28 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-29 18:56:37 <tomsmeding> https://github.com/ghc-proposals/ghc-proposals/pull/79
2020-10-29 18:57:02 <tomsmeding> typing 'ghc kind' in my browser address bad pulled it up very quickly, I've been annoyed by this in the past too :p
2020-10-29 18:57:07 <tomsmeding> *address bar
2020-10-29 18:57:44 × Saukk quits (~Saukk@2001:998:f9:2914:1fa4:7678:3395:bc0) (Remote host closed the connection)
2020-10-29 18:58:53 <geekosaur> that's a proposal spun off the bug, unless it links the bug too?
2020-10-29 19:00:08 <geekosaur> there's a bug discussing why the type alias expansion stuff was removed, iirc it interfered with expanding type families
2020-10-29 19:01:10 <geekosaur> https://gitlab.haskell.org/ghc/ghc/-/issues/13795
2020-10-29 19:01:26 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-29 19:02:04 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-29 19:02:16 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 19:02:52 → christo joins (~chris@81.96.113.213)
2020-10-29 19:02:54 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-29 19:03:37 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-29 19:04:28 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
2020-10-29 19:04:55 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-29 19:05:44 × Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 240 seconds)
2020-10-29 19:07:28 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-29 19:08:10 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-29 19:08:22 → Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com)
2020-10-29 19:08:29 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 19:08:45 → christo joins (~chris@81.96.113.213)
2020-10-29 19:09:45 × geekosaur quits (ac3a5745@172.58.87.69) (Remote host closed the connection)
2020-10-29 19:10:29 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 19:10:47 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-29 19:10:57 → geekosaur joins (ac3a5469@172.58.84.105)
2020-10-29 19:11:03 → christo joins (~chris@81.96.113.213)
2020-10-29 19:12:21 → mokulus joins (~mat@176.111.230.96)
2020-10-29 19:12:31 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-29 19:13:52 → texasmynsted joins (~texasmyns@104.140.52.75)
2020-10-29 19:15:25 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 19:15:41 → christo joins (~chris@81.96.113.213)
2020-10-29 19:16:12 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-29 19:16:43 × tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-29 19:17:03 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 19:17:22 → fandi_ joins (~fandi@125.160.217.204)
2020-10-29 19:17:47 → tomsmeding joins (~tomsmedin@tomsmeding.com)
2020-10-29 19:19:53 × u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer)
2020-10-29 19:20:00 × jedws quits (~jedws@101.184.193.144) (Ping timeout: 256 seconds)
2020-10-29 19:20:18 → u0_a298 joins (~user@47.206.148.226)
2020-10-29 19:20:18 × hackage quits (mniip@haskell/bot/hackage) (Remote host closed the connection)
2020-10-29 19:20:32 × fandi quits (~fandi@118.97.77.114) (Ping timeout: 272 seconds)
2020-10-29 19:20:44 <texasmynsted> I am sure there is a structure like this.... I have something that forms a Monad and a Functor. I want to apply a function to it if it satisfies some predicate.
2020-10-29 19:20:55 → hackage joins (mniip@haskell/bot/hackage)
2020-10-29 19:21:03 × motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Quit: quit)
2020-10-29 19:21:42 × orcus- quits (~orcus@unaffiliated/orcus) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-29 19:21:49 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-29 19:21:49 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-29 19:21:49 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-29 19:22:14 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds)
2020-10-29 19:22:24 → jedws joins (~jedws@101.184.150.81)
2020-10-29 19:22:29 → orcus joins (~orcus@unaffiliated/orcus)
2020-10-29 19:22:35 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2020-10-29 19:22:44 <texasmynsted> I could do this with guards, or with an if/else, or ... hmm. I wonder if there is something in Arrow.
2020-10-29 19:22:45 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-10-29 19:23:11 → lambdabot joins (~lambdabot@haskell/bot/lambdabot)
2020-10-29 19:23:59 → christo joins (~chris@81.96.113.213)
2020-10-29 19:25:30 <tomsmeding> @t ifM (> 0) succ
2020-10-29 19:25:38 <lambdabot> Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? .
2020-10-29 19:25:42 <tomsmeding> % :t ifM (> 0) succ
←Prev  Next→
Page 1 .. 940 941 942 943 944 945 946 947 948 949 950 .. 5022

All times are in UTC.