Logs: liberachat/#haskell
| 2021-08-28 08:20:30 | <maerwald> | the idea is that the TUI list fits into a single screen always without scrolling |
| 2021-08-28 08:21:13 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2021-08-28 08:21:43 | <tomsmeding> | I think it would be nicer if, to reach that goal (which I think is a good goal!), one should make meaningful categories instead of "common" vs "all" |
| 2021-08-28 08:21:53 | <tomsmeding> | because everyone's definition of "common" is going to differ :) |
| 2021-08-28 08:22:23 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-28 08:22:55 | <maerwald> | well, we have a definition of "Haskell toolchain" that's kinda agreed upon, which includes ghc, cabal, stack and optionally HLS |
| 2021-08-28 08:23:17 | <maerwald> | so that haskell toolchain should always be visible |
| 2021-08-28 08:24:10 | <tomsmeding> | makes sense |
| 2021-08-28 08:29:16 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 252 seconds) |
| 2021-08-28 08:29:42 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 08:32:22 | × | Xnuk quits (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 2021-08-28 08:32:39 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 2021-08-28 08:37:36 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-28 08:38:35 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-28 08:38:40 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 240 seconds) |
| 2021-08-28 08:39:22 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-28 08:39:24 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 08:39:39 | × | neurocyte quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-28 08:40:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-28 08:40:42 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-28 08:42:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-28 08:43:45 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2021-08-28 08:44:28 | → | neurocyte joins (~neurocyte@45.131.39.239) |
| 2021-08-28 08:44:28 | × | neurocyte quits (~neurocyte@45.131.39.239) (Changing host) |
| 2021-08-28 08:44:28 | → | neurocyte joins (~neurocyte@user/neurocyte) |
| 2021-08-28 08:47:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-28 08:47:31 | → | kenran joins (~kenran@200116b82bc0270099b2de0ffa120b08.dip.versatel-1u1.de) |
| 2021-08-28 08:51:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) |
| 2021-08-28 08:54:36 | → | kuribas joins (~user@ptr-25vy0i6qx5na6znp5k4.18120a2.ip6.access.telenet.be) |
| 2021-08-28 08:55:55 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Ping timeout: 250 seconds) |
| 2021-08-28 08:56:10 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 240 seconds) |
| 2021-08-28 08:57:47 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 08:59:28 | → | t3hyoshi joins (~snicf@2600:8804:1b96:4900:1472:5a94:c594:83ca) |
| 2021-08-28 08:59:55 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-28 09:02:36 | → | emliunix joins (~emliunix@61-216-165-205.hinet-ip.hinet.net) |
| 2021-08-28 09:04:33 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2021-08-28 09:12:20 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-28 09:12:34 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-28 09:18:25 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-28 09:27:07 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2021-08-28 09:29:22 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-28 09:33:53 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 248 seconds) |
| 2021-08-28 09:34:27 | × | kenran quits (~kenran@200116b82bc0270099b2de0ffa120b08.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2021-08-28 09:35:43 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 09:36:08 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-28 09:36:18 | → | kenran joins (~kenran@200116b82bc02700d2fed1b66be991af.dip.versatel-1u1.de) |
| 2021-08-28 09:51:13 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 252 seconds) |
| 2021-08-28 09:53:00 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 09:53:00 | × | img quits (~img@user/img) (Ping timeout: 250 seconds) |
| 2021-08-28 09:53:20 | → | polyphem joins (~polyphem@2a02:810d:640:776c:b139:3454:9b21:7c63) |
| 2021-08-28 09:54:25 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b95310c4cb6300b253e7e.dip0.t-ipconnect.de) |
| 2021-08-28 09:55:02 | → | img joins (~img@user/img) |
| 2021-08-28 09:57:27 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95925da55fe159cc0756.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-28 09:58:22 | × | martin02 quits (~silas@141.84.69.76) (Ping timeout: 252 seconds) |
| 2021-08-28 09:59:56 | → | benin036932 joins (~benin@183.82.178.152) |
| 2021-08-28 10:02:02 | × | kenran quits (~kenran@200116b82bc02700d2fed1b66be991af.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-28 10:07:10 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 240 seconds) |
| 2021-08-28 10:12:19 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 10:13:01 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-08-28 10:14:48 | <kaol> | If I have a top level function that uses (for example) "Num n => ..." how do I use the same n if I define a function in my where section? GHC has renamed my use as "Num n1" and complains that it can't deduce it. It compiles if I omit the type definition of my auxiliary function. |
| 2021-08-28 10:15:32 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 2021-08-28 10:15:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-28 10:16:03 | → | hannessteffenhag joins (~hannesste@77.20.255.200) |
| 2021-08-28 10:17:47 | <maerwald> | ScopedTypeVariables |
| 2021-08-28 10:20:07 | × | hannessteffenhag quits (~hannesste@77.20.255.200) (Ping timeout: 240 seconds) |
| 2021-08-28 10:20:53 | <kaol> | Nope, that had no effect. I tried to make a trivial example of it but that works just as I'd expect. Odd. |
| 2021-08-28 10:22:47 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2021-08-28 10:23:43 | <kaol> | Oh, right. What I needed was to add "Num n =>" to that inner function. |
| 2021-08-28 10:24:33 | <kaol> | It's going to be always the same n as on top level but never mind that. |
| 2021-08-28 10:25:11 | <tomsmeding> | kaol: that's probably the right fix, what you now did |
| 2021-08-28 10:25:29 | → | martin02 joins (~silas@141.84.69.76) |
| 2021-08-28 10:25:46 | <tomsmeding> | using ScopedTypeVariables you have to put some 'forall' keywords in the right places. See the ghc user's guide on the extension: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/scoped_type_variables.html#extension-ScopedTypeVariables |
| 2021-08-28 10:26:37 | <kaol> | The type's optional in this case but it makes "getSum . (foldMap . foldMap . foldMap . foldMap) Sum" easier to read. |
| 2021-08-28 10:27:04 | <tomsmeding> | by default, type variables aren't "inherited" by nested functions |
| 2021-08-28 10:27:23 | <tomsmeding> | if you can make it work like that, which in this case you could by adding "Num n =>", apparently, that's always the right thing |
| 2021-08-28 10:27:47 | <tomsmeding> | if you can't because you use some values from the parent function so the types really need to be linked for it to typecheck, you can use ScopedTypeVariables |
| 2021-08-28 10:34:47 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-28 10:34:49 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 2021-08-28 10:47:28 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-28 10:49:00 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-28 10:49:54 | × | sjb0 quits (~stephen@2001:8004:2738:35de:a1a3:a1c1:6e62:ba62) (Quit: Leaving.) |
| 2021-08-28 10:51:45 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds) |
| 2021-08-28 10:53:04 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) |
| 2021-08-28 10:57:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Ping timeout: 240 seconds) |
| 2021-08-28 11:01:03 | → | alx741 joins (~alx741@181.196.68.187) |
| 2021-08-28 11:01:03 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-28 11:01:15 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-28 11:10:26 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-28 11:10:58 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2021-08-28 11:18:29 | × | azeem quits (~azeem@62.18.164.196) (Ping timeout: 250 seconds) |
| 2021-08-28 11:18:52 | → | azeem joins (~azeem@62.18.164.196) |
| 2021-08-28 11:19:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-28 11:24:06 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-28 11:26:07 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-08-28 11:34:26 | × | polyphem quits (~polyphem@2a02:810d:640:776c:b139:3454:9b21:7c63) (Read error: Connection reset by peer) |
| 2021-08-28 11:38:03 | <hololeap> | @unmtl StateT s (ExceptT e) a |
| 2021-08-28 11:38:03 | <lambdabot> | err: `ExceptT e (a, s)' is not applied to enough arguments. |
| 2021-08-28 11:38:12 | <hololeap> | @unmtl StateT s (Except e) a |
| 2021-08-28 11:38:12 | <lambdabot> | s -> Except e (a, s) |
| 2021-08-28 11:38:20 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
All times are in UTC.