search

dhall-lang / dhall-to-cabal

Compile Dhall expressions to Cabal files
MIT License
100 stars 19 forks source link

Letting the user input arbitrary Text in default-extensions #181

Open freuk opened 5 years ago

freuk commented 5 years ago

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:

Warning: Unknown extensions: DerivingVia

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 in Extension.dhall by the "meta" code. Very low priority I guess, since the workaround ({-# LANGUAGE <ext> #-}) is straightforward.

ocharles commented 5 years ago

This seems perfectly reasonable. I'd be open to a Other : Text alternative, and would take a PR adding that. It's unlikely I myself will have time to implement this any time soon, though.

freuk commented 5 years ago

Great - will try my hand at this one.