Logs: liberachat/#haskell
| 2021-07-22 20:16:04 | shapr` | is now known as shapr |
| 2021-07-22 20:16:05 | <yushyin> | ldd =ghc |
| 2021-07-22 20:16:07 | <yushyin> | not a dynamic executable |
| 2021-07-22 20:16:27 | <yushyin> | ^^ |
| 2021-07-22 20:16:31 | <yushyin> | :) |
| 2021-07-22 20:16:34 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12) |
| 2021-07-22 20:16:56 | <Hecate> | yushyin: tssss |
| 2021-07-22 20:17:34 | <dminuoso> | Ah, so that means in addition to those 4 GHC library versions, we have a the static binary of it lying around too. |
| 2021-07-22 20:17:38 | <dminuoso> | So much space.. |
| 2021-07-22 20:21:13 | <Hecate> | if anyone knows a bit about parser combinators, this would be really helpful :P |
| 2021-07-22 20:21:46 | → | Null_A joins (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
| 2021-07-22 20:22:19 | <dminuoso> | Hecate: Take a BNF grammar for your sql flavour, turn it into right recursive if need be, and then directly translate into megaparsec? |
| 2021-07-22 20:23:18 | <yushyin> | dminuoso: oh, looks like i don't know my own ghc installation well enough. behind =ghc there is only a shell script, the real executable is actually dynamically linked |
| 2021-07-22 20:23:32 | <dminuoso> | yushyin: Heh. :) |
| 2021-07-22 20:23:37 | <dminuoso> | yushyin: Are you on nixos? |
| 2021-07-22 20:24:09 | <yushyin> | no, it's from ghcup |
| 2021-07-22 20:24:31 | <dminuoso> | Ah. Is that ghc shell script what ghcup modifies? |
| 2021-07-22 20:24:36 | <maerwald> | no |
| 2021-07-22 20:24:58 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:6c9:24d2:a2c6:1c69) |
| 2021-07-22 20:25:56 | <dminuoso> | Hecate: Or, maybe I misread your question. Your mistake is not using `lexeme` at all. :) |
| 2021-07-22 20:28:23 | × | qontinuum_ quits (qontinuum@user/qontinuum) (Quit: See ya) |
| 2021-07-22 20:28:38 | <yushyin> | dminuoso: https://paste.xinu.at/DtO7w7/ is the shell script :) in $PATH |
| 2021-07-22 20:28:40 | → | qontinuum joins (qontinuum@user/qontinuum) |
| 2021-07-22 20:28:52 | <maerwald> | yushyin: no |
| 2021-07-22 20:29:00 | <maerwald> | in PATH is only a symlink |
| 2021-07-22 20:29:08 | <maerwald> | that shell script is from GHC itself |
| 2021-07-22 20:29:21 | <yushyin> | well yes, i resolved the symlink |
| 2021-07-22 20:32:06 | <yushyin> | the point was that my attempt to run ldd on a shell script is rather useless :D |
| 2021-07-22 20:32:22 | <maerwald> | it would work on windows |
| 2021-07-22 20:32:27 | <maerwald> | try installing windows |
| 2021-07-22 20:32:29 | <maerwald> | xD |
| 2021-07-22 20:32:59 | <arkanoid> | thanks for the explanations. If it's all statically linked, I now understand how thinks stacks up to 2GB :D |
| 2021-07-22 20:33:32 | <maerwald> | on windows those are not shell scripts but .exe files |
| 2021-07-22 20:33:52 | → | acidjnk_new joins (~acidjnk@p200300d0c72b958874b654708e10a316.dip0.t-ipconnect.de) |
| 2021-07-22 20:33:57 | <maerwald> | and they are perfectly relocatable |
| 2021-07-22 20:34:14 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-22 20:34:27 | <maerwald> | everyone should use windows these days |
| 2021-07-22 20:36:29 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-22 20:37:34 | <zzz> | tomsmeding: i found this out because i wanted a Foldable instance and i needed a * -> *. I don't really know what I'm doing, just found out i nedded TypeSynonymInstances and FlexibleInstances |
| 2021-07-22 20:38:11 | <zzz> | for overleading toList |
| 2021-07-22 20:39:22 | <zzz> | i usually avoid extensions |
| 2021-07-22 20:39:46 | <tomsmeding> | zzz: TypeSynonymInstances for, well, making an instance for a type synonym (which is exactly equivalent to making an instance for the type that the synonym rewrites to) |
| 2021-07-22 20:40:14 | <tomsmeding> | FlexibleInstances for making an instance for 'Map k' where 'k' is not a type variable but a more specific type |
| 2021-07-22 20:40:29 | <tomsmeding> | those extensions are very benign as far as I understand |
| 2021-07-22 20:40:46 | <tomsmeding> | if you want to avoid using extensions here, use a newtype instead of a type synonym |
| 2021-07-22 20:40:50 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-22 20:40:53 | × | Null_A quits (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) (Remote host closed the connection) |
| 2021-07-22 20:41:03 | → | dagit joins (~dagit@2601:1c2:1b7f:9fa0:9903:10ed:1152:1e02) |
| 2021-07-22 20:42:44 | ← | smichel17 parts (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Good Bye) |
| 2021-07-22 20:42:54 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-22 20:43:03 | <zzz> | tomsmeding: maybe i should. i would need GeneralizedNewtypeDeriving |
| 2021-07-22 20:43:13 | <zzz> | though |
| 2021-07-22 20:43:44 | → | Null_A joins (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
| 2021-07-22 20:44:08 | <zzz> | i think |
| 2021-07-22 20:44:18 | <tomsmeding> | that's true, using a newtype forces you to re-implement the API of the wrapped type, including instances (for which GeneralizedNewtypeDeriving is a shortcut) |
| 2021-07-22 20:44:56 | <tomsmeding> | though you can also use DerivingVia instead of GeneralizedNewtypeDeriving |
| 2021-07-22 20:45:34 | <zzz> | looking into it |
| 2021-07-22 20:45:37 | <tomsmeding> | newtype Grid = Grid (M.Map (Int,Int)) deriving (Functor, Foldable) via (M.Map (Int,Int)) |
| 2021-07-22 20:45:49 | <tomsmeding> | which is a bit more explicit, if you like that |
| 2021-07-22 20:45:53 | <tomsmeding> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_via.html?highlight=derivingvia |
| 2021-07-22 20:45:54 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:6c9:24d2:a2c6:1c69) (Quit: WeeChat 2.8) |
| 2021-07-22 20:46:58 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-22 20:47:48 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 20:49:35 | → | zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
| 2021-07-22 20:49:49 | <zzz> | thanks |
| 2021-07-22 20:53:29 | × | Null_A quits (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) (Remote host closed the connection) |
| 2021-07-22 20:53:39 | <dsal> | Hecate: lexeme runs a parser and then throws away any whitespace after it, so the next parser is ready to run with. |
| 2021-07-22 20:55:05 | → | henrylaxen joins (~henrylaxe@199.58.86.204) |
| 2021-07-22 20:55:31 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 2021-07-22 20:56:05 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 2021-07-22 20:56:23 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 20:56:41 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-22 20:57:08 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-22 21:00:00 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-22 21:02:30 | × | ephemient quits (uid407513@id-407513.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-22 21:02:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-22 21:04:23 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 21:04:50 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 252 seconds) |
| 2021-07-22 21:06:53 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 21:07:10 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-22 21:07:28 | → | Null_A joins (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
| 2021-07-22 21:10:04 | → | pesada joins (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) |
| 2021-07-22 21:10:22 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-22 21:11:54 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds) |
| 2021-07-22 21:12:59 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-22 21:13:30 | × | agua quits (~agua@2804:18:49:b25b:1:0:4435:6601) (Ping timeout: 240 seconds) |
| 2021-07-22 21:14:30 | → | shapr` joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-22 21:14:48 | → | agua joins (~agua@2804:18:49:b25b:1:0:4435:6601) |
| 2021-07-22 21:16:05 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-22 21:16:29 | → | Core7286 joins (~agua@2804:18:49:5505:1:0:456a:29dd) |
| 2021-07-22 21:18:27 | × | pesada quits (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) (Ping timeout: 245 seconds) |
| 2021-07-22 21:19:24 | × | agua quits (~agua@2804:18:49:b25b:1:0:4435:6601) (Ping timeout: 256 seconds) |
| 2021-07-22 21:21:02 | × | Null_A quits (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) (Remote host closed the connection) |
| 2021-07-22 21:21:47 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12) (Ping timeout: 245 seconds) |
| 2021-07-22 21:24:16 | × | Bayes quits (~Bayes@user/bayes) (Quit: Connection closed) |
| 2021-07-22 21:24:17 | → | msr joins (~msr@2603-8081-8f00-5c00-0000-0000-0000-0007.res6.spectrum.com) |
| 2021-07-22 21:24:29 | shapr` | is now known as shapr |
| 2021-07-22 21:27:39 | → | Null_A joins (~null_a@2601:645:8700:2290:b5ac:63df:d679:fb5d) |
| 2021-07-22 21:29:19 | → | agua joins (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) |
| 2021-07-22 21:32:26 | × | Core7286 quits (~agua@2804:18:49:5505:1:0:456a:29dd) (Ping timeout: 256 seconds) |
All times are in UTC.