Pattern match for variable in scope (Scala)

Question

In the following code

val x = 5
val y = 4 match {
  case x => true
  case _ => false
}

the value y is true. Scala interprets x to be a free variable in the pattern match instead of binding it to the variable with the same name in the scope.

How to solve this problem?

Why did you duplicate an existing question and then answer it yourself? stackoverflow.com/questions/6172557/… stackoverflow.com/questions/5153590/… — dhg
– dhg, Commented Jul 19, 2011 at 23:08
@dhg: I could not find that question on SO, that's why. I answer my own question since I prefer using SO as a knowledge repository instead of taking a note on my tiny hidden blog or making a mental post. Thanks for the link, I agree with closing with duplicate. — ron
– ron, Commented Jul 21, 2011 at 7:41

ron · Accepted Answer · 2011-07-19 21:51:16Z

12

Backticking the variable indicates to bind a scoped variable:

val x = 5
val y = 4 match { case `x` => true; case _ => false }

returns false.

Alternatively, if a variable starts with an uppercase letter, it binds to a scoped variable without backticking.

answered Jul 19, 2011 at 21:51

ron

9,4585 gold badges45 silver badges73 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

ron Over a year ago

see also scala-programming-language.1934581.n4.nabble.com/…

paradigmatic · Accepted Answer · 2011-07-19 22:09:20Z

7

Invoking the least astonishment principle, I will simply do:

val x = 5
val y = 4 match {
  case z if z == x => true
  case _ => false
}

answered Jul 19, 2011 at 22:09

paradigmatic

40.5k18 gold badges91 silver badges148 bronze badges

2 Comments

Nicolas Over a year ago

Ron answer is the good one, you add a condition that can be pattern matched directly. (downvote)

Anonymous Over a year ago

I think the condition is just as fast, and remember the least astonishment principle. (upvote)

Collectives™ on Stack Overflow

Pattern match for variable in scope (Scala)

2 Answers 2

1 Comment

2 Comments

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

1 Comment

2 Comments

Linked

Related