Newest at the top
| 2025-05-04 23:14:12 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-05-04 23:13:43 +0200 | <Rembane> | hellwolf: What problem would that solve for you? |
| 2025-05-04 23:12:49 +0200 | <hellwolf> | I wish there is such a parameterized Map container type: Map (k :: Type -> Type) (a :: Type -> Type), where k and a are indexed by a same type, so that a changes type as k changes type... |
| 2025-05-04 22:57:27 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-04 22:52:12 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-05-04 22:48:05 +0200 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-05-04 22:47:49 +0200 | emergence | (thelounge@vm0.max-p.me) (Ping timeout: 248 seconds) |
| 2025-05-04 22:44:26 +0200 | hsw_ | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-05-04 22:44:19 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Read error: Connection reset by peer) |
| 2025-05-04 22:35:44 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-05-04 22:24:19 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 276 seconds) |
| 2025-05-04 22:20:19 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-05-04 22:13:48 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-04 22:13:03 +0200 | Arpad | (~Arpad@2a02:ab88:38d:4700::b0d5) (Quit: Client closed) |
| 2025-05-04 22:11:20 +0200 | <hellwolf> | thanks everyone. learned a new trick today. |
| 2025-05-04 22:11:05 +0200 | <hellwolf> | probably not worth the effort, but good to know. |
| 2025-05-04 22:10:56 +0200 | <hellwolf> | that's added by the linking when building the binary |
| 2025-05-04 22:10:46 +0200 | <hellwolf> | 3 ± 2 seconds difference |
| 2025-05-04 22:10:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-04 22:07:15 +0200 | <hellwolf> | cabal "$@" -v1 repl --repl-options="-e main" RunYol |
| 2025-05-04 22:07:11 +0200 | <hellwolf> | to: |
| 2025-05-04 22:07:09 +0200 | <hellwolf> | "$runbin" || die |
| 2025-05-04 22:07:09 +0200 | <hellwolf> | runbin=$(cabal "$@" -v0 list-bin runyol) |
| 2025-05-04 22:07:09 +0200 | <hellwolf> | from |
| 2025-05-04 22:05:45 +0200 | <int-e> | err, --ghc-arg= |
| 2025-05-04 22:05:33 +0200 | <hellwolf> | let me see if it's faster |
| 2025-05-04 22:05:18 +0200 | <hellwolf> | hurray |
| 2025-05-04 22:05:12 +0200 | <hellwolf> | it worked |
| 2025-05-04 22:05:11 +0200 | <int-e> | does `cabal run` even work for the thing you're testing |
| 2025-05-04 22:05:01 +0200 | <int-e> | runghc will probably need something like runghc -ghc-arg=-i -ghc-arg=exe Main.hs |
| 2025-05-04 22:03:51 +0200 | <hellwolf> | | Internal error when trying to open a repl for the package fake-package-0. The package is not in the set of available targets for the project plan, which would suggest an inconsistency between readTargetSelectors and resolveTargets. |
| 2025-05-04 22:01:20 +0200 | <int-e> | maybe: cabal -v0 repl --repl-options="-e main" |
| 2025-05-04 21:58:10 +0200 | <hellwolf> | didn't work |
| 2025-05-04 21:58:08 +0200 | <hellwolf> | cabal exec runghc runyol |
| 2025-05-04 21:56:58 +0200 | <geekosaur> | cabal exec runghc … ? |
| 2025-05-04 21:56:48 +0200 | <hellwolf> | anyways, feeling like beating a dead horse now, I guess I will have to live with it or do something about it either using stack just for this or fix cabal. |
| 2025-05-04 21:55:45 +0200 | <hellwolf> | *I just want to |
| 2025-05-04 21:55:36 +0200 | <hellwolf> | now that I have that cabal project file, I just run that within a interpretation mode. |
| 2025-05-04 21:55:20 +0200 | Square | (~Square@user/square) Square |
| 2025-05-04 21:54:48 +0200 | <hellwolf> | I create cabal project file and run cabal <-- what I do |
| 2025-05-04 21:54:32 +0200 | <hellwolf> | EOF |
| 2025-05-04 21:54:31 +0200 | <hellwolf> | runyol.cabal |
| 2025-05-04 21:54:31 +0200 | <hellwolf> | $cabal_path |
| 2025-05-04 21:54:31 +0200 | <hellwolf> | packages: |
| 2025-05-04 21:54:31 +0200 | <hellwolf> | package-dbs: clear, global, ${cabal_package_db}, ${yolc_package_db} |
| 2025-05-04 21:54:31 +0200 | <hellwolf> | cat <<EOF |
| 2025-05-04 21:53:32 +0200 | <haskellbridge> | <sm> plus, I think relying on hidden package environment files will suck |
| 2025-05-04 21:52:57 +0200 | <haskellbridge> | <sm> though, that's a pain because it varies between linux / mac / freebsd, whether env -S is required in the shebang line |
| 2025-05-04 21:52:04 +0200 | <haskellbridge> | <sm> well a runghc shebang script could pass ghc opts to runghc |
| 2025-05-04 21:51:43 +0200 | <haskellbridge> | <sm> but if you want people to write scripts using your lib easily.. then no |