Logs: liberachat/#haskell
| 2021-06-19 12:32:44 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 12:34:54 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-19 12:37:20 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 258 seconds) |
| 2021-06-19 12:38:18 | → | mpt joins (~tom@2a02:908:1862:49e0::2) |
| 2021-06-19 12:39:12 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-19 12:49:02 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-19 12:49:29 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-06-19 12:51:05 | × | mpt quits (~tom@2a02:908:1862:49e0::2) (Ping timeout: 265 seconds) |
| 2021-06-19 12:58:47 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Client closed) |
| 2021-06-19 13:00:52 | × | chrysanthematic quits (~chrysanth@user/chrysanthematic) (Quit: chrysanthematic) |
| 2021-06-19 13:01:12 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-19 13:01:34 | <maerwald> | Property tests are only as good as your generators and writing good generators for non trivial data is very hard |
| 2021-06-19 13:02:29 | <maerwald> | I prefer unit tests, unless the data is simple or I have a genius idea about a good generator |
| 2021-06-19 13:06:44 | <Rembane> | I did my master thesis on generating random programs using QuickCheck and I can vouch that it is a hard problem. Pałka et al has a good paper on it though. |
| 2021-06-19 13:08:00 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 265 seconds) |
| 2021-06-19 13:08:29 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 13:08:37 | → | mpt joins (~tom@2a02:908:1862:49e0::2) |
| 2021-06-19 13:09:07 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:1e4a:1cd5:4170:e3e0) (Remote host closed the connection) |
| 2021-06-19 13:09:22 | → | ubert joins (~Thunderbi@p200300ecdf259d37e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-06-19 13:11:31 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 13:12:41 | <tomsmeding> | Rembane: this one? https://dl.acm.org/doi/10.1145/1982595.1982615 |
| 2021-06-19 13:12:59 | <Rembane> | tomsmeding: Bingo! |
| 2021-06-19 13:12:59 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 258 seconds) |
| 2021-06-19 13:13:28 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-19 13:15:12 | <Axman6> | I have scoped type variables enabled, but I'm getting Could not deduce Parameter a0 from context Parameter a for this code, what am I missing? |
| 2021-06-19 13:15:13 | <Axman6> | elementMod :: forall a. Parameter a => Integer -> ElementMod a |
| 2021-06-19 13:15:14 | <Axman6> | elementMod n = ElementMod (n `mod` param' @a Proxy) |
| 2021-06-19 13:15:33 | <Axman6> | where class Parameter (a :: ParamName) where param' :: p a -> Integer |
| 2021-06-19 13:15:40 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-19 13:15:49 | × | kuribas quits (~user@ptr-25vy0i7qpn0l1vseydq.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-19 13:16:29 | <Axman6> | and newtype ElementMod (n :: ParamName) = ElementMod Integer in case that's not clear |
| 2021-06-19 13:18:22 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-19 13:18:26 | <Axman6> | uh actually, the error is in this: |
| 2021-06-19 13:18:27 | <Axman6> | param :: forall a. Parameter a => Integer |
| 2021-06-19 13:18:27 | <Axman6> | param = param' (Proxy :: Proxy a) |
| 2021-06-19 13:19:57 | <Axman6> | ok, I guess I don't need that function, problem solved |
| 2021-06-19 13:20:17 | <tomsmeding> | Axman6: are you sure that function gives an error while scopedtypevariables is enabled? |
| 2021-06-19 13:21:09 | <tomsmeding> | ooh right the problem is that the type 'Integer', in the type signature for 'param', does not mention the type variable 'a' |
| 2021-06-19 13:21:09 | × | mpt quits (~tom@2a02:908:1862:49e0::2) (Ping timeout: 268 seconds) |
| 2021-06-19 13:21:30 | <tomsmeding> | so in a usage of 'param' GHC will never (without an explicit type application) be able to infer with what type variable to instantiate that 'a' |
| 2021-06-19 13:22:18 | <tomsmeding> | to let ghc stop complaining and hence be forced to use an explicit type application, you can enable AllowAmbiguousTypes as the error says, but I strongly advise against that :p |
| 2021-06-19 13:24:28 | <tomsmeding> | if only because AllowAmbiguousTypes is a sledgehammer that is bound to give super weird effects in other places |
| 2021-06-19 13:26:05 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-19 13:27:43 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:5da5:d011:e09d:f192) |
| 2021-06-19 13:28:27 | × | chddr quits (~Thunderbi@31.148.23.125) (Ping timeout: 268 seconds) |
| 2021-06-19 13:28:58 | <dminuoso> | What super weird effects do you get? |
| 2021-06-19 13:29:44 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:1960:9d14:60f8:23cf) |
| 2021-06-19 13:33:49 | → | j0xaf joins (~j0xaf@p200300f7771750ed30afbc7d326d0573.dip0.t-ipconnect.de) |
| 2021-06-19 13:34:34 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-06-19 13:36:34 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-06-19 13:36:53 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 13:39:47 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-06-19 13:40:29 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 13:40:53 | <tomsmeding> | you don't get any if you are flawless, but in my experience, making doing something wrong in the vicinity of ambiguous types with that extension on gives very odd type errors if you aren't prepared for it |
| 2021-06-19 13:41:04 | <tomsmeding> | but maybe my memory makes it worse than it was :p |
| 2021-06-19 13:41:10 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-06-19 13:43:25 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) |
| 2021-06-19 13:44:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-06-19 13:44:50 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-19 13:45:30 | <dminuoso> | I'm flawless, which is why I -fdefer-type-errors. GHC is just wrong. |
| 2021-06-19 13:46:56 | <dminuoso> | The GHC user manual at least suggests that AllowAmbiguousTypes can interact badly with RankNTypes sometimes |
| 2021-06-19 13:47:32 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Ping timeout: 244 seconds) |
| 2021-06-19 13:47:33 | <dminuoso> | Interestingly the example listed seems like it might not even compile with simplified subsumption. |
| 2021-06-19 13:47:36 | <dminuoso> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/ambiguous_types.html |
| 2021-06-19 13:48:54 | × | ubert quits (~Thunderbi@p200300ecdf259d37e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-06-19 13:49:02 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 13:51:07 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-19 13:51:34 | × | awth13 quits (~user@user/awth13) (Read error: Connection reset by peer) |
| 2021-06-19 13:52:03 | → | ubert joins (~Thunderbi@p200300ecdf259d37e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-06-19 13:52:08 | → | awth13 joins (~user@user/awth13) |
| 2021-06-19 13:52:08 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-19 13:52:30 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-19 13:57:31 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-19 14:01:01 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-19 14:02:03 | × | fabfianda quits (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Ping timeout: 272 seconds) |
| 2021-06-19 14:02:47 | → | fabfianda joins (~fabfianda@mob-5-90-241-120.net.vodafone.it) |
| 2021-06-19 14:06:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-19 14:07:02 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-06-19 14:07:02 | × | fabfianda quits (~fabfianda@mob-5-90-241-120.net.vodafone.it) (Ping timeout: 258 seconds) |
| 2021-06-19 14:07:53 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-19 14:08:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-19 14:08:41 | → | fabfianda joins (~fabfianda@mob-5-90-241-140.net.vodafone.it) |
| 2021-06-19 14:11:46 | → | fendor_ joins (~fendor@77.119.128.145.wireless.dyn.drei.com) |
| 2021-06-19 14:11:48 | × | ubert quits (~Thunderbi@p200300ecdf259d37e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2021-06-19 14:12:27 | → | eight joins (~eight@user/eight) |
| 2021-06-19 14:12:47 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-06-19 14:14:01 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 14:14:27 | × | fendor_ quits (~fendor@77.119.128.145.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-19 14:14:42 | × | fendor quits (~fendor@77.119.131.188.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-06-19 14:14:42 | × | Ferdirand quits (~somebody@user/ferdirand) (Ping timeout: 264 seconds) |
| 2021-06-19 14:14:57 | → | fendor_ joins (~fendor@77.119.128.145.wireless.dyn.drei.com) |
| 2021-06-19 14:16:21 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (Quit: Switching servers) |
| 2021-06-19 14:16:45 | Deewiant_ | is now known as Deewiant |
| 2021-06-19 14:18:34 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-19 14:20:03 | fendor_ | is now known as fendor |
| 2021-06-19 14:20:15 | → | Ferdirand joins (~somebody@2001:4c78:2012:5000::2) |
| 2021-06-19 14:20:42 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-06-19 14:21:08 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-19 14:23:26 | × | xff0x quits (~xff0x@2001:1a81:5339:fe00:214:efbd:9851:b8b5) (Ping timeout: 268 seconds) |
| 2021-06-19 14:24:57 | → | xff0x joins (~xff0x@185.65.135.235) |
All times are in UTC.