blob: fe2323ea06d14794c2b574af1ba2128258c266ca (
plain) (
blame)
1
2
3
4
5
|
{
val $mr: mr.type = mr;
$mr.Expr.apply[Int(2)]($mr.Literal.apply($mr.Constant.apply(2)))($mr.GroundTypeTag.apply[Int(2)]($mr.ConstantType.apply($mr.Constant.apply(2))))
}
mr.reify[Int](2)
|