Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
• You cannot bind scoped type variable ‘a’ in a pattern binding signature
why tho?
let (smth :: Smth a) = ... in ...
help :bow: @Lysxia
Try case - I think there were some technicalities behind that decision
case
yeah, but I'm interested in why
if you have a link handy?
https://stackoverflow.com/questions/46077442/why-do-haskells-scoped-type-variables-not-allow-binding-of-type-variables-in-pa
thanks for using google in my stead!
:grinning_face_with_smiling_eyes: sorry
honestly wasn't expecting to find an answer so I didn't even bother..
I additionally found this (see 5))
5)
why tho?
help :bow: @Lysxia
Try
case
- I think there were some technicalities behind that decisionyeah, but I'm interested in why
if you have a link handy?
https://stackoverflow.com/questions/46077442/why-do-haskells-scoped-type-variables-not-allow-binding-of-type-variables-in-pa
thanks for using google in my stead!
:grinning_face_with_smiling_eyes: sorry
honestly wasn't expecting to find an answer so I didn't even bother..
I additionally found this (see
5)
)