Logs on 2023-01-20 (liberachat/#haskell)
| 00:01:18 | × | iqubic quits (~avi@2601:602:9502:c70:2552:12e6:de48:4662) (Remote host closed the connection) |
| 00:05:33 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 00:05:44 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:06:30 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 00:08:28 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:08:28 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:08:28 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:16:32 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 00:22:28 | × | slack1256 quits (~slack1256@181.42.49.194) (Remote host closed the connection) |
| 00:26:20 | × | kjak quits (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 00:31:44 | → | kjak joins (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 00:35:06 | → | ratapaca joins (~ratapaca@98.40.240.33) |
| 00:35:42 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 00:35:42 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Client Quit) |
| 00:36:15 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 00:36:30 | × | ratapaca quits (~ratapaca@98.40.240.33) (Client Quit) |
| 00:39:23 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 00:39:50 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:44:56 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 00:45:02 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 00:45:02 | jinsun__ | is now known as jinsun |
| 00:49:03 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 00:49:03 | jinsun | is now known as Guest3897 |
| 00:49:03 | jinsun__ | is now known as jinsun |
| 00:49:16 | × | opticblast quits (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 252 seconds) |
| 00:52:35 | × | Guest3897 quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 00:56:21 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 00:56:40 | → | fizbin joins (~fizbin@user/fizbin) |
| 01:03:25 | → | ddellacosta joins (~ddellacos@143.244.47.89) |
| 01:04:55 | → | son0p joins (~ff@181.136.122.143) |
| 01:05:27 | × | fizbin quits (~fizbin@user/fizbin) (Remote host closed the connection) |
| 01:05:46 | → | fizbin joins (~fizbin@user/fizbin) |
| 01:07:55 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 01:17:39 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:7906:80d7:17c8:7b72) (Ping timeout: 260 seconds) |
| 01:22:20 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 260 seconds) |
| 01:22:50 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 01:24:54 | → | cheater_ joins (~Username@user/cheater) |
| 01:26:26 | × | Luj3 quits (~Luj@2a01:e0a:5f9:9681:d724:5a99:cff5:17e) (Quit: The Lounge - https://thelounge.chat) |
| 01:26:41 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 01:26:49 | cheater_ | is now known as cheater |
| 01:27:31 | → | ell7 joins (~ellie@user/ellie) |
| 01:27:38 | → | Luj3 joins (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 01:29:15 | × | ell quits (~ellie@user/ellie) (Ping timeout: 248 seconds) |
| 01:29:16 | ell7 | is now known as ell |
| 01:29:19 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 260 seconds) |
| 01:29:20 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 01:29:30 | → | f-chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 01:32:04 | × | axel-bee quits (~axel-bee@alexbenishek.com) (Quit: goodbye!) |
| 01:32:10 | f-chymera | is now known as chymera |
| 01:32:49 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 01:33:45 | → | troydm joins (~troydm@user/troydm) |
| 01:39:50 | × | bjourne quits (~bjorn@94.191.152.137) (Read error: Connection reset by peer) |
| 01:41:59 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze) |
| 01:42:18 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 01:42:29 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 01:44:02 | → | Umeaboy joins (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 01:44:12 | <Umeaboy> | Hi! |
| 01:45:10 | <Umeaboy> | In theory, would it be possible to rebuild dependencies for ghc to another distro that also uses rpm? |
| 01:46:03 | <Umeaboy> | Because I'm thinking about how I'm supposed to build an rpm for Mageia if ghc is installed in a non Mageia way. |
| 01:46:46 | <Umeaboy> | I tried to change BuildRequires: ghc to /usr/bin/ghc as I've linked the ghc binary to /usr/bin/ghc |
| 01:47:00 | <Umeaboy> | That should work. |
| 01:47:06 | <Umeaboy> | But it doesn't. |
| 01:50:10 | × | hounded_woodstoc quits (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 01:50:10 | × | hounded quits (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 01:52:56 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze) |
| 02:01:22 | × | myShoggoth quits (~myShoggot@75.164.71.134) (Quit: Leaving) |
| 02:03:18 | → | xff0x_ joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:03:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:05:06 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:05:33 | <johnjaye> | if i get an error about getDirectoryContents and openDirStream, is that the haskell way of saying a file was not found? |
| 02:05:54 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 02:06:15 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:07:03 | <Umeaboy> | johnjaye: Can you see the files where they are expected to be? |
| 02:08:55 | <johnjaye> | i have no idea what isn't expected. i can show you the build output. it's an agda test. i was trying to do the agda compile hello world example and it failed |
| 02:09:08 | <johnjaye> | https://dpaste.com/2NULH5LGB |
| 02:09:46 | <johnjaye> | as best i can tell it creates a local build dir, then complains that build dir doesn't exist in /usr/share. which makes no sense to me. i should probably learn more about how ghc and haskell builds binaries so i can solve this kind of thing in the future |
| 02:10:32 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 02:15:45 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 02:16:48 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:17:33 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 02:18:05 | <johnjaye> | if you want to reproduce it it's easy. just search 'agda manual' and copy paste the hello-world.agda example |
| 02:20:27 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 02:21:26 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 02:24:50 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 02:32:06 | × | johnw quits (~johnw@2600:1700:cf00:db0:1ccb:c50c:1e27:a866) (Quit: ZNC - http://znc.in) |
| 02:39:08 | → | shapr joins (~user@68.54.166.125) |
| 02:43:21 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:49:24 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:49:46 | → | thongpv joins (~thongpv87@2001:ee0:5577:f0d0:6759:d401:526a:6752) |
| 02:58:36 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 255 seconds) |
| 02:58:36 | × | barzo quits (~hd@31.223.41.44) (Ping timeout: 256 seconds) |
| 03:00:08 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 246 seconds) |
| 03:00:21 | → | FragByte joins (~christian@user/fragbyte) |
| 03:00:34 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 03:01:18 | × | thegeekinside quits (~thegeekin@189.217.82.244) (Read error: Connection reset by peer) |
| 03:02:52 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 03:04:32 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 03:05:14 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 03:07:59 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 03:09:10 | → | Guest34 joins (~Guest34@206.85.231.151) |
| 03:12:46 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 03:14:46 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 03:19:28 | × | Guest34 quits (~Guest34@206.85.231.151) (Ping timeout: 260 seconds) |
| 03:19:50 | <mauke> | https://hackage.haskell.org/package/directory-1.3.8.0/docs/System-Directory.html#v:listDirectory |
| 03:20:16 | <mauke> | > * isDoesNotExistError The directory does not exist. `[ENOENT, ENOTDIR]` |
| 03:20:19 | <lambdabot> | <hint>:1:1: error: parse error on input ‘*’ |
| 03:20:58 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 03:22:57 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 03:24:46 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 03:27:02 | <mauke> | johnjaye: I haven't used agda before, but https://github.com/agda/agda/issues/4250#issuecomment-882292309 looks relevant |
| 03:29:04 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 03:29:46 | × | shapr quits (~user@68.54.166.125) (Ping timeout: 256 seconds) |
| 03:32:02 | <johnjaye> | well i mostly just wanted to know the basics |
| 03:32:10 | <johnjaye> | like. is it invoking ghc to do the native compilation? |
| 03:34:28 | <mauke> | from what I can tell: no, because of the other error |
| 03:36:16 | <mauke> | also, can't reproduce. it just says agda: command not found |
| 03:36:50 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 03:41:22 | <johnjaye> | well. how did you install it. with cabal? |
| 03:42:09 | <mauke> | install what? |
| 03:42:14 | <johnjaye> | agda. |
| 03:42:24 | <johnjaye> | you said you can't reproduce it |
| 03:42:27 | <mauke> | I didn't |
| 03:42:42 | <mauke> | "just search 'agda manual' and copy paste the hello-world.agda example" is what I did |
| 03:42:54 | <johnjaye> | well right. but you have to have agda to test it... |
| 03:43:09 | <johnjaye> | either from cabal or from the distro or git. those are the only 3 ways to install it |
| 03:43:26 | <mauke> | how did you install it? |
| 03:43:53 | <johnjaye> | from debian. sudo apt-get install agda and maybe agda-stdlib also |
| 03:44:09 | <johnjaye> | i think the cabal command is 'cabal install Agda'. not sure if cabal is case senstivie or not |
| 03:44:57 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 03:45:06 | → | razetime joins (~Thunderbi@117.193.0.134) |
| 03:51:18 | × | thongpv quits (~thongpv87@2001:ee0:5577:f0d0:6759:d401:526a:6752) (Ping timeout: 256 seconds) |
| 03:52:41 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 03:52:42 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:53:38 | × | td_ quits (~td@83.135.9.34) (Ping timeout: 268 seconds) |
| 03:54:24 | × | ddellacosta quits (~ddellacos@143.244.47.89) (Ping timeout: 272 seconds) |
| 03:54:58 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 03:55:25 | → | td_ joins (~td@83.135.9.28) |
| 03:58:06 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 04:01:36 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 04:02:16 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 04:02:30 | → | ensyde joins (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 04:02:45 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 04:07:32 | <johnjaye> | well at least that thread shows i'm not the only one having issues with it |
| 04:07:39 | × | razetime quits (~Thunderbi@117.193.0.134) (Ping timeout: 260 seconds) |
| 04:08:09 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 04:15:06 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 04:18:45 | × | AlexNoo_ quits (~AlexNoo@178.34.160.228) (Read error: Connection reset by peer) |
| 04:19:08 | → | AlexNoo_ joins (~AlexNoo@178.34.160.228) |
| 04:20:46 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 04:22:17 | → | thongpv joins (~thongpv87@2001:ee0:5577:f0d0:f3dc:9749:cca4:d8e2) |
| 04:24:05 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 04:26:26 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 04:29:43 | → | razetime joins (~Thunderbi@117.193.0.134) |
| 04:29:59 | → | mbuf joins (~Shakthi@49.204.128.234) |
| 04:34:39 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 04:37:10 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 04:39:07 | → | ddellacosta joins (~ddellacos@static-198-44-136-91.cust.tzulo.com) |
| 04:39:22 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 04:58:20 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 05:03:04 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 05:13:59 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 264 seconds) |
| 05:20:25 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 05:26:05 | → | Inst joins (~Inst@2601:6c4:4081:54f0:7987:1b39:7203:fc61) |
| 05:26:45 | <Inst> | wait |
| 05:26:57 | <Inst> | is this actually accurate as to what Standard Chartered is really doing with haskelll / mu? |
| 05:26:58 | <Inst> | https://news.ycombinator.com/item?id=23621080#23624598 |
| 05:27:05 | <Inst> | it sounds like they're just using it as a better Python ;) |
| 05:52:35 | × | accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:54:34 | × | potash quits (~foghorn@user/foghorn) (Read error: Connection reset by peer) |
| 05:55:29 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 05:58:38 | → | potash joins (~foghorn@user/foghorn) |
| 06:03:41 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 06:04:35 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 06:10:34 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 06:20:28 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:26:58 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 06:29:24 | → | trev joins (~trev@user/trev) |
| 06:31:06 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:33:39 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 06:35:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 06:43:11 | × | razetime quits (~Thunderbi@117.193.0.134) (Quit: See You Space Cowboy) |
| 06:47:20 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:53:50 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 06:54:07 | → | theproffesor joins (~theproffe@2601:282:8800:3f30::b942) |
| 06:54:07 | × | theproffesor quits (~theproffe@2601:282:8800:3f30::b942) (Changing host) |
| 06:54:07 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 06:57:45 | → | king_gs joins (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 07:07:00 | → | johnw joins (~johnw@2600:1700:cf00:db0:dc38:4854:743c:eb7e) |
| 07:07:56 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 07:08:38 | → | kenran joins (~user@user/kenran) |
| 07:09:23 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 07:10:29 | → | mncheckm joins (~mncheck@193.224.205.254) |
| 07:11:16 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 07:11:37 | → | mei joins (~mei@user/mei) |
| 07:14:17 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 07:14:40 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 07:14:44 | × | xff0x_ quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 07:15:37 | → | xff0x_ joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 07:18:47 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 07:29:34 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:35:40 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 252 seconds) |
| 07:35:42 | × | cstml_ quits (cstml@tilde.club) (Ping timeout: 256 seconds) |
| 07:36:35 | → | cstml_ joins (cstml@tilde.club) |
| 07:38:12 | × | king_gs quits (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Remote host closed the connection) |
| 07:38:32 | → | king_gs joins (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 07:41:51 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e4ab:d1cc:b750:28c5) |
| 07:44:14 | → | pagnol joins (~user@213-205-209-87.ftth.glasoperator.nl) |
| 07:44:21 | → | vpan joins (~0@212.117.1.172) |
| 07:57:14 | × | tomjaguarpaw quits (~tom@li367-225.members.linode.com) (Remote host closed the connection) |
| 07:58:20 | → | acidjnk joins (~acidjnk@p200300d6e715c43708b6eeaf838e6a62.dip0.t-ipconnect.de) |
| 08:00:16 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 08:00:47 | × | Umeaboy quits (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 08:04:12 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 08:04:50 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 08:06:27 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 08:06:29 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 08:11:15 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 260 seconds) |
| 08:17:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:17:32 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 08:19:53 | → | chele joins (~chele@user/chele) |
| 08:20:53 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 08:25:20 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 08:25:52 | → | gmg joins (~user@user/gehmehgeh) |
| 08:27:17 | × | ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 08:27:43 | × | gmg quits (~user@user/gehmehgeh) (Client Quit) |
| 08:29:22 | → | bjourne joins (~bjorn@94.191.152.137.mobile.tre.se) |
| 08:29:57 | → | ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 08:30:01 | × | bjourne quits (~bjorn@94.191.152.137.mobile.tre.se) (Client Quit) |
| 08:31:17 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 08:33:08 | → | nschoe joins (~q@2a01:e0a:8e:a190:2521:9f:eb57:5336) |
| 08:37:32 | × | ft quits (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:38:04 | AlexNoo_ | is now known as AlexNoo |
| 08:53:40 | → | avicenzi joins (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 08:55:11 | → | fserucas joins (~fserucas@50.4.115.89.rev.vodafone.pt) |
| 08:55:40 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 08:56:11 | × | king_gs quits (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Remote host closed the connection) |
| 08:56:27 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:56:33 | → | king_gs joins (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 09:00:09 | × | Clinton[m] quits (~clintonme@2001:470:69fc:105::2:31d4) (Quit: You have been kicked for being idle) |
| 09:00:57 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:02:31 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 09:02:50 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 09:04:40 | × | thongpv quits (~thongpv87@2001:ee0:5577:f0d0:f3dc:9749:cca4:d8e2) (Ping timeout: 256 seconds) |
| 09:13:29 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 09:20:09 | → | MajorBiscuit joins (~MajorBisc@145.94.182.137) |
| 09:26:46 | → | wildsebastian joins (~wildsebas@2001:470:69fc:105::1:14b1) |
| 09:27:54 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 09:31:06 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 09:35:08 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 272 seconds) |
| 09:41:44 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 09:42:43 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:46:05 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 246 seconds) |
| 09:46:54 | → | CiaoSen joins (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 09:47:50 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:52:19 | → | ubert joins (~Thunderbi@2a02:8109:abc0:6434:80dd:892f:1068:89e8) |
| 10:06:45 | × | perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 10:08:03 | → | perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 10:09:54 | × | xff0x_ quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds) |
| 10:14:09 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 10:22:14 | → | tomku joins (~tomku@user/tomku) |
| 10:22:15 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 10:24:32 | × | ensyde quits (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 255 seconds) |
| 10:25:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:31:48 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 10:42:18 | → | jco joins (~jco@90-228-194-139-no542.tbcn.telia.com) |
| 10:42:45 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 10:43:16 | × | pagnol quits (~user@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
| 10:44:22 | × | fserucas quits (~fserucas@50.4.115.89.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 10:46:17 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:48:23 | → | kenaryn joins (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 10:57:36 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 11:02:06 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Ping timeout: 252 seconds) |
| 11:04:36 | × | king_gs quits (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Remote host closed the connection) |
| 11:04:55 | → | king_gs joins (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 11:10:37 | → | fserucas joins (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) |
| 11:16:40 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:5aaf:7af0:29ef:e5fa) |
| 11:17:27 | × | CiaoSen quits (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 11:17:47 | × | king_gs quits (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Ping timeout: 260 seconds) |
| 11:18:03 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 248 seconds) |
| 11:28:45 | → | thongpv joins (~thongpv87@2001:ee0:5577:f0d0:e31:de36:a415:b496) |
| 11:31:48 | → | __monty__ joins (~toonn@user/toonn) |
| 11:34:15 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 11:34:57 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 11:36:27 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 11:39:14 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 255 seconds) |
| 11:41:15 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 11:42:54 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:51:07 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 11:53:04 | → | akegalj joins (~akegalj@93-137-177-6.adsl.net.t-com.hr) |
| 11:55:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 11:59:03 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 12:00:28 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 12:01:12 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 12:24:07 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 12:24:53 | × | tinwood quits (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 12:25:38 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 12:26:11 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 12:26:11 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 12:26:11 | → | tinwood joins (~tinwood@canonical/tinwood) |
| 12:42:32 | → | cheater_ joins (~Username@user/cheater) |
| 12:42:59 | × | MajorBiscuit quits (~MajorBisc@145.94.182.137) (Ping timeout: 260 seconds) |
| 12:44:02 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 12:44:06 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:44:06 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Client Quit) |
| 12:44:08 | cheater_ | is now known as cheater |
| 12:44:24 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:45:12 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 12:49:29 | → | cheater_ joins (~Username@user/cheater) |
| 12:49:50 | oldfashionedcow | is now known as GeneralKenobi |
| 12:52:17 | GeneralKenobi | is now known as oldfashionedcow |
| 12:52:33 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 252 seconds) |
| 12:52:59 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 12:53:05 | cheater_ | is now known as cheater |
| 12:54:30 | → | cheater_ joins (~Username@user/cheater) |
| 12:57:47 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 12:57:56 | cheater_ | is now known as cheater |
| 13:00:23 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 13:03:23 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 13:03:56 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 13:06:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:21:02 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 13:22:44 | → | MajorBiscuit joins (~MajorBisc@145.94.182.137) |
| 13:25:00 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 13:26:32 | → | Joao003 joins (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) |
| 13:27:30 | <Joao003> | i'm reading "Learn You a Haskell for Great Good!" |
| 13:28:15 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 13:28:53 | <johnjaye> | right now i'd appreciate equally "Learn you the syntax for ghc and the various support library locations". heh |
| 13:29:22 | <merijn> | johnjaye: What do you mean? |
| 13:29:23 | <Joao003> | lol |
| 13:30:25 | <Joao003> | i'm reading it in learnyouahaskell.com |
| 13:30:29 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 13:30:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 13:35:52 | → | razetime joins (~Thunderbi@117.193.0.134) |
| 13:43:23 | × | razetime quits (~Thunderbi@117.193.0.134) (Remote host closed the connection) |
| 13:46:15 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 13:47:16 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 13:48:51 | <Joao003> | johnjaye: hoogle to find out where those puny little functions are |
| 13:50:39 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 13:50:39 | × | acidjnk quits (~acidjnk@p200300d6e715c43708b6eeaf838e6a62.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 14:03:14 | × | ddellacosta quits (~ddellacos@static-198-44-136-91.cust.tzulo.com) (Ping timeout: 260 seconds) |
| 14:09:03 | → | thegeekinside joins (~thegeekin@189.217.82.244) |
| 14:11:56 | → | int-index joins (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) |
| 14:13:12 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 14:16:21 | → | int-index-r joins (~Vladislav@2a00:1370:8178:5994:fd5e:8b6f:5e08:5d72) |
| 14:18:34 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 14:19:44 | × | int-index quits (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) (Ping timeout: 256 seconds) |
| 14:20:15 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 14:23:56 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 255 seconds) |
| 14:24:32 | → | cheater_ joins (~Username@user/cheater) |
| 14:24:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 14:25:37 | → | cheater joins (~Username@user/cheater) |
| 14:29:07 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 14:33:35 | → | cheater_ joins (~Username@user/cheater) |
| 14:35:05 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 14:35:10 | cheater_ | is now known as cheater |
| 14:35:19 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 14:42:05 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:43:31 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 14:47:46 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 14:48:03 | × | akegalj quits (~akegalj@93-137-177-6.adsl.net.t-com.hr) (Quit: leaving) |
| 14:48:18 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 265 seconds) |
| 15:06:01 | × | thongpv quits (~thongpv87@2001:ee0:5577:f0d0:e31:de36:a415:b496) (Ping timeout: 256 seconds) |
| 15:06:21 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:06:33 | → | Guest75 joins (~Guest75@178.141.138.233) |
| 15:10:32 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e4ab:d1cc:b750:28c5) (Quit: WeeChat 2.8) |
| 15:10:39 | → | ft joins (~ft@p4fc2a257.dip0.t-ipconnect.de) |
| 15:11:07 | × | Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Ping timeout: 252 seconds) |
| 15:11:44 | → | razetime joins (~Thunderbi@117.193.0.134) |
| 15:17:08 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 15:17:37 | → | coot joins (~coot@213.134.171.3) |
| 15:18:06 | × | jco quits (~jco@90-228-194-139-no542.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 15:18:53 | oldfashionedcow | is now known as iamnotben |
| 15:22:51 | × | mncheckm quits (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 15:23:16 | iamnotben | is now known as oldfashionedcow |
| 15:25:02 | oldfashionedcow | is now known as iamoldfashionedc |
| 15:25:09 | iamoldfashionedc | is now known as oldfashionedcow |
| 15:31:49 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 15:34:23 | → | Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 15:34:43 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 15:37:36 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 15:41:29 | → | king_gs joins (~Thunderbi@187.201.20.38) |
| 15:45:31 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:47:26 | × | Joao003 quits (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) (Quit: Leaving) |
| 15:50:58 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 15:51:59 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 15:56:45 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 15:57:46 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 15:58:05 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 15:58:12 | → | mechap joins (~mechap@user/mechap) |
| 15:58:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 15:59:47 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 16:00:06 | × | amano[m] quits (~amanocute@2001:470:69fc:105::2:d3f4) (Quit: You have been kicked for being idle) |
| 16:00:07 | × | ThngPhmVn[m] quits (~thongpv87@2001:470:69fc:105::2:e2e8) (Quit: You have been kicked for being idle) |
| 16:00:38 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 16:01:12 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 16:02:19 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:02:58 | <johnjaye> | merijn: ah i'm trying to mess with agda a little bit |
| 16:03:08 | → | the_proffesor joins (~theproffe@2601:282:8800:3f30::b942) |
| 16:03:08 | × | the_proffesor quits (~theproffe@2601:282:8800:3f30::b942) (Changing host) |
| 16:03:08 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 16:03:20 | <johnjaye> | i followed the tutorial and it can eval things properly. but when i tried the compile command which I *believe* uses ghc it failed |
| 16:04:11 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 16:04:13 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 16:04:13 | × | jinsun quits (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 16:04:13 | jinsun__ | is now known as jinsun |
| 16:05:54 | × | king_gs quits (~Thunderbi@187.201.20.38) (Ping timeout: 272 seconds) |
| 16:10:59 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 260 seconds) |
| 16:11:47 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 16:12:17 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 16:15:59 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 16:18:11 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 16:18:31 | → | kurbus joins (~kurbus@user/kurbus) |
| 16:20:58 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 16:21:45 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 16:22:00 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 16:24:50 | × | accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:25:21 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 16:29:29 | × | johnjaye quits (~pi@173.209.64.74) (Ping timeout: 255 seconds) |
| 16:30:51 | × | kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 16:31:31 | → | johnjaye joins (~pi@173.209.64.74) |
| 16:34:22 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 16:35:29 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:35:55 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 16:37:19 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:80dd:892f:1068:89e8) (Quit: ubert) |
| 16:40:16 | × | avicenzi quits (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 256 seconds) |
| 16:40:26 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 265 seconds) |
| 16:43:48 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 16:44:37 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 16:47:28 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 16:48:30 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 16:51:27 | × | jludwig quits (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 16:52:28 | → | jludwig joins (~justin@li657-110.members.linode.com) |
| 16:54:28 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:00:25 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 17:01:08 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 17:01:49 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Remote host closed the connection) |
| 17:02:15 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:02:16 | × | int-index-r quits (~Vladislav@2a00:1370:8178:5994:fd5e:8b6f:5e08:5d72) (Read error: Connection reset by peer) |
| 17:02:39 | × | the_proffesor quits (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 17:03:27 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 17:03:50 | × | theproffesor quits (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 17:04:43 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 17:04:58 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 17:05:18 | → | int-index-r joins (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) |
| 17:07:47 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 17:08:02 | × | MajorBiscuit quits (~MajorBisc@145.94.182.137) (Ping timeout: 256 seconds) |
| 17:10:43 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 17:12:46 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 17:13:34 | → | kurbus joins (~kurbus@user/kurbus) |
| 17:16:53 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 246 seconds) |
| 17:18:11 | × | nschoe quits (~q@2a01:e0a:8e:a190:2521:9f:eb57:5336) (Ping timeout: 264 seconds) |
| 17:18:17 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 17:18:54 | × | mbuf quits (~Shakthi@49.204.128.234) (Quit: Leaving) |
| 17:19:06 | × | theproffesor quits (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 17:19:08 | → | the_proffesor joins (~theproffe@2601:282:8800:3f30::b942) |
| 17:19:08 | × | the_proffesor quits (~theproffe@2601:282:8800:3f30::b942) (Changing host) |
| 17:19:08 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 17:22:58 | × | razetime quits (~Thunderbi@117.193.0.134) (Remote host closed the connection) |
| 17:24:21 | → | MajorBiscuit joins (~MajorBisc@145.94.182.137) |
| 17:24:42 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:2d23:55b1:4fc0:b96b) (Remote host closed the connection) |
| 17:25:01 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 17:25:59 | × | the_proffesor quits (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 17:26:03 | → | Joao003 joins (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) |
| 17:26:35 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 17:27:25 | × | the_proffesor quits (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 17:27:45 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 260 seconds) |
| 17:27:53 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 17:32:19 | → | mizlan joins (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 17:34:02 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 17:41:13 | × | MajorBiscuit quits (~MajorBisc@145.94.182.137) (Quit: WeeChat 3.6) |
| 17:41:38 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Ping timeout: 260 seconds) |
| 17:41:39 | → | acidjnk joins (~acidjnk@p200300d6e715c42465a1f0513dc44661.dip0.t-ipconnect.de) |
| 17:42:48 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 17:45:13 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:45:54 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 17:46:20 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 17:50:17 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 17:51:54 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 17:52:46 | → | slaydr joins (~slaydr@97-120-75-64.ptld.qwest.net) |
| 17:53:03 | × | slaydr quits (~slaydr@97-120-75-64.ptld.qwest.net) (Client Quit) |
| 17:54:55 | → | slaydr joins (~slaydr@97-120-75-64.ptld.qwest.net) |
| 17:55:37 | <slaydr> | Is there a special channel I should use for QuickCheck questions? Or is this the channel? |
| 17:56:18 | <sm> | this is the one |
| 17:57:25 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 17:58:05 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:59:04 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 18:00:12 | <slaydr> | ok. i would like to test a cipher. I need two generators. One that will give me variable lists of alpha characters only. One that will give me variable lists of ascii characters only. Do those generators already exist in Test.QuickCHeck? Sorry, very new QC user |
| 18:02:05 | × | fserucas quits (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) (Ping timeout: 246 seconds) |
| 18:03:20 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 18:06:06 | <c_wraith> | Nothing is built in for those, but they're pretty easy to create your own |
| 18:07:32 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 18:08:19 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 18:10:17 | → | nschoe joins (~q@2a01:e0a:8e:a190:9a63:d2c6:61db:efb6) |
| 18:10:24 | <slaydr> | thanks c_wraith. That narrows down my task |
| 18:18:41 | × | nschoe quits (~q@2a01:e0a:8e:a190:9a63:d2c6:61db:efb6) (Quit: Switching off) |
| 18:19:08 | → | econo joins (uid147250@user/econo) |
| 18:25:07 | × | Vajb quits (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) (Read error: Connection reset by peer) |
| 18:25:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 18:25:32 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 18:26:02 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 18:26:14 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 18:28:14 | <Joao003> | there is almost no situation where you want to zip more than 4 lists |
| 18:29:23 | × | int-index-r quits (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) (Quit: Konversation terminated!) |
| 18:29:42 | → | int-index joins (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) |
| 18:32:35 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 264 seconds) |
| 18:34:36 | → | pja joins (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 18:36:57 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 18:36:57 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 18:37:29 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 18:38:32 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 18:38:50 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 18:39:05 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 18:40:47 | × | mizlan quits (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 18:44:27 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 18:45:35 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 18:47:06 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 18:49:18 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Remote host closed the connection) |
| 18:53:06 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 18:53:44 | × | johnjaye quits (~pi@173.209.64.74) (Ping timeout: 272 seconds) |
| 18:55:03 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 18:55:24 | → | johnjaye joins (~pi@173.209.64.74) |
| 18:55:26 | × | remedan_ quits (~remedan@ip-89-177-74-251.bb.vodafone.cz) (Read error: Connection reset by peer) |
| 18:55:36 | → | trev joins (~trev@user/trev) |
| 18:56:14 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 18:56:38 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:00:31 | → | remedan joins (~remedan@ip-89-177-74-251.bb.vodafone.cz) |
| 19:02:29 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:07:57 | → | mastarija joins (~mastarija@188.252.197.161) |
| 19:08:10 | × | johnjaye quits (~pi@173.209.64.74) (Ping timeout: 256 seconds) |
| 19:09:15 | <mastarija> | Is it possible to make a pattern synonym like this one: pattern MkPosed (Pose v ori) obj = Posed v (Oriented ori obj) |
| 19:09:53 | → | johnjaye joins (~pi@173.209.64.74) |
| 19:09:56 | <mastarija> | Where I can construct a new value on the left side by shuffling the stuff on the right side and vice versa |
| 19:10:43 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 19:13:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 19:14:21 | <[exa]> | mastarija: why not? |
| 19:15:02 | <mastarija> | Ghc is complaining about the parentheses near Pose |
| 19:15:35 | <[exa]> | you might need the bidirectional syntax |
| 19:15:38 | <mastarija> | So I thought I've misunderstood something |
| 19:15:44 | <Joao003> | wait what |
| 19:15:52 | <mastarija> | Yes, I've tried this as well |
| 19:15:59 | <mastarija> | just a sec I'll get the example |
| 19:15:59 | <[exa]> | see here https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_synonyms.html at the place where they add 'where' af...ah okay |
| 19:16:05 | <[exa]> | that should work though no? |
| 19:17:40 | <c_wraith> | I think it should work with the =. |
| 19:18:10 | <c_wraith> | It's probably a good idea to tell us what the actual error message is |
| 19:18:40 | <[exa]> | mastarija: I think you'll need to use patterns in the 'where' section to deconstruct the Pose "manually" |
| 19:18:45 | <mastarija> | pattern MkPosed{ Pose v ori, obj } <- Posed v (Oriented ori obj) where MkPosed{ Pose v ori, obj } = Posed v (Oriented ori obj) |
| 19:19:07 | <mastarija> | Here it complains "parse error on input 'Pose'" |
| 19:19:39 | <mastarija> | and with this: pattern MkPosed (Pose v ori) obj = Posed v (Oriented ori obj) |
| 19:19:57 | <mastarija> | it says "parse error on input ‘(’" |
| 19:20:11 | <[exa]> | I think you're forcing it to patternmatch a pattern |
| 19:20:14 | <[exa]> | lemme try |
| 19:20:38 | <mastarija> | Yes, I am. I thought this might be a problem, but then again, I thought it would be intuitive to work. |
| 19:20:58 | <mastarija> | Or rather, it seemed logical :) |
| 19:21:26 | <mastarija> | Pose is just a simple data constructor |
| 19:21:29 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 19:21:30 | <c_wraith> | Oh, I see the issue. |
| 19:21:41 | <c_wraith> | That doesn't even mean anything |
| 19:21:52 | <mastarija> | It does to me :) |
| 19:21:55 | <Joao003> | replace Pose v ori with ori :: Pose v |
| 19:22:48 | <c_wraith> | No, it really doesn't mean anything. pattern definitions define patterns that work like constructors. |
| 19:23:18 | <c_wraith> | Just like how in data constructors, you just specify the number and types of fields |
| 19:23:19 | <mastarija> | So... no fancy functions? |
| 19:23:32 | <c_wraith> | you don't specify that a particular field must be a particular constructor |
| 19:24:37 | <mastarija> | Hm... any other way to achieve this? |
| 19:24:49 | <c_wraith> | I don't know, because I don't know what you mean for it to do |
| 19:25:57 | <mastarija> | Make life a bit easyer so I don't have to manually construct `Pose` when I'm deconstructing `Posed` |
| 19:26:22 | <c_wraith> | But I don't know what that means |
| 19:27:12 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:27:59 | <c_wraith> | that sounds like a thing you can do with a pattern synonym, but you need to make the entry on the left-hand side look like a pattern |
| 19:28:41 | <[exa]> | mastarija: I think I found it |
| 19:28:44 | <mauke> | pattern Tuple{ fst, snd } = (fst, snd) -- hmm |
| 19:28:54 | × | anatta quits (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 19:29:12 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 19:29:13 | → | anatta joins (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) |
| 19:30:11 | oldfashionedcow | is now known as ineedafuckingnap |
| 19:30:19 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 19:30:21 | <mastarija> | [exa]: :) |
| 19:30:36 | ineedafuckingnap | is now known as oldfashionedcow |
| 19:31:16 | <[exa]> | mastarija: looks like it needs ViewPatterns |
| 19:31:25 | <[exa]> | https://gitlab.haskell.org/ghc/ghc/-/wikis/pattern-synonyms#explicitly-bidirectional-pattern-synonyms |
| 19:31:54 | <mastarija> | pattern MkPosed p obj <- ((^._posedPose) &&& (^._posedObj) -> (p,obj)) where MkPosed p obj = mkPosed p obj |
| 19:32:10 | <mastarija> | yeah, this seems to be working |
| 19:32:14 | <Joao003> | uh oh |
| 19:32:41 | → | roconnor joins (~quassel@coq/roconnor) |
| 19:32:54 | <[exa]> | mastarija: does that go both ways? |
| 19:33:17 | <[exa]> | ah yeah the other one is in the mkPosed fn |
| 19:33:27 | <mastarija> | Yes, that's just a helper |
| 19:33:29 | <[exa]> | cool |
| 19:34:05 | <Joao003> | how does that work? |
| 19:35:44 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 19:36:41 | <[exa]> | Joao003: inserting patterns into other patterns |
| 19:37:24 | <Joao003> | pattern matching inside pattern matching? |
| 19:37:26 | <mastarija> | ViewPatterns are like pattern guards, so we check if this function constructed using arrow syntax results in a particular pattern |
| 19:41:27 | → | kenran joins (~user@user/kenran) |
| 19:41:55 | × | Xeroine quits (~Xeroine@user/xeroine) (Ping timeout: 260 seconds) |
| 19:41:58 | → | Xeroine_ joins (~Xeroine@user/xeroine) |
| 19:43:52 | × | Midjak quits (~Midjak@82.66.147.146) (Ping timeout: 256 seconds) |
| 19:45:04 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 19:50:29 | → | Homer_Simpson joins (uid550301@id-550301.uxbridge.irccloud.com) |
| 19:50:33 | × | coot quits (~coot@213.134.171.3) (Quit: coot) |
| 19:50:55 | ← | roconnor parts (~quassel@coq/roconnor) () |
| 19:56:04 | → | pagnol joins (~user@213-205-209-87.ftth.glasoperator.nl) |
| 19:56:48 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 19:57:07 | → | Guest41 joins (~Guest41@78-58-245-218.static.zebra.lt) |
| 19:57:17 | × | Guest41 quits (~Guest41@78-58-245-218.static.zebra.lt) (Client Quit) |
| 19:58:04 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 19:58:23 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 19:58:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:59:04 | × | pagnol quits (~user@213-205-209-87.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:02:28 | × | int-index quits (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) (Quit: Konversation terminated!) |
| 20:02:47 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 20:04:10 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 20:04:32 | → | barzo joins (~hd@31.223.41.44) |
| 20:04:37 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 20:05:45 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 20:06:40 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) (Remote host closed the connection) |
| 20:08:38 | × | Guest75 quits (~Guest75@178.141.138.233) (Ping timeout: 260 seconds) |
| 20:09:07 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) |
| 20:09:21 | → | coot joins (~coot@213.134.171.3) |
| 20:10:22 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 20:10:37 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 20:14:33 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 20:15:49 | <Joao003> | guys why is this not working |
| 20:15:58 | <Joao003> | trying to implement inits by myself |
| 20:16:30 | <Joao003> | > zipWith take [0..] "hi" |
| 20:16:33 | <lambdabot> | error: |
| 20:16:33 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[a]’ |
| 20:16:33 | <lambdabot> | Expected type: [[a]] |
| 20:17:37 | <Clint> | what are the two arguments to zipWith? |
| 20:17:48 | <Clint> | s/two/three/ |
| 20:17:54 | → | tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 20:18:06 | → | larrythecow joins (~Rahul_San@user/oldfashionedcow) |
| 20:19:14 | × | larrythecow quits (~Rahul_San@user/oldfashionedcow) (Client Quit) |
| 20:19:30 | → | larrythecow joins (~Rahul_San@user/oldfashionedcow) |
| 20:19:34 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 20:19:36 | × | larrythecow quits (~Rahul_San@user/oldfashionedcow) (Client Quit) |
| 20:20:40 | <mauke> | that's a map, not a zipWith |
| 20:22:21 | <Joao003> | > inits "hi" |
| 20:22:22 | <lambdabot> | ["","h","hi"] |
| 20:22:29 | <Joao003> | should produce that |
| 20:23:34 | <Clint> | so what you're expecting zipWith take [0..] "hi" to do is [take 0 "hi", take 1 "hi", take 2 "hi"] ? |
| 20:23:41 | <geekosaur> | :t zipWith take [0…] |
| 20:23:42 | <lambdabot> | error: |
| 20:23:42 | <lambdabot> | A section must be enclosed in parentheses thus: (0 …) |
| 20:23:51 | <geekosaur> | :t zipWith take [0..] |
| 20:23:53 | <lambdabot> | [[a]] -> [[a]] |
| 20:24:00 | <geekosaur> | note the type |
| 20:26:03 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 20:26:23 | <Joao003> | OH. |
| 20:26:46 | → | Vajb joins (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) |
| 20:27:22 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 20:28:52 | <Joao003> | > zipWith take [0..] . replicate (1 + length "hi") $ "hi" |
| 20:28:53 | <lambdabot> | ["","h","hi"] |
| 20:29:03 | <Joao003> | just need a replicate |
| 20:29:18 | <anatta> | @let f xs = zipWith take [0 .. (length xs - 1)] (repeat xs) |
| 20:29:19 | <lambdabot> | /sandbox/tmp/.L.hs:164:1: error: |
| 20:29:19 | <lambdabot> | Multiple declarations of ‘f’ |
| 20:29:19 | <lambdabot> | Declared at: /sandbox/tmp/.L.hs:160:1 |
| 20:29:25 | <anatta> | @let f' xs = zipWith take [0 .. (length xs - 1)] (repeat xs) |
| 20:29:27 | <lambdabot> | Defined. |
| 20:29:39 | <mauke> | that seems silly |
| 20:30:06 | <anatta> | it is |
| 20:32:11 | → | Midjak joins (~Midjak@82.66.147.146) |
| 20:34:22 | <Joao003> | As I'm doing code golf I shortened it down to this: |
| 20:34:44 | <Joao003> | > (\l->zipWith take[1..].replicate(1+length l)$l) "hi" -- golfed function! |
| 20:34:45 | <lambdabot> | ["h","hi","hi"] |
| 20:34:49 | <Joao003> | wait what |
| 20:34:51 | <Joao003> | nooo |
| 20:34:57 | <Joao003> | > (\l->zipWith take[0..].replicate(1+length l)$l) "hi" -- golfed function! |
| 20:34:59 | <lambdabot> | ["","h","hi"] |
| 20:35:42 | <Joao003> | even more golfed: |
| 20:36:21 | <Joao003> | > (\l->zipWith take[0..(length l)]l)"hi" |
| 20:36:23 | <lambdabot> | error: |
| 20:36:23 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[a]’ |
| 20:36:23 | <lambdabot> | Expected type: [[a]] |
| 20:36:47 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 20:37:03 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Remote host closed the connection) |
| 20:37:07 | <Joao003> | > (\l->zipWith take[0..(length l)](repeat l))"hi" |
| 20:37:09 | <lambdabot> | ["","h","hi"] |
| 20:37:42 | <mauke> | > (\l->map(`take`l)[0..length l])"hi" |
| 20:37:44 | <lambdabot> | ["","h","hi"] |
| 20:38:41 | → | mechap joins (~mechap@user/mechap) |
| 20:50:53 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 20:51:22 | → | batman_ joins (~batman@c83-253-98-90.bredband.tele2.se) |
| 20:55:00 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 20:57:00 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 21:01:59 | <slaydr> | quit |
| 21:04:17 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) (Remote host closed the connection) |
| 21:04:59 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) |
| 21:12:22 | <hololeap> | I'm curious if Set.foldr' and Set.foldl' behave differently apart from what direction they go. since Set is always finite I would assume not? |
| 21:12:23 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 21:12:56 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 21:13:42 | <pja> | hololeap: in what sense might they behave differently apart from the direction? |
| 21:13:58 | <pja> | (presumably the direction is based on the ordering of the set?) |
| 21:14:12 | <hololeap> | well, with lists you run into gotchas in the event that it's an infinite list |
| 21:14:37 | <hololeap> | I think the answer is pretty obvious, but sometimes I have to ask in order to see that ;) |
| 21:14:43 | <pja> | Yes, but Set is finite by definition? |
| 21:15:11 | <pja> | I might be missing something, but I think your intuition is correct here :) |
| 21:17:42 | <hololeap> | also, does this seem like a good implementation of unzip for Set? http://sprunge.us/8qTtfD |
| 21:19:04 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 21:19:15 | <hololeap> | I guess unzip for Set is kind of a weird concept. might be code smell there |
| 21:19:31 | → | acarrico joins (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 21:21:01 | <hololeap> | seeing how `unzip (fromList [(0,0), (0,1), (0,2), (0,3)])` == `(fromList [0], fromList [0,1,2,3])` |
| 21:22:00 | <hololeap> | I'm working on an unfamiliar codebase and trying to see if I can replace some lists with Sets |
| 21:23:27 | <hololeap> | thank the gods for HLS |
| 21:28:07 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 21:28:31 | <hololeap> | they're passing around tuples of [FilePath] like no tomorrow... |
| 21:29:08 | <hololeap> | at least make some newtypes... |
| 21:29:18 | <hololeap> | or comments... sigh |
| 21:29:47 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 21:29:53 | → | ham2 joins (~ham@user/ham) |
| 21:30:19 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 21:32:59 | × | hamster quits (~ham@user/ham) (Ping timeout: 260 seconds) |
| 21:34:13 | <anatta> | Joao003, mauke: not that I think you really care (especially not 1h later), but if you want short **and** almost reasonable looking :p |
| 21:34:18 | <anatta> | f xs = [take n xs | n <- [0..length xs]] |
| 21:36:24 | → | Albeit joins (~Albeit@91.150.188.137) |
| 21:36:43 | ← | Albeit parts (~Albeit@91.150.188.137) () |
| 21:37:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 21:37:51 | → | boxscape_ joins (~boxscape_@81.191.27.107) |
| 21:39:09 | <c_wraith> | anatta: you can probably find a lazier way to do that, which will work for an infinite input |
| 21:39:15 | <boxscape_> | I'm compiling GLSL shaders using template haskell, but they are in separate (non-.hs) files. Is it possible to somehow tell ghc that this module needs to be recompiled whenever those shader files change? |
| 21:39:55 | <boxscape_> | okay actually I'm *planning* to compile them using TH, I haven't actually done it yet |
| 21:40:36 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 21:41:20 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 21:42:05 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Ping timeout: 260 seconds) |
| 21:46:25 | × | Joao003 quits (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) (Quit: Leaving) |
| 21:47:54 | <c_wraith> | boxscape_: https://hackage.haskell.org/package/template-haskell-2.19.0.0/docs/Language-Haskell-TH-Syntax.html#v:addDependentFile |
| 21:48:10 | <boxscape_> | c_wraith cool, thank you |
| 21:50:15 | × | mastarija quits (~mastarija@188.252.197.161) (Quit: WeeChat 3.7.1) |
| 22:00:20 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 22:01:03 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 22:01:03 | jinsun | is now known as Guest2256 |
| 22:01:03 | × | Guest2256 quits (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 22:01:03 | jinsun__ | is now known as jinsun |
| 22:01:43 | → | OscarZ joins (~oscarz@95.175.104.39) |
| 22:02:09 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:02:18 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 22:05:02 | × | SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) () |
| 22:05:24 | → | SethTisue joins (sid14912@id-14912.ilkley.irccloud.com) |
| 22:13:02 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 22:15:45 | → | merijn joins (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 22:16:43 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Ping timeout: 260 seconds) |
| 22:17:04 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 22:17:28 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 22:18:59 | × | _xor quits (~xor@74.215.182.83) (Read error: Connection reset by peer) |
| 22:21:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 22:22:52 | → | _xor joins (~xor@74.215.182.83) |
| 22:24:28 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 22:24:47 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 22:25:41 | × | batman_ quits (~batman@c83-253-98-90.bredband.tele2.se) (Remote host closed the connection) |
| 22:30:05 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:33:12 | → | CiaoSen joins (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 22:34:02 | → | gmg joins (~user@user/gehmehgeh) |
| 22:35:51 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 22:41:33 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 22:41:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 22:43:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 22:49:24 | × | merijn quits (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 22:50:04 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 22:51:38 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 22:51:53 | → | jinsun joins (~jinsun@user/jinsun) |
| 22:57:45 | × | Homer_Simpson quits (uid550301@id-550301.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:04:26 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:05:48 | × | coot quits (~coot@213.134.171.3) (Quit: coot) |
| 23:08:04 | → | fizbin joins (~fizbin@user/fizbin) |
| 23:12:03 | <pja> | hololeap: unzip on a set does a bit weird. |
| 23:18:02 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 23:21:12 | × | CiaoSen quits (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 23:23:29 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 23:23:29 | × | jinsun quits (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 23:23:29 | jinsun__ | is now known as jinsun |
| 23:25:30 | → | freeside joins (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 23:25:46 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 23:31:26 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 23:32:14 | × | freeside quits (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 23:43:01 | × | acidjnk quits (~acidjnk@p200300d6e715c42465a1f0513dc44661.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:45:45 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 23:51:24 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 23:57:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
All times are in UTC on 2023-01-20.