BindPattern is not bound during inference inside a match-expression #54

New issue

Closed

opened 2024-01-22 13:30:37 +01:00 by samvv · 1 comment

samvv commented

(Migrated from github.com)

The following code incorrectly throws an error:

let fac = match.
  1 => 1
  k => k * fac (k - 1)

The following code incorrectly throws an error: ``` let fac = match. 1 => 1 k => k * fac (k - 1) ```

samvv commented

(Migrated from github.com)

Error is due to MatchCase not introducing a new scope.

Error is due to `MatchCase` not introducing a new scope.

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#54

No description provided.