blob: 24b4776010abb660183a294851c252c86442e353 (
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
}
}
|