search

boltlang / Bolt

A programming language for rapid application development
35 stars 1 forks source link

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

Closed samvv closed 6 months ago

samvv commented 7 months ago

The following code incorrectly throws an error:

let fac = match.
  1 => 1
  k => k * fac (k - 1)
samvv commented 6 months ago

Error is due to MatchCase not introducing a new scope.