Logs: liberachat/#haskell
| 2021-07-07 11:28:42 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-07 11:29:03 | brown121407 | is now known as smarton |
| 2021-07-07 11:29:10 | × | dunkeln quits (~dunkeln@188.70.10.207) (Ping timeout: 246 seconds) |
| 2021-07-07 11:31:37 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-07 11:33:08 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection) |
| 2021-07-07 11:35:35 | <merijn> | What was the usecase? |
| 2021-07-07 11:38:48 | AlexNoo_ | is now known as AlexNoo |
| 2021-07-07 11:39:11 | absence_ | is now known as absence |
| 2021-07-07 11:40:14 | × | ahdyt quits (~ahdyt@103.105.35.90) (Quit: Client closed) |
| 2021-07-07 11:41:42 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 2021-07-07 11:42:32 | <frobnicator> | in templatehaskell, if I have a Name and want to convert this to for example a lowercase variant. How would I do this properly? For example, Name is "Main.T" and I want to make a new Name that has the value "t" |
| 2021-07-07 11:43:15 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-07-07 11:44:28 | → | y04nn joins (~y04nn@91.193.4.106) |
| 2021-07-07 11:45:23 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-07 11:45:58 | × | notzmv quits (~zmv@user/notzmv) (Remote host closed the connection) |
| 2021-07-07 11:46:09 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-07 11:47:02 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-07 11:48:38 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-07 11:49:43 | TheRAt | is now known as TheRAt_AWAY |
| 2021-07-07 11:49:46 | TheRAt_AWAY | is now known as TheRAt |
| 2021-07-07 11:50:34 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-07 11:51:57 | <absence> | in ghc 9, template haskell was changed so liftTyped returns Quote m => Code m a instead of Q (TExp a). this breaks the code "either fail liftTyped something" because Code doesn't have a MonadFail instance. what's the recommended way to deal with this? manually wrap the result of fail in Code, i.e. "either (Code . fail) liftTyped something", or does that have other consequences? |
| 2021-07-07 11:53:05 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-07 11:53:09 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-07-07 11:53:42 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-07 11:56:43 | → | dunkeln joins (~dunkeln@188.70.10.207) |
| 2021-07-07 11:58:05 | → | lortabac joins (~lortabac@95.138.56.124) |
| 2021-07-07 11:59:37 | × | azeem quits (~azeem@176.201.33.66) (Ping timeout: 246 seconds) |
| 2021-07-07 12:00:35 | → | azeem joins (~azeem@176.200.218.50) |
| 2021-07-07 12:02:42 | → | mikail joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-07 12:04:01 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-07 12:04:34 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-07 12:04:45 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-07 12:05:12 | merijn | is now known as Guest5099 |
| 2021-07-07 12:05:34 | comerijn | is now known as merijn |
| 2021-07-07 12:06:01 | → | alcume joins (~alcume@35.16.60.213.dynamic.reverse-mundo-r.com) |
| 2021-07-07 12:07:13 | × | jneira_ quits (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2021-07-07 12:07:49 | × | Guest5099 quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-07 12:09:10 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-07-07 12:15:15 | × | dunkeln quits (~dunkeln@188.70.10.207) (Ping timeout: 252 seconds) |
| 2021-07-07 12:18:24 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-07-07 12:19:44 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-07 12:24:58 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Ping timeout: 240 seconds) |
| 2021-07-07 12:29:01 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-07 12:30:25 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2021-07-07 12:30:31 | → | dunkeln joins (~dunkeln@188.70.10.207) |
| 2021-07-07 12:33:57 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds) |
| 2021-07-07 12:34:19 | → | unyu joins (~pyon@user/pyon) |
| 2021-07-07 12:35:27 | ← | unyu parts (~pyon@user/pyon) () |
| 2021-07-07 12:43:30 | × | azeem quits (~azeem@176.200.218.50) (Ping timeout: 272 seconds) |
| 2021-07-07 12:43:44 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9519e1b6d7c282fb2b66.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-07-07 12:43:51 | × | dunkeln quits (~dunkeln@188.70.10.207) (Ping timeout: 252 seconds) |
| 2021-07-07 12:44:36 | → | dunkeln joins (~dunkeln@188.70.10.207) |
| 2021-07-07 12:45:12 | → | azeem joins (~azeem@176.200.218.50) |
| 2021-07-07 12:48:21 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-07 12:51:29 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-07 12:54:33 | → | pbrisbin joins (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) |
| 2021-07-07 12:57:55 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-07 12:58:13 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-07 12:58:52 | → | habib joins (~habib@89.38.69.210) |
| 2021-07-07 13:00:47 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 252 seconds) |
| 2021-07-07 13:01:08 | → | alx741 joins (~alx741@181.196.69.147) |
| 2021-07-07 13:01:25 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-07 13:03:57 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-07 13:07:50 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-07-07 13:08:32 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-07 13:10:05 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-07 13:12:32 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-07 13:15:27 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-07 13:17:00 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds) |
| 2021-07-07 13:20:12 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-07 13:20:37 | → | re101-bombay-7 joins (~re101-bom@2601:203:c200:d6f0:2d33:506:5f01:fb2c) |
| 2021-07-07 13:22:26 | → | andreabedini joins (~andreabed@8s8kj6n700qk9hqmfk36.ip6.superloop.com) |
| 2021-07-07 13:27:21 | bwe_ | is now known as bwe |
| 2021-07-07 13:28:52 | × | re101-bombay-7 quits (~re101-bom@2601:203:c200:d6f0:2d33:506:5f01:fb2c) (Quit: Client closed) |
| 2021-07-07 13:30:10 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 240 seconds) |
| 2021-07-07 13:32:58 | × | benin0369 quits (~benin@183.82.204.181) (Ping timeout: 240 seconds) |
| 2021-07-07 13:38:12 | × | azeem quits (~azeem@176.200.218.50) (Ping timeout: 265 seconds) |
| 2021-07-07 13:38:31 | → | azeem joins (~azeem@176.200.218.50) |
| 2021-07-07 13:39:27 | → | warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) |
| 2021-07-07 13:43:06 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-07-07 13:43:39 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 13:47:46 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2021-07-07 13:48:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-07 13:49:04 | × | Taren quits (~Taren@port-92-196-211-46.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2021-07-07 13:49:12 | → | isekaijin joins (~pyon@user/pyon) |
| 2021-07-07 13:50:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-07 13:50:59 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-07 13:51:37 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-07 13:53:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-07 13:53:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-07 13:54:46 | <tromp> | in ghci, how do I see a value rather than the result of function show? |
| 2021-07-07 13:55:19 | <Clint> | what? |
| 2021-07-07 13:56:06 | <tromp> | i have a record that is instance of Show |
| 2021-07-07 13:56:20 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-07-07 13:56:22 | <tromp> | but i want to see record fields |
| 2021-07-07 13:57:04 | <turlando> | tromp maybe `:i Thing'? |
| 2021-07-07 13:57:18 | <nshepperd> | this is the regret one faces the morning after having the clever idea to write a custom Show instance |
| 2021-07-07 13:57:44 | <geekosaur> | there's a way to have ghci use something other than show, but it will then use it for everything |
| 2021-07-07 13:57:50 | <tromp> | no, :i doesn't show record value |
All times are in UTC.