| 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 |
| 2026-03-05 17:33:28 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 17:34:18 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 17:34:21 +0100 | <Leary> | ski: Updated: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 2026-03-05 17:36:02 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-03-05 17:36:25 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-05 17:41:25 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 17:41:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 17:42:50 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-05 17:44:45 +0100 | myme | (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) (Ping timeout: 245 seconds) |
| 2026-03-05 17:46:03 +0100 | myme | (~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) myme |
| 2026-03-05 17:47:03 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:47:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 17:48:49 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 17:49:28 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 256 seconds) |
| 2026-03-05 17:54:27 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 2026-03-05 17:56:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-03-05 17:58:36 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-05 17:59:10 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 18:04:35 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-05 18:05:33 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-05 18:14:55 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-05 18:19:08 +0100 | Digit | (~user@user/digit) Digit |
| 2026-03-05 18:26:44 +0100 | Digit | digitteknohippie |
| 2026-03-05 18:27:04 +0100 | digitteknohippie | Digit |
| 2026-03-05 18:28:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-05 18:43:39 +0100 | <ski> | Leary : yea, type families would work |
| 2026-03-05 18:43:40 +0100 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 3.8) |
| 2026-03-05 18:44:14 +0100 | <ski> | .. oh, you did composition (`.') backwards |
| 2026-03-05 18:44:36 +0100 | <ski> | ah, because of `Stack xs ys', rather than `Stack ys xs' |
| 2026-03-05 18:45:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-05 18:46:15 +0100 | ski | would call the argument to `run', `w' (for "word"), and the `f' arguments to `push',`dup',`rot',`apply', `k' ("continuation") |
| 2026-03-05 18:46:49 +0100 | <ski> | rot k z y x = k x z y |
| 2026-03-05 18:46:51 +0100 | <ski> | minus k y x = k (x - y) |
| 2026-03-05 18:47:15 +0100 | <ski> | which would correspond to the stack effects |
| 2026-03-05 18:47:57 +0100 | <ski> | ( x y z -- y z x ) |
| 2026-03-05 18:48:04 +0100 | <ski> | ( x y -- x-y ) |
| 2026-03-05 18:48:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 18:50:38 +0100 | <ski> | any particular reason for `forall s ->' ? |
| 2026-03-05 18:54:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-03-05 18:54:55 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-03-05 18:57:21 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 19:02:04 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 19:09:43 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 19:13:30 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:13:48 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 19:13:50 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-03-05 19:14:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 19:14:19 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-03-05 19:16:28 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 19:16:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-05 19:16:41 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 19:17:36 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:18:24 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 19:21:39 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 19:23:49 +0100 | opqdonut__ | (opqdonut@pseudo.fixme.fi) (Ping timeout: 276 seconds) |
| 2026-03-05 19:25:18 +0100 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2026-03-05 19:25:59 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 19:26:50 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 19:31:04 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-05 19:38:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-03-05 19:41:26 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-03-05 19:47:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-05 19:53:39 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-05 19:56:53 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |