I know it’s a tough choice, but I think this is the worst #haskell #ghc error message I know:
For
"Proxy @Contact"
I get:
"Cannot apply expression of type 't1' to a visible type argument 'Contact'."
Where the reason is, that I don’t have the Proxy constructor imported …
I thought HLS might be shadowing the "Constructor out of scope" error. But no, that’s the only error I get from GHC…
maralorn /
npub1ca…ycxyl
2024-07-18 07:34:32
Author Public Key
npub1ca4hwuu3nyp5yy5t66sdetn6uhkyejkyf5c4t6kz45eyz04a6p4sqycxylSeen on
wss://relay.nostr.bandPublished at
2024-07-18 07:34:32Event JSON
{
"id": "f299664679c099d4ff318669fad85278ab9015e416f3c2a3ef71d803b9cc7da6",
"pubkey": "c76b777391990342128bd6a0dcae7ae5ec4ccac44d3155eac2ad32413ebdd06b",
"created_at": 1721288072,
"kind": 1,
"tags": [
[
"t",
"haskell"
],
[
"t",
"ghc"
],
[
"proxy",
"https://chaos.social/users/maralorn/statuses/112806335142300777",
"activitypub"
]
],
"content": "I know it’s a tough choice, but I think this is the worst #haskell #ghc error message I know:\n\nFor\n\n\"Proxy @Contact\"\n\nI get:\n\n\"Cannot apply expression of type 't1' to a visible type argument 'Contact'.\"\n\nWhere the reason is, that I don’t have the Proxy constructor imported …\n\nI thought HLS might be shadowing the \"Constructor out of scope\" error. But no, that’s the only error I get from GHC…",
"sig": "873361a1e399361909cbe6a95e31c987186700858e88bc1699c13da861bbb1dff22c131b2804735f09cfdc779d2d270b90ac1d60a5a08a8ed475d3fc02b52894"
}