Logs: liberachat/#haskell
| 2021-08-24 16:13:47 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-08-24 16:16:18 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-24 16:16:21 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-24 16:24:01 | × | alicebudda quits (~alicebudd@cold.passenger.volia.net) (Quit: Client closed) |
| 2021-08-24 16:24:37 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-24 16:26:55 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-24 16:29:56 | → | son0p joins (~ff@181.136.122.143) |
| 2021-08-24 16:30:11 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-08-24 16:31:28 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 252 seconds) |
| 2021-08-24 16:32:43 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 16:40:23 | ← | zzz parts (~yin@user/yin) () |
| 2021-08-24 16:40:41 | → | zzz joins (~yin@user/yin) |
| 2021-08-24 16:42:51 | Sqaure | is now known as B2G2_ |
| 2021-08-24 16:43:12 | B2G2_ | is now known as Sqaure |
| 2021-08-24 16:43:16 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-24 16:43:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 16:47:30 | <gaze___> | is there a nice utility for string templating in haskell but inline as a template haskell extension? |
| 2021-08-24 16:47:39 | <gaze___> | something closer to python’s string formatting |
| 2021-08-24 16:47:53 | <gaze___> | or alternatively — is there a nice utility for generating c++ code? |
| 2021-08-24 16:48:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-24 16:51:43 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-24 16:52:45 | <gaze___> | ah test.shakespeare.text |
| 2021-08-24 16:52:51 | <gaze___> | *text.shakespeare.text |
| 2021-08-24 16:53:28 | × | shailangsa quits (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-08-24 16:53:58 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-24 16:54:39 | → | arjun joins (~Srain@110.235.239.43) |
| 2021-08-24 16:54:42 | × | arjun quits (~Srain@110.235.239.43) (Remote host closed the connection) |
| 2021-08-24 16:55:56 | × | oxide quits (~lambda@user/oxide) (Client Quit) |
| 2021-08-24 17:00:01 | → | pavonia joins (~user@user/siracusa) |
| 2021-08-24 17:00:17 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 248 seconds) |
| 2021-08-24 17:00:37 | × | Sinbad quits (~Sinbad@user/sinbad) (Ping timeout: 252 seconds) |
| 2021-08-24 17:03:12 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 17:05:06 | → | buggymcbugfix joins (~buggymcbu@p4fcaa0a6.dip0.t-ipconnect.de) |
| 2021-08-24 17:05:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Remote host closed the connection) |
| 2021-08-24 17:08:07 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 240 seconds) |
| 2021-08-24 17:12:27 | × | keutoi quits (~keutoi@157.48.189.217) (Ping timeout: 240 seconds) |
| 2021-08-24 17:13:27 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) |
| 2021-08-24 17:13:51 | → | Achylles joins (~Achylles_@2804:431:d724:c077:94a6:8465:b517:1da8) |
| 2021-08-24 17:14:24 | → | keutoi joins (~keutoi@223.238.95.231) |
| 2021-08-24 17:14:42 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-24 17:16:16 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 2021-08-24 17:16:28 | → | azeem joins (~azeem@dynamic-adsl-94-34-21-20.clienti.tiscali.it) |
| 2021-08-24 17:16:35 | → | cuz joins (~user@38.140.58.234) |
| 2021-08-24 17:17:51 | × | jespada quits (~jespada@90.254.245.194) (Ping timeout: 250 seconds) |
| 2021-08-24 17:18:51 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-24 17:19:54 | × | keutoi quits (~keutoi@223.238.95.231) (Quit: leaving) |
| 2021-08-24 17:19:57 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-24 17:20:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-24 17:20:10 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-24 17:20:21 | → | jespada joins (~jespada@90.254.245.194) |
| 2021-08-24 17:21:18 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-08-24 17:21:48 | → | fef joins (~thedawn@user/thedawn) |
| 2021-08-24 17:21:49 | <buggymcbugfix> | how would i create a dependency graph of a haskell definition (not module!) wrt to its free variables? |
| 2021-08-24 17:22:31 | <buggymcbugfix> | automatically.. |
| 2021-08-24 17:22:34 | × | Achylles quits (~Achylles_@2804:431:d724:c077:94a6:8465:b517:1da8) (Remote host closed the connection) |
| 2021-08-24 17:23:25 | <c_wraith> | I don't think there's anything easily adapted to that purpose. |
| 2021-08-24 17:24:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-24 17:25:22 | <c_wraith> | The various IDE support tools probably are the closest tools to that, but they only work with source. |
| 2021-08-24 17:25:37 | <buggymcbugfix> | yep, i've got the sources |
| 2021-08-24 17:25:44 | <c_wraith> | Of course, giving how aggressive GHC can be with inlining, source is the only reliable way to do it in the first place |
| 2021-08-24 17:25:56 | <buggymcbugfix> | which IDE support tools do you have in mind? |
| 2021-08-24 17:26:33 | <c_wraith> | anything that supports "jump to definition" has all the pieces you need, but they aren't arranged the way you want |
| 2021-08-24 17:26:33 | × | azeem quits (~azeem@dynamic-adsl-94-34-21-20.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-24 17:27:11 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-24 17:27:54 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-24 17:28:41 | <buggymcbugfix> | if i want to use ghc itself for this, i'm assuming all the information i need is at the renaming stage |
| 2021-08-24 17:28:48 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-24 17:29:27 | → | azeem joins (~azeem@dynamic-adsl-94-34-21-20.clienti.tiscali.it) |
| 2021-08-24 17:29:33 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 250 seconds) |
| 2021-08-24 17:31:09 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-24 17:34:38 | <buggymcbugfix> | aha, this seems interesting: https://hackage.haskell.org/package/ghc-8.10.2/docs/src/GHC.Hs.Binds.html#HsBindLR |
| 2021-08-24 17:35:21 | → | wjl joins (~wjl@024-241-014-164.res.spectrum.com) |
| 2021-08-24 17:35:36 | ← | wjl parts (~wjl@024-241-014-164.res.spectrum.com) () |
| 2021-08-24 17:36:03 | <cdsmith> | Is there any way to say something like this in a rewrite rule? {-# RULES "foo" forall a. Show a => forall (x :: a). foo x = fooWithShow x #-} |
| 2021-08-24 17:36:40 | <cdsmith> | That fails with a syntax error, but hopefully gets the idea across |
| 2021-08-24 17:37:16 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-24 17:37:29 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-24 17:37:47 | <cdsmith> | If I leave out the Show, I get an error saying "Possible fix: Add Show a to the context of the RULE", which makes me hopeful! |
| 2021-08-24 17:38:07 | × | azeem quits (~azeem@dynamic-adsl-94-34-21-20.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2021-08-24 17:38:46 | → | Guest42 joins (~Guest42@adsl-72-50-7-6.prtc.net) |
| 2021-08-24 17:39:25 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Remote host closed the connection) |
| 2021-08-24 17:40:12 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 17:45:40 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-24 17:45:43 | × | zer0bitz quits (~zer0bitz@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-24 17:46:13 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-08-24 17:46:28 | → | PinealGlandOptic joins (~PinealGla@195.60.174.145) |
| 2021-08-24 17:46:36 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 2021-08-24 17:48:06 | <carter> | cdsmith: I think you can just syntactically inject show |
| 2021-08-24 17:48:15 | <carter> | And … it’ll mostly work? |
| 2021-08-24 17:48:28 | <cdsmith> | @carter I'm not sure what that means. |
| 2021-08-24 17:48:29 | <lambdabot> | A rocky road is easier to travel than a stone wall. |
| 2021-08-24 17:48:42 | <carter> | Do it without the type constraints ? |
| 2021-08-24 17:49:24 | <cdsmith> | Like this? https://code.world/haskell#Pxi2jzEgRtHTbbZHuPbIfew Doesn't work |
| 2021-08-24 17:49:48 | <carter> | Hrmm |
| 2021-08-24 17:50:17 | <cdsmith> | I would love to "add Show a to the context of the RULE" as suggested. I just cannot find the syntax to do so |
| 2021-08-24 17:51:26 | <carter> | cdsmith: the issue may also be that foralls in rules also are used for quantifying over syntax? |
| 2021-08-24 17:51:41 | <carter> | fgaz: you have any ideas here ? |
| 2021-08-24 17:52:13 | <carter> | This is actually a kinda cool problem you’ve hit |
| 2021-08-24 17:52:55 | <carter> | cdsmith: I pulled my back this AM, but I totally will dig into this :) |
| 2021-08-24 17:52:59 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) |
All times are in UTC.