| 2026-03-05 00:00:13 +0100 | <newmind> | i have to say, big refactoring is actually quite fun in haskell... it's a joy when you're actually brave enough to do bigger structural changes and still not completely break your code |
| 2026-03-05 00:03:39 +0100 | <fgarcia> | with the language, that is one thing i like. maintaining something long term has been nice. |
| 2026-03-05 00:04:30 +0100 | <newmind> | its also nice while you're still figuring out the interface/structure, since you're less likely to settle with something that's not quite right |
| 2026-03-05 00:06:13 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-05 00:06:13 +0100 | <gentauro> | How do you specify in a .cabal file a specific GHC version to build. This is from a Haskell Stack yaml file: `resolver: ghc-7.10.2`. |
| 2026-03-05 00:08:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 00:10:19 +0100 | <geekosaur> | you don't, since you can't force someone installing from e.g. hackage to install particular ghc versions |
| 2026-03-05 00:10:27 +0100 | <geekosaur> | cabal.project can control it |
| 2026-03-05 00:11:03 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 00:11:03 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 00:11:03 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 00:11:17 +0100 | <geekosaur> | (stack, via snapshot/resolver, can control this, but it's because that installs ghc and specific versions of packages) |
| 2026-03-05 00:12:01 +0100 | <gentauro> | geekosaur: oh snap |
| 2026-03-05 00:12:01 +0100 | <geekosaur> | also, that resolver might not do what you intend: it installs only ghc bootlibs. you almost always want a full LTS or nightly version instead |
| 2026-03-05 00:12:38 +0100 | <gentauro> | so I'm building a package that works for 9.10.3, but since hackage builds with 9.8.4 it breaks |
| 2026-03-05 00:12:45 +0100 | <gentauro> | that's not very nice :-\ |
| 2026-03-05 00:12:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 00:13:23 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-03-05 00:13:29 +0100 | <geekosaur> | you have even less control over that: hackage will not install additional compilers on demand to support individual packages |
| 2026-03-05 00:13:35 +0100 | <geekosaur> | or libraries |
| 2026-03-05 00:14:08 +0100 | <gentauro> | geekosaur: hmmmm |
| 2026-03-05 00:14:22 +0100 | <gentauro> | so I need to aim at the ghc version installed on Hackage? |
| 2026-03-05 00:14:58 +0100 | <geekosaur> | only if you care about its build report |
| 2026-03-05 00:15:18 +0100 | <geekosaur> | you can build locally and upload documentation, hackage has instructions |
| 2026-03-05 00:15:56 +0100 | <geekosaur> | you can document what ghc versions are accepted (see `compiler:`) and that will be displayed on the package page |
| 2026-03-05 00:18:19 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-05 00:19:34 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-05 00:20:28 +0100 | <geekosaur> | if you want to be really pedantic you can check impl(ghc < 9.10) and set `buildable: False` so installers with too old compilers get better error messages |
| 2026-03-05 00:21:51 +0100 | <geekosaur> | (instead of compiler errors getting vomited up at them) |
| 2026-03-05 00:23:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 00:27:34 +0100 | <geekosaur> | years ago there was a matrix builder on hackage, but it broke and nobody's been able to figure out hvr's code to fix it |
| 2026-03-05 00:28:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-05 00:29:35 +0100 | <gentauro> | geekosaur: I'm trying to build for 9.8.4 |
| 2026-03-05 00:29:38 +0100 | <gentauro> | hope that helps |
| 2026-03-05 00:30:41 +0100 | <geekosaur> | isn't that a different kind of problem? you'll have to check the 9.10 release notes and see if you're tripping over an incompatibility or new feature |
| 2026-03-05 00:31:25 +0100 | j0lol | (~j0lol@132.145.17.236) (Ping timeout: 245 seconds) |
| 2026-03-05 00:34:29 +0100 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2026-03-05 00:37:42 +0100 | msa | (msa@msa.planetofnix.com) (Ping timeout: 268 seconds) |
| 2026-03-05 00:38:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 00:40:24 +0100 | <gentauro> | geekosaur: yeah, if I "make changes" to build for 9.8.4, then 9.10.4 no longer builds |
| 2026-03-05 00:40:31 +0100 | <gentauro> | kind of `meh` |
| 2026-03-05 00:41:43 +0100 | gentauro | I will look again at it tmorrow. To tired to care |
| 2026-03-05 00:45:42 +0100 | msa | (msa@msa.planetofnix.com) |
| 2026-03-05 00:45:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 00:46:50 +0100 | <geekosaur> | worst case you'll need to enable CPP and conditionalize code on __GLASGGW_HASKELL__ (https://downloads.haskell.org/ghc/latest/docs/users_guide/phases.html#standard-cpp-macros) |
| 2026-03-05 00:48:27 +0100 | <geekosaur> | (dammit I typed that three times and still got it wrong) |
| 2026-03-05 00:51:56 +0100 | mange | (~mange@user/mange) (Ping timeout: 252 seconds) |
| 2026-03-05 00:53:00 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-03-05 00:56:06 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-05 00:56:43 +0100 | foul_owl | (~kerry@94.156.149.94) (Ping timeout: 264 seconds) |
| 2026-03-05 00:56:44 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-05 00:57:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 00:57:19 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) arandombit |
| 2026-03-05 00:57:19 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 00:57:19 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 00:58:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2026-03-05 00:59:30 +0100 | <gentauro> | geekosaur: it actually build and now it's green on both `build` and `documentation` on Hackage |
| 2026-03-05 00:59:43 +0100 | <gentauro> | I guess people trying to build with 0.10.3 gonna get recked? |
| 2026-03-05 00:59:51 +0100 | <gentauro> | anyway, heading to bed |
| 2026-03-05 01:01:47 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-05 01:01:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 01:02:16 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-05 01:10:47 +0100 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-03-05 01:13:08 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 01:17:48 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 01:28:55 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 01:30:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 01:30:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 01:30:23 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 01:33:18 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 01:41:21 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 01:42:40 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-05 01:44:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 01:46:23 +0100 | xff0x | (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2026-03-05 01:47:59 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.243) |
| 2026-03-05 01:48:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 01:50:07 +0100 | AlexZenon | (~alzenon@94.233.241.37) (Ping timeout: 264 seconds) |
| 2026-03-05 01:51:00 +0100 | Alex_delenda_est | (~al_test@94.233.241.37) (Ping timeout: 245 seconds) |
| 2026-03-05 01:51:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-05 01:51:25 +0100 | AlexNoo | (~AlexNoo@94.233.241.37) (Ping timeout: 245 seconds) |
| 2026-03-05 01:52:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-05 01:52:55 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 01:53:10 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 01:57:29 +0100 | vito_ | (uid1962@id-1962.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-05 01:57:59 +0100 | AlexZenon | (~alzenon@178.34.150.243) |
| 2026-03-05 02:00:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 02:09:45 +0100 | jreicher | (~joelr@user/jreicher) (Ping timeout: 245 seconds) |
| 2026-03-05 02:10:24 +0100 | wickedjargon | (~user@96.49.241.245) wickedjargon |
| 2026-03-05 02:12:34 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 02:12:34 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 02:12:34 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 02:15:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:16:34 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e5173857d47938b5e6dc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-05 02:17:44 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-05 02:22:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 02:27:37 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) () |
| 2026-03-05 02:31:08 +0100 | <Leary> | aka_dude: If you still want to play with them, ski's stack declarations presumably looked something like this: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 2026-03-05 02:32:16 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-05 02:33:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:36:17 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 02:36:17 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 02:36:17 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 02:38:15 +0100 | mange | (~mange@user/mange) (Ping timeout: 265 seconds) |
| 2026-03-05 02:38:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-05 02:38:44 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Ping timeout: 265 seconds) |
| 2026-03-05 02:40:03 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-03-05 02:40:57 +0100 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-05 02:41:30 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-05 02:45:22 +0100 | xff0x | (~xff0x@182.169.73.28) |
| 2026-03-05 02:49:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:53:23 +0100 | wickedjargon | (~user@96.49.241.245) (Ping timeout: 244 seconds) |
| 2026-03-05 02:53:41 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 02:53:41 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 02:53:41 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 02:54:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 02:56:34 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 02:58:10 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-05 02:58:53 +0100 | simpleshun | (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 2026-03-05 03:05:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 03:09:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-05 03:20:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 03:21:56 +0100 | wickedjargon | (~user@207.194.38.18) wickedjargon |
| 2026-03-05 03:25:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 03:26:38 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-05 03:36:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 03:41:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 03:41:20 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-05 03:43:52 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-03-05 03:44:39 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-05 03:46:25 +0100 | qqq | (~qqq@185.54.22.240) (Quit: Lost terminal) |
| 2026-03-05 03:52:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 03:58:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-05 03:59:04 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 04:04:59 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-03-05 04:08:33 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 04:08:36 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 04:09:08 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 04:10:27 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 04:11:34 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 04:11:34 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 04:11:34 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 04:12:13 +0100 | wickedja` | (~user@2605:8d80:5430:2896:f12c:b96b:7672:6460) |
| 2026-03-05 04:13:36 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 04:13:54 +0100 | wickedjargon | (~user@207.194.38.18) (Ping timeout: 248 seconds) |
| 2026-03-05 04:15:01 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 04:18:51 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 04:20:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-05 04:24:15 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 04:24:22 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 04:25:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 04:29:35 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 04:29:41 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 04:30:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 04:36:35 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 04:36:55 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 04:37:00 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 04:41:44 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 04:43:09 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2026-03-05 04:46:00 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2026-03-05 04:55:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-05 04:57:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 04:57:41 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2026-03-05 04:57:41 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-03-05 04:57:41 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-05 04:58:28 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-03-05 05:01:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 05:08:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 05:13:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-05 05:13:59 +0100 | aaron_ | (~aaron@2601:602:8d00:c320:3465:85c5:90c3:777f) |
| 2026-03-05 05:24:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 05:29:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 05:30:12 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-03-05 05:35:55 +0100 | wickedja` | (~user@2605:8d80:5430:2896:f12c:b96b:7672:6460) (Remote host closed the connection) |
| 2026-03-05 05:40:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 05:45:38 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 05:46:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 05:58:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 06:00:34 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 06:01:17 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 06:03:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 06:06:03 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 06:06:17 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 06:12:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-05 06:14:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 06:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 06:27:51 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 06:28:38 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 06:30:19 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 06:33:40 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-05 06:33:44 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-05 06:34:31 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 06:38:07 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-03-05 06:38:42 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 2026-03-05 06:42:39 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 06:42:58 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 06:43:21 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-05 06:43:51 +0100 | xff0x | (~xff0x@182.169.73.28) (Quit: xff0x) |
| 2026-03-05 06:45:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 06:46:40 +0100 | xff0x | (~xff0x@182.169.73.28) |
| 2026-03-05 06:46:58 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-05 06:50:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 06:50:35 +0100 | mange | (~mange@user/mange) (Ping timeout: 245 seconds) |
| 2026-03-05 06:54:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-05 07:00:26 +0100 | michalz | (~michalz@185.246.207.215) |
| 2026-03-05 07:10:05 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 07:10:08 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 07:13:29 +0100 | <gentauro> | geekosaur: morning :) (thx for the help yesterday) |
| 2026-03-05 07:14:03 +0100 | <gentauro> | with a fresh mind -> https://gitlab.com/a-gent/a-gent/-/blob/main/A-gent.cabal?ref_type=heads#L33-38 https://gitlab.com/a-gent/a-gent/-/blob/main/build.sh?ref_type=heads#L9-26 https://gitlab.com/a-gent/a-gent/-/blob/main/hdocs.sh?ref_type=heads#L18-25 and https://gitlab.com/a-gent/a-gent/-/blob/main/pkgup.sh?ref_type=heads#L24-37 |
| 2026-03-05 07:14:11 +0100 | <gentauro> | all good now (once again, many thx) |
| 2026-03-05 07:14:18 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 07:25:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 07:26:03 +0100 | hc | (~hc@mail.hce.li) hc |
| 2026-03-05 07:30:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-05 07:32:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-05 07:32:35 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 2026-03-05 07:32:41 +0100 | lol__ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 2026-03-05 07:35:03 +0100 | lol_ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 246 seconds) |
| 2026-03-05 07:35:13 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-05 07:35:48 +0100 | lol_ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 2026-03-05 07:36:06 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 246 seconds) |
| 2026-03-05 07:36:50 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-03-05 07:36:51 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 2026-03-05 07:38:05 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 2026-03-05 07:38:10 +0100 | lol__ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 248 seconds) |
| 2026-03-05 07:43:55 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 07:48:24 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 07:56:50 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-05 07:57:23 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-03-05 07:59:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 08:03:05 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-05 08:04:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-05 08:10:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 08:11:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2026-03-05 08:13:44 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 08:13:44 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 08:13:44 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 08:15:01 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-03-05 08:15:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 08:16:29 +0100 | <aka_dude> | Leary: 🤯 |
| 2026-03-05 08:19:35 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 08:30:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-05 08:30:50 +0100 | aaron_ | (~aaron@2601:602:8d00:c320:3465:85c5:90c3:777f) (Quit: Leaving) |
| 2026-03-05 08:33:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-05 08:35:30 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-05 08:37:15 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-05 08:43:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2026-03-05 08:43:29 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-05 08:44:08 +0100 | kuribas | (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) kuribas |
| 2026-03-05 08:44:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-05 08:44:45 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 09:02:34 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-05 09:04:30 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-05 09:06:50 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-03-05 09:07:08 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-05 09:08:21 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 09:08:21 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 09:08:21 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 09:09:06 +0100 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2026-03-05 09:14:33 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-05 09:23:43 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-05 09:31:14 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 09:31:26 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 09:33:01 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) acidjnk |
| 2026-03-05 09:38:57 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 09:44:14 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 09:47:04 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-03-05 09:49:29 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 09:49:30 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2026-03-05 09:49:57 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-03-05 09:51:28 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 09:55:03 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 09:57:39 +0100 | Square | (~Square4@user/square) Square |
| 2026-03-05 09:59:06 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2026-03-05 10:09:10 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-05 10:09:22 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-05 10:09:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-05 10:26:28 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-05 10:38:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-05 10:43:41 +0100 | chele | (~chele@user/chele) chele |
| 2026-03-05 11:05:05 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-05 11:06:12 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 11:10:06 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 265 seconds) |
| 2026-03-05 11:21:16 +0100 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 244 seconds) |
| 2026-03-05 11:23:12 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-05 11:26:57 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 244 seconds) |
| 2026-03-05 11:35:39 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-05 11:40:43 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 11:54:42 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-05 11:58:07 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-05 12:00:02 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e5630d82fe39e12aa3e5.dip0.t-ipconnect.de) acidjnk |
| 2026-03-05 12:02:32 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 12:02:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-03-05 12:03:35 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:13:46 +0100 | <Athas> | Is there a convenient way to go from an Int to an ExitCode in the obvious way? I.e., 0 becomes ExitSuccess and everything else becomes ExitFailure? |
| 2026-03-05 12:13:57 +0100 | <Athas> | It seems like an obvious thing, and it's three lines of code to do by hand. |
| 2026-03-05 12:16:28 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-05 12:16:42 +0100 | <haskellbridge> | <magic_rb> Athas: well no, because thats obvious only on linux |
| 2026-03-05 12:17:15 +0100 | <int-e> | exitWith (if c == 0 then ExitSuccess else ExitFailure c) --- how does this turn into three lines? |
| 2026-03-05 12:17:29 +0100 | <Athas> | I wrote it with case instead of if. |
| 2026-03-05 12:18:22 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b1a8:2b42:9b46:3f85) |
| 2026-03-05 12:34:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-05 12:41:49 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-05 12:45:04 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 12:47:03 +0100 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 12:47:45 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:48:29 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-05 12:59:17 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-05 13:16:03 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 13:18:27 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 13:20:57 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 13:37:31 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 13:37:47 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:46:06 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-05 13:47:52 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 13:48:15 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:49:02 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:49:15 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 13:49:25 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:49:38 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:50:00 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:50:07 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:50:45 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:52:16 +0100 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-05 13:53:11 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:53:38 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:54:55 +0100 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 13:55:22 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:56:28 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:57:03 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:57:54 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 13:58:02 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 14:02:10 +0100 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2026-03-05 14:03:44 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2026-03-05 14:06:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 14:11:08 +0100 | AlexNoo_ | AlexNoo |
| 2026-03-05 14:11:45 +0100 | Alex_delenda_est | (~al_test@178.34.150.243) |
| 2026-03-05 14:18:21 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2026-03-05 14:18:31 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 14:28:31 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) |
| 2026-03-05 14:31:16 +0100 | n0den1te | (~n0den1te@user/n0den1te) n0den1te |
| 2026-03-05 14:36:53 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-05 14:37:07 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 14:39:07 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 276 seconds) |
| 2026-03-05 15:05:58 +0100 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 268 seconds) |
| 2026-03-05 15:06:29 +0100 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2026-03-05 15:07:21 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-03-05 15:17:05 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 15:18:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-05 15:19:05 +0100 | chaseabagg | (~chaseabag@2600:387:15:5519::3) |
| 2026-03-05 15:19:29 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 15:21:43 +0100 | <ski> | Leary,aka_dude : no. there are no pairs (tuples) in my version (from around ~ 2004 or so, iirc) |
| 2026-03-05 15:22:18 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 15:22:49 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 15:27:32 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) (Remote host closed the connection) |
| 2026-03-05 15:33:45 +0100 | chaseabagg | (~chaseabag@2600:387:15:5519::3) (Quit: Client closed) |
| 2026-03-05 15:38:33 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-05 15:38:34 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-03-05 15:38:41 +0100 | <ski> | > run (push 4 . push 7 . dup . rot . dup . rot_ . minus . rot_ . plus . times) |
| 2026-03-05 15:38:42 +0100 | <lambdabot> | 33 |
| 2026-03-05 15:39:21 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-05 15:39:52 +0100 | <ski> | (i threw in `drop',`nip',`dup',`over',`swap',`rot',`rot_' in addition to (`run',`push',`apply' and) `plus',`minus',`times' .. see e.g. <https://deepwiki.com/zserge/lc3-forth/3.1-stack-manipulation> for the stack effectt of the former) |
| 2026-03-05 15:40:25 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-05 15:40:52 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-05 15:41:17 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-05 15:42:58 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-05 15:48:16 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 15:48:26 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 15:52:30 +0100 | <Leary> | ski: Like so? `run f = f id; push x = \f -> f x; apply f = \g x -> f (g x)` |
| 2026-03-05 15:56:05 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:00:06 +0100 | <ski> | yes (although i used no lambdas. i don't really see a point, here, apart maybe from `\x -> x' instead of `id') |
| 2026-03-05 16:01:14 +0100 | <ski> | you see how e.g. `plus',`minus' or `dup',`rot' were defined ? |
| 2026-03-05 16:01:19 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:01:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-05 16:03:34 +0100 | <Leary> | Well, it's just a way to indicate where the "arguments" end and the "result" begins (that last `f` should have been on the RHS). If your stack type had it's implementation details hidden by a newtype, that's probably where the constructor would be. |
| 2026-03-05 16:05:33 +0100 | <ski> | "that last `f` should have been on the RHS" -- ah, that's what was confusing me |
| 2026-03-05 16:09:04 +0100 | <ski> | but yea .. it's not too clear to me how to hide it behind a `newtype' in a meaningful (nontrivial) way |
| 2026-03-05 16:10:03 +0100 | <ski> | (type of e.g. `dup' should clarify this) |
| 2026-03-05 16:11:19 +0100 | <Leary> | Yeah, that was more just to get the idea of the divide across. |
| 2026-03-05 16:13:05 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-03-05 16:13:10 +0100 | <ski> | it's a quite neat idea for how to do a heterogenous concatenative stack, without stack constructors |
| 2026-03-05 16:13:45 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-03-05 16:14:48 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 2026-03-05 16:23:46 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:23:53 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:24:51 +0100 | gabiruh | (~gabiruh@191.252.222.55) (Read error: Connection reset by peer) |
| 2026-03-05 16:24:54 +0100 | gabiruh_ | (~gabiruh@191.252.222.55) gabiruh |
| 2026-03-05 16:26:37 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-03-05 16:27:37 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-05 16:31:40 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-03-05 16:33:47 +0100 | gabiruh_ | (~gabiruh@191.252.222.55) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 16:34:03 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-05 16:39:07 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-05 16:52:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 16:52:57 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 16:56:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-05 17:01:41 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 17:01:49 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 17:03:01 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 17:04:57 +0100 | n0den1te | (~n0den1te@user/n0den1te) (Quit: leaving) |
| 2026-03-05 17:05:38 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 17:07:17 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:12:48 +0100 | loungerry_ | (~loungerry@user/loungerry-:45058) (Quit: left) |
| 2026-03-05 17:12:59 +0100 | loungerry_ | (~loungerry@150.241.86.78) |
| 2026-03-05 17:13:55 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-05 17:15:26 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 17:17:35 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2026-03-05 17:23:55 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 17:24:29 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 17:26:34 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 2026-03-05 17:27:17 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |