Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Is there some way to detect inferred/specified variables in TH?
This patch has some changes to do with that in TH, not sure if it helps or not https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2465
Oh, yeah, once it gets merged it will be exactly what I want :slight_smile:
Is there maybe some other (possibly "hacky") way to get that information now?
Maybe I could addCorePlugin and retrieve that info from the GHC side? :sweat_smile:
Silly naming nitpick: is "specificity" the right word for the concept? To me "specificity" connotes the degree to which something is specific rather than general, and not the condition of being specified rather than inferred. Alas, the word "specifiedness" doesn't seem to exist in English.
The condition of being specified would be specification, I think. Unfortunately we also use this as a noun which makes it slightly ambiguous.