-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Letting the user input arbitrary Text in default-extensions #181
Comments
This seems perfectly reasonable. I'd be open to a |
Great - will try my hand at this one. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi, first of all thanks for working on this openly, it's useful :)
Cabal passes extensions that are not in its
KnownExtensions
type onwards with a simple warning:It would be convenient to be able to allow arbitrary text values for extensions at the Dhall level, additionally to the types generated from
KnownExtensions
inExtension.dhall
by the "meta" code.Very low priority I guess, since the workaround (
{-# LANGUAGE <ext> #-}
) is straightforward.The text was updated successfully, but these errors were encountered: