Implementation for Ticket #16393. As this is my first time working on GHC, feedback is very much appreciated :slight_smile: The main results: - Additional syntax is supported in the parser,...
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.
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
addCorePluginand 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.