blob: cb68f380621234c781c69dbd5f010f571b26553a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
package fos
abstract class Expr
case class Var extends Expr
object Analyzer {
def substitution(expr: Expr, cls: (Var,Var)): Expr =
expr match {
case cls._2 => cls._1 // source of the error
case _ => expr
}
}
|