Sorry for what might be a really dumb question here. I was looking something up on Pursuit and was a little confused by this
@Type syntax. From what I can tell, it’s present on any class member.
eq for example says
eq :: forall a. Eq @Type a => a -> a -> Boolean
when I would have expected
eq :: forall a. Eq a => a -> a -> Boolean
My questions are:
- What does
- Does that correspond to some feature in compiled code I don’t know about?
- Is that new, or have I experienced some sudden forgetfulness of how Pursuit has always printed class members?