-
-
Notifications
You must be signed in to change notification settings - Fork 173
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
Add new ⩓
operator for merging record types
#117
Conversation
Fixes #92 This is the type-level analog of `∧`, which allows you to do: ``` { foo : Text } ⩓ { bar : Bool } = { foo : Text, bar : Bool } ``` The motivation for this is to allow reusing the same field types between several related records The ASCII representation of the operator is `//\\`
I think this has the potential to really clean up some types in dhall-to-cabal. I'm on holiday on Monday, mind postponing the merge until then? I'd love to have a read through the changes. |
@ocharles: Yeah, no problem. I'm in no hurry to merge. The 3 day policy is only a minimum delay if there is no discussion |
@ocharles: I just wanted to check if you had a chance to look at this |
@ocharles: Do you still want to review this before I merge? |
I gave it a brief look and can't think of anything. Go for it!
…On Fri, 30 Mar 2018, 5:41 pm Gabriel Gonzalez, ***@***.***> wrote:
@ocharles <https://github.com/ocharles>: Do you still want to review this
before I merge?
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#117 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AABRjt00xVuwsPR7UYahBCmdL8Lt7Iseks5tjmA-gaJpZM4St-V1>
.
|
... as standardized in dhall-lang/dhall-lang#117
... as standardized in dhall-lang/dhall-lang#117
This operator was introduced in [this PR](dhall-lang/dhall-lang#117)
Fixes #92
This is the type-level analog of
∧
, which allows you to do:The motivation for this is to allow reusing the same field types between
several related records
The ASCII representation of the operator is
//\\