Sasha Bogicevic (33d2dcdb) at 12 Jul 10:51
21101 Error message text for invalid record wildcard match
Sasha Bogicevic (c73abe41) at 12 Jul 10:46
21101 Error message text for invalid record wildcard match
... and 1748 more commits
In response to this StackOverflow question (Is it possible to normalize a type that contains free type variables in Haskell?) I wanted to ask if this had been discussed, to implicitly insert forall quantifiers in :kind
ghci> :kind [a]
<interactive>:1:2: error: Not in scope: type variable ‘a’
Instead treating it as if the user wrote forall a. [a]
ghci> :kind [a]
[a] :: Type
Just because this confuses people
No worries at all. Thanks for all the help @rae
Sasha Bogicevic (4f5e999c) at 19 Aug 12:49
19217 Implicitly quantify type variables in :kind command
... and 132 more commits
If @rae is happy with the PR I am happy too. I'll rebase the branch.
Sasha Bogicevic (b5772bcc) at 25 Jul 18:12
21101 Error message text for invalid record wildcard match
Sasha Bogicevic (a38bc66b) at 25 Jul 18:10
21101 Error message text for invalid record wildcard match
... and 24 more commits
Sasha Bogicevic (9e819028) at 20 Jul 14:26
19217 Implicitly quantify type variables in :kind command
... and 2 more commits
Question is - what do we do with the third suggestion (related to this comment #21101 (comment 410047))
fix #21101
Sasha Bogicevic (71407a0d) at 20 Jul 08:28
21101 Error message text for invalid record wildcard match
... and 1 more commit
Sasha Bogicevic (bf089114) at 19 Jul 08:02
19217 Implicitly quantify type variables in :kind command
... and 2 more commits
Sasha Bogicevic (049803be) at 18 Jul 21:15
19217 Implicitly quantify type variables in :kind command
Sasha Bogicevic (629d3b13) at 18 Jul 21:03
19217 Implicitly quantify type variables in :kind command
... and 36 more commits
Sasha Bogicevic (1df4e8f3) at 18 Jul 21:02
19217 Implicitly quantify type variables in :kind command
Sasha Bogicevic (5d31943f) at 16 Jul 20:14
19217 Implicitly quantify type variables in :kind command
... and 13 more commits
@rae I am pasting here the original MR for the reference !5816 (closed)
With the latest changes I don't get error anymore in the ghci
λ> :kind [a]
[a] :: *
Thanks, you are right. When I used sig_body
instead of rnHsType
call I get the correct result.
Sasha Bogicevic (8415d2c6) at 16 Jul 20:04
19217 Implicitly quantify type variables in :kind command