samvv/bolt

Type check fails on records when a polymorphic rest type is involved #53

New issue

Open

opened 2024-01-21 21:07:45 +01:00 by samvv · 0 comments

samvv commented

2024-01-21 21:07:45 +01:00

(Migrated from github.com)

The following example should result in an error but none is raised:

let foo x : { first : Bool, second : Int | a } -> Int

foo { first = True, third = 4 }

The following example should result in an error but none is raised: ``` let foo x : { first : Bool, second : Int | a } -> Int foo { first = True, third = 4 } ```

Sign in to join this conversation.

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: samvv/bolt#53

No description provided.