Logs: liberachat/#haskell
| 2021-06-01 09:38:38 | <sshine> | mernerds |
| 2021-06-01 09:39:14 | <kuribas> | dminuoso: this. Orm's solve an imaginary problem |
| 2021-06-01 09:39:16 | <dminuoso> | Is there a way to ruthlessly exit from a Haskell program? exitWith relies on exceptions which are caught on their way up in my program. |
| 2021-06-01 09:39:23 | <dminuoso> | This is just for debugging purposes. :) |
| 2021-06-01 09:39:48 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-01 09:39:55 | <boxscape> | cause a ghc panic? |
| 2021-06-01 09:40:00 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-01 09:40:24 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-01 09:40:27 | <boxscape> | or a segfault |
| 2021-06-01 09:40:29 | <dminuoso> | Mmm. oh well, I guess I could use unsafeCoerce .. |
| 2021-06-01 09:40:48 | <dminuoso> | Is exit(2) not exposed to Haskell-land? |
| 2021-06-01 09:40:57 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-01 09:41:17 | <maerwald> | https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Process.html#v:exitImmediately |
| 2021-06-01 09:41:35 | <maerwald> | foreign import ccall unsafe "exit" -- looks good |
| 2021-06-01 09:41:51 | <dminuoso> | maerwald: Ah that looks right, thanks. |
| 2021-06-01 09:43:00 | <kuribas> | merijn: I don't think my library has those problems. |
| 2021-06-01 09:43:47 | → | xwx joins (~george@user/george) |
| 2021-06-01 09:43:55 | <kuribas> | merijn: if conduit doesn't finalize, then how do you finalize? |
| 2021-06-01 09:43:58 | <dminuoso> | Nobody thinks their library has problems. |
| 2021-06-01 09:44:00 | <dminuoso> | :-) |
| 2021-06-01 09:44:06 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-01 09:44:26 | <maerwald> | kuribas: wait for streamly to get SQL support :p |
| 2021-06-01 09:44:27 | <kuribas> | dminuoso: not until proven otherwise :) |
| 2021-06-01 09:44:43 | <Taneb> | kuribas: sometimes even then ;) |
| 2021-06-01 09:44:43 | <xwx> | does anyone know if you can use a preprocessor (specifically lhs2tex) with the haskell language server? |
| 2021-06-01 09:44:59 | → | japh joins (~scp1@user/japh) |
| 2021-06-01 09:45:52 | <kuribas> | dminuoso: also, I haven't made the library official since I still make changes as I use it :) |
| 2021-06-01 09:46:22 | <boxscape> | nshepperd erm I take my last statement about UnsafeRefl back, that's in the Core of any expression in ghci |
| 2021-06-01 09:48:10 | → | _xft0 joins (~root@185.234.208.208.r.toneticgroup.pl) |
| 2021-06-01 09:48:46 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 264 seconds) |
| 2021-06-01 09:52:34 | → | Katarushisu joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-06-01 09:54:06 | <boxscape> | % f :: forall a . (a ~ Int) => C a -> Bool; f = undefined -- this error message surprises me as well tbh |
| 2021-06-01 09:54:06 | <yahb> | boxscape: ; <interactive>:41:30: error:; * Couldn't match expected kind `Int' with actual kind `a'; `a' is a rigid type variable bound by; `forall a. (a ~ Int) => C a -> Bool'; at <interactive>:41:13; * In the type signature: f :: forall a. (a ~ Int) => C a -> Bool |
| 2021-06-01 09:56:48 | → | haskman joins (~haskman@171.48.41.1) |
| 2021-06-01 10:01:19 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 10:04:29 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-06-01 10:04:56 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-01 10:05:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Ping timeout: 252 seconds) |
| 2021-06-01 10:06:22 | → | Guest31 joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-06-01 10:06:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-01 10:08:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 10:08:33 | × | shryke quits (~shryke@91.103.43.254) (Ping timeout: 272 seconds) |
| 2021-06-01 10:08:46 | → | satai joins (~satai@static-84-42-172-253.net.upcbroadband.cz) |
| 2021-06-01 10:10:32 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-06-01 10:11:47 | × | bgamari quits (~bgamari@2001:470:e438::1) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-06-01 10:12:05 | → | bgamari joins (~bgamari@72.65.101.148) |
| 2021-06-01 10:13:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-01 10:13:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 10:17:17 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-06-01 10:17:25 | → | shryke joins (~shryke@91.103.43.254) |
| 2021-06-01 10:18:34 | → | prite joins (~pritam@user/pritambaral) |
| 2021-06-01 10:19:02 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-06-01 10:23:57 | × | thiross quits (~user@173.242.113.143.16clouds.com) (Ping timeout: 272 seconds) |
| 2021-06-01 10:24:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-01 10:25:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 10:26:46 | <boxscape> | hah |
| 2021-06-01 10:26:47 | <boxscape> | % type C :: forall a -> (a ~ Int) => *; data C a = C a deriving Show |
| 2021-06-01 10:26:47 | <yahb> | boxscape: |
| 2021-06-01 10:26:54 | <boxscape> | as far as I can tell, this Show instance is impossible to write by hand |
| 2021-06-01 10:27:34 | <boxscape> | (barring, perhaps, unsafeCoerce) |
| 2021-06-01 10:28:16 | <boxscape> | though I'm not even sure that helps |
| 2021-06-01 10:30:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-01 10:30:14 | <boxscape> | you can write one for `C Int`, but not for `Show a => C a`, which the derived one is |
| 2021-06-01 10:30:17 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-06-01 10:30:24 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-06-01 10:30:25 | cheater1__ | is now known as cheater |
| 2021-06-01 10:30:46 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-01 10:31:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 10:31:34 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-01 10:31:41 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-06-01 10:34:10 | → | pera joins (~pera@user/pera) |
| 2021-06-01 10:35:14 | <boxscape> | % :t show @(C _) -- well, this *claims* that it only works for C Int, however... |
| 2021-06-01 10:35:14 | <yahb> | boxscape: C Int -> String |
| 2021-06-01 10:35:15 | <boxscape> | % show (C "foo") -- this works just fine |
| 2021-06-01 10:35:15 | <yahb> | boxscape: "C \"foo\"" |
| 2021-06-01 10:35:25 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-01 10:35:47 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-01 10:35:59 | × | Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 272 seconds) |
| 2021-06-01 10:36:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-01 10:36:43 | × | haskman quits (~haskman@171.48.41.1) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-01 10:37:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 10:37:19 | <dminuoso> | boxscape What is this `type C :: ` annotation? |
| 2021-06-01 10:37:37 | <boxscape> | dminuoso -XStandaloneKindSignatures, or do you mean this specific one? |
| 2021-06-01 10:37:41 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 272 seconds) |
| 2021-06-01 10:37:43 | <dminuoso> | I guess that's what I mean |
| 2021-06-01 10:37:45 | <boxscape> | ok |
| 2021-06-01 10:38:28 | <dminuoso> | boxscape: Is there a linkage between the choice of the type variable `a` in the standalone kind signature and the following declaration? |
| 2021-06-01 10:38:35 | <dminuoso> | % type C :: forall b -> (b ~ Int) => *; data C a = C a deriving Show |
| 2021-06-01 10:38:35 | <yahb> | dminuoso: |
| 2021-06-01 10:38:39 | <boxscape> | nope |
| 2021-06-01 10:38:49 | <boxscape> | I don't think ScopedTypeVariables interacts with this, either |
| 2021-06-01 10:39:01 | <dminuoso> | What is => ? |
| 2021-06-01 10:39:09 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 272 seconds) |
| 2021-06-01 10:39:13 | <dminuoso> | Dark magic here |
| 2021-06-01 10:39:14 | <boxscape> | same as ever, constraint quantifier |
| 2021-06-01 10:39:19 | <dminuoso> | Oh |
| 2021-06-01 10:39:34 | <dminuoso> | Ah hold on, this `forall b -> ` is a visible something something |
| 2021-06-01 10:39:38 | <boxscape> | yup |
| 2021-06-01 10:39:44 | <boxscape> | visible dependent quantification |
| 2021-06-01 10:39:48 | <dminuoso> | Yes. |
All times are in UTC.