Newest at the top
| 2024-05-14 23:00:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-14 22:52:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-14 22:36:05 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2024-05-14 22:35:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-14 22:34:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-14 22:34:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-14 22:29:13 +0200 | greenflower | (~greenflow@103.191.25.63) (Quit: Client closed) |
| 2024-05-14 22:23:04 +0200 | cayley5 | (~cayley5@user/phileasfogg) |
| 2024-05-14 22:22:42 +0200 | cayley5 | (~cayley5@user/phileasfogg) (Quit: Ping timeout (120 seconds)) |
| 2024-05-14 22:22:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-14 22:08:39 +0200 | <tomsmeding> | raehik: notable is that :t'ing that doesn't work, you actually have to try to show the Proxy |
| 2024-05-14 22:07:53 +0200 | <raehik> | tomsmeding: oh nice catch. I had managed to write a similar definition that somehow did not evaluate the type, so was thinking I needed something more in depth |
| 2024-05-14 22:06:13 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-05-14 22:04:00 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-14 22:01:46 +0200 | <tomsmeding> | but to get it to show it has to typecheck, hence you have to evaluate the type |
| 2024-05-14 22:01:36 +0200 | <tomsmeding> | using Proxy means that 1. the type can be whatever, and 2. it will always show if the type evaluates to something sensible |
| 2024-05-14 22:00:15 +0200 | <tomsmeding> | raehik: perhaps this works? |
| 2024-05-14 22:00:07 +0200 | <yahb2> | <interactive>:21:1: error: ; • test ; • When checking the inferred type ; it :: forall {k}. Proxy (TypeError ...) |
| 2024-05-14 22:00:07 +0200 | <tomsmeding> | % Proxy @(Id (TypeError (Text "test"))) |
| 2024-05-14 22:00:05 +0200 | <yahb2> | <no output> |
| 2024-05-14 22:00:05 +0200 | <tomsmeding> | % import Data.Proxy |
| 2024-05-14 22:00:02 +0200 | <yahb2> | <interactive>:17:1: error: Data constructor not in scope: Proxy |
| 2024-05-14 22:00:01 +0200 | <tomsmeding> | % Proxy @(Id (TypeError (Text "test"))) |
| 2024-05-14 21:59:53 +0200 | <yahb2> | <no output> |
| 2024-05-14 21:59:53 +0200 | <tomsmeding> | % :set -XTypeApplications |
| 2024-05-14 21:58:56 +0200 | <raehik> | thx for the help my docs will benefit from knowing this! |
| 2024-05-14 21:58:19 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-05-14 21:57:31 +0200 | <tomsmeding> | -y |
| 2024-05-14 21:57:28 +0200 | <tomsmeding> | unfortunatelt |
| 2024-05-14 21:57:25 +0200 | <tomsmeding> | yeah I've always found :k! to be a bit unstable |
| 2024-05-14 21:57:16 +0200 | <tomsmeding> | ah :) |
| 2024-05-14 21:57:11 +0200 | <raehik> | tomsmeding: oh yep that works on 9.2. but my non-contrived example (that goes thru lots of type families) doesn't xd |
| 2024-05-14 21:56:50 +0200 | <ncf> | you barely missed it |
| 2024-05-14 21:56:37 +0200 | ski | looks around, confusedly |
| 2024-05-14 21:56:27 +0200 | <ncf> | right here! |
| 2024-05-14 21:56:21 +0200 | <ski> | where ? |
| 2024-05-14 21:56:07 +0200 | <ncf> | the ski existential lecture has taken place |
| 2024-05-14 21:55:23 +0200 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2024-05-14 21:55:21 +0200 | <tomsmeding> | raehik: https://paste.tomsmeding.com/QzNahvGW |
| 2024-05-14 21:54:14 +0200 | <raehik> | *but I'm not too worried |
| 2024-05-14 21:54:03 +0200 | <raehik> | alas my 9.2 doesn't work either bu |
| 2024-05-14 21:53:44 +0200 | thaliaa | (uid486183@id-486183.uxbridge.irccloud.com) |
| 2024-05-14 21:53:15 +0200 | <raehik> | ahhhh there it is |
| 2024-05-14 21:53:11 +0200 | <tomsmeding> | fails from 9.4 on |
| 2024-05-14 21:53:06 +0200 | <raehik> | hahahahahaha good stuff |
| 2024-05-14 21:53:05 +0200 | <tomsmeding> | raehik: works on ghc 9.0 and 9.2 xD |
| 2024-05-14 21:51:53 +0200 | <tomsmeding> | raehik: I re-ran all commands that could possibly be relevant in yahb2's history in a ghci shell and it still doesn't work |
| 2024-05-14 21:51:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-14 21:47:21 +0200 | <raehik> | XD |
| 2024-05-14 21:47:01 +0200 | <tomsmeding> | but the state is gone now :D |