Skip to content

Conversation

yaitskov
Copy link

@yaitskov yaitskov commented Aug 5, 2025

and warning fixes.

Original code storing annotations in record fields can be rewritten with:

reqTyAr :: forall a b .  (a -> b) -> (forall b2 -> b2) -> b 
reqTyAr _ f =  f b

@yaitskov yaitskov changed the title use-required-type-arguments for annotations use RequiredTypeArguments for annotations Aug 5, 2025
@gelisam
Copy link
Contributor

gelisam commented Aug 5, 2025

Huh, I never had to touch this part of the code since I became the maintainer... What's an annotation? 🤔

@yaitskov
Copy link
Author

yaitskov commented Aug 5, 2025

Yep the feature is not popular one. I discovered it myself recently and use for passing DocStrings and Interactivity from Haskell function to Emacs Lisp ones.

https://github.com/yaitskov/hamacs/blob/96be2a8d9f114a2c1f864db23521cd571c014987/packages/hapack/HaPack.hs#L13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants