-
Notifications
You must be signed in to change notification settings - Fork 211
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
Remove Dhall.X and replace with Data.Void #1172
Conversation
This commit removes the Dhall.X module and the Dhall.X.X type, preferring the use of Data.Void.Void. As I'm sure a lot of people are actually using X, I've added a type-alias type X = Void. However, pattern matching on X would be a breaking change. Fixes dhall-lang#1120.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good! I think we just need to fix dhall-nix
to use absurd
instead of pattern matching
@@ -52,6 +52,8 @@ import qualified Dhall.Set | |||
import qualified Dhall.Pretty.Internal | |||
import qualified Dhall.Util | |||
|
|||
type X = Void |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
A bit of documentation for why we have this type alias would be good.
Also: Do we want to keep it forever, or are we going to deprecate it?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@sjakobi: We'll eventually deprecate it
This commit removes the Dhall.X module and the Dhall.X.X type,
preferring the use of Data.Void.Void. As I'm sure a lot of people are
actually using X, I've added a type-alias type X = Void. However,
pattern matching on X would be a breaking change.
Fixes #1120