Skip to content

Conversation

sjakobi
Copy link
Collaborator

@sjakobi sjakobi commented Jul 7, 2021

This bug manifested as an incorrect type error explanation:

You supplied this expression as one of the arguments:

↳ { x = 1 }

... which is not a record, but is actually a:

↳ Type

────────────────────────────────────────────────────────────────────────────────

1│ { x = 1 } /\ {}

This issue was reported in #2238.

This bug manifested as an incorrect type error explanation:

    You supplied this expression as one of the arguments:

    ↳ { x = 1 }

    ... which is not a record, but is actually a:

    ↳ Type

    ────────────────────────────────────────────────────────────────────────────────

    1│ { x = 1 } /\ {}

This issue was reported in
#2238.
@sjakobi sjakobi merged commit 7ca9e3d into master Jul 7, 2021
@sjakobi sjakobi deleted the sjakobi/fix-MustCombineARecord branch July 7, 2021 11:33
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