Logs: liberachat/#haskell
| 2021-06-15 20:50:18 | <dminuoso> | And even that only applies to 9.2.1 |
| 2021-06-15 20:50:18 | × | fishfinger quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-06-15 20:50:30 | <dminuoso> | A record update is not possible in this manner |
| 2021-06-15 20:50:40 | × | ixlun quits (~matthew@213.205.241.86) (Read error: Connection reset by peer) |
| 2021-06-15 20:50:41 | <dminuoso> | Im guessing there's good reason for this |
| 2021-06-15 20:50:44 | <kuribas> | so genericLens then? |
| 2021-06-15 20:50:47 | → | fishfinger joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) |
| 2021-06-15 20:51:07 | <kuribas> | or just making a new record. |
| 2021-06-15 20:51:51 | → | fishfinger_ joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) |
| 2021-06-15 20:51:58 | <dminuoso> | https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields/duplicate-record-fields contains some implicit notes |
| 2021-06-15 20:52:03 | <dminuoso> | `Note that we do not look up the types of variables being updated, and no constraint-solving is performed, so for example the following will be rejected as ambiguous:` |
| 2021-06-15 20:52:09 | × | fishfinger quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-06-15 20:52:51 | <dminuoso> | 22:40:00 kuribas | Use an explicit type signature on the record expression, as in: h x = (x :: T) { foo = 3 } |
| 2021-06-15 20:52:56 | <dminuoso> | This requires DuplicateRecordFields, mind you |
| 2021-06-15 20:53:42 | × | mengu quits (~mengu@c188-150-13-129.bredband.tele2.se) (Remote host closed the connection) |
| 2021-06-15 20:54:02 | <kuribas> | yes, I have DuplicateRecordFields on |
| 2021-06-15 20:54:35 | <dminuoso> | In the definition sites of these data types too? |
| 2021-06-15 20:54:37 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-15 20:54:42 | × | muto_ quits (~muto@d75-159-225-7.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2021-06-15 20:54:44 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-15 20:55:56 | <kuribas> | hmm, no |
| 2021-06-15 20:56:06 | × | jrm quits (~jrm@156.34.187.65) (Ping timeout: 264 seconds) |
| 2021-06-15 20:56:25 | → | jrm joins (~jrm@156.34.187.65) |
| 2021-06-15 20:56:45 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-15 20:57:49 | <kuribas> | that could be it |
| 2021-06-15 20:59:32 | × | fishfinger_ quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-06-15 20:59:58 | → | ephemient joins (uid407513@id-407513.tooting.irccloud.com) |
| 2021-06-15 21:01:22 | → | iDead joins (~iDead@254.142.71.148.rev.vodafone.pt) |
| 2021-06-15 21:03:14 | × | kmein quits (~weechat@user/kmein) (Quit: WeeChat 3.1) |
| 2021-06-15 21:03:31 | → | kmein joins (~weechat@user/kmein) |
| 2021-06-15 21:05:19 | <kuribas> | it works now :) |
| 2021-06-15 21:05:27 | <iDead> | and a chalenge (yet again) turn that "div" into a "/" : https://paste.tomsmeding.com/luLC15pQ |
| 2021-06-15 21:05:59 | <kuribas> | dminuoso: thanks. Seems missing the DuplicateRecordFields in this module was the problem. |
| 2021-06-15 21:06:18 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-15 21:12:27 | <monochrom> | Use fromIntegral to convert Int to Float. |
| 2021-06-15 21:12:33 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-15 21:12:35 | <monochrom> | or Integer to Float |
| 2021-06-15 21:12:52 | <monochrom> | @quote monochrom fromIntegral |
| 2021-06-15 21:12:53 | <lambdabot> | monochrom says: You've got an Int / But you want Double / Who do you call? / "fromIntegral!" |
| 2021-06-15 21:13:20 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.1) |
| 2021-06-15 21:13:49 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-15 21:14:41 | → | bilegeek joins (~bilegeek@2600:1008:b041:5047:48ad:ae3d:d2ea:7d42) |
| 2021-06-15 21:15:10 | → | VictorNawothnig[ joins (~dminuosom@2001:470:69fc:105::33bb) |
| 2021-06-15 21:17:02 | <dminuoso> | There should be an emacs minor mode for lsp-haskell that randomly inserts `fromIntegral/realToFrac` whenever there's a "expected/actual" type error between two numeric types until GHC is satisfied. |
| 2021-06-15 21:17:14 | <dminuoso> | It's what the user does anyway. :> |
| 2021-06-15 21:18:05 | VictorNawothnig[ | is now known as dminuoso[m] |
| 2021-06-15 21:18:06 | → | Guest8215 joins (~Guest82@host-79-36-63-89.retail.telecomitalia.it) |
| 2021-06-15 21:19:20 | <monochrom> | I would support that if, in the Float->Int direction, the auto-inserted function were truncate. |
| 2021-06-15 21:19:42 | <monochrom> | err no, s/truncate/ceiling/ |
| 2021-06-15 21:20:11 | <monochrom> | Either that, or that direction is not entertained at all. |
| 2021-06-15 21:21:55 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Remote host closed the connection) |
| 2021-06-15 21:22:01 | <dminuoso> | On a slightly more serious note, a suggestion to insert `intCast` from int-cast wouldn't be bad |
| 2021-06-15 21:23:21 | <monochrom> | I like int-case too. |
| 2021-06-15 21:23:45 | <dminuoso> | What is int-case? |
| 2021-06-15 21:24:28 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-15 21:24:38 | → | mengu joins (~mengu@c188-150-13-129.bredband.tele2.se) |
| 2021-06-15 21:25:23 | → | dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl) |
| 2021-06-15 21:26:47 | <monochrom> | sorry, int-cast! |
| 2021-06-15 21:26:58 | <iDead> | i don't know if you were talking to me but, i know about the fromInteger... i just can't figure out were... |
| 2021-06-15 21:27:05 | <iDead> | where* |
| 2021-06-15 21:27:21 | <monochrom> | fromIntegral, not fromInteger |
| 2021-06-15 21:27:27 | → | funsafe joins (~funsafe@2601:1c1:4200:938f:4e1e:fc56:b28f:5ac7) |
| 2021-06-15 21:27:29 | <iDead> | my bad sry |
| 2021-06-15 21:27:36 | <monochrom> | also I don't know what you mean by "challenge". |
| 2021-06-15 21:27:41 | <iDead> | java is killing me |
| 2021-06-15 21:27:52 | <iDead> | it's just a mood joke =) |
| 2021-06-15 21:28:00 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-15 21:33:35 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-15 21:37:02 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-15 21:40:59 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-06-15 21:41:24 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:c958:4e9b:6898:197c) (Read error: Connection reset by peer) |
| 2021-06-15 21:43:20 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-06-15 21:44:37 | × | Guest8215 quits (~Guest82@host-79-36-63-89.retail.telecomitalia.it) (Quit: Client closed) |
| 2021-06-15 21:46:49 | × | forell quits (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Changing host) |
| 2021-06-15 21:46:49 | → | forell joins (~forell@user/forell) |
| 2021-06-15 21:47:23 | × | acro quits (~acro@user/acro) (Ping timeout: 252 seconds) |
| 2021-06-15 21:47:53 | × | quintasan quits (~quassel@quintasan.pl) (Remote host closed the connection) |
| 2021-06-15 21:48:03 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-15 21:49:02 | → | quintasan joins (~quassel@quintasan.pl) |
| 2021-06-15 21:49:19 | → | acro joins (~acro@user/acro) |
| 2021-06-15 21:49:29 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-15 21:50:04 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-15 21:50:17 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-15 21:51:25 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) |
| 2021-06-15 21:54:16 | × | mengu quits (~mengu@c188-150-13-129.bredband.tele2.se) (Remote host closed the connection) |
| 2021-06-15 21:55:31 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-06-15 21:59:21 | × | kuribas quits (~user@ptr-25vy0i96zxjh07ehrri.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-15 21:59:47 | → | mjs2600_ joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-15 22:00:38 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-15 22:02:10 | × | Guest9 quits (~Guest9@103.250.137.187) (Quit: Connection closed) |
| 2021-06-15 22:05:30 | → | finsternis joins (~Y@23.226.237.192) |
| 2021-06-15 22:07:43 | → | zangi joins (~azure@103.154.230.130) |
| 2021-06-15 22:07:59 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 268 seconds) |
| 2021-06-15 22:08:07 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-15 22:08:31 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Remote host closed the connection) |
| 2021-06-15 22:09:30 | × | ubert quits (~Thunderbi@p200300ecdf259d17307db39712e8f4a3.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-06-15 22:09:53 | → | timthelion joins (~timothy@185.91.169.13) |
| 2021-06-15 22:10:47 | × | dudek_ quits (~dudek@185.150.236.112) (Quit: Leaving) |
| 2021-06-15 22:11:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-15 22:12:42 | × | xff0x quits (~xff0x@2001:1a81:523f:a800:1537:97ed:971:4698) (Ping timeout: 240 seconds) |
All times are in UTC.