digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-09 15:37:05 +03:00
Code Issues Projects Releases Wiki Activity

Speedy: Delete dead code (#13809)

Browse Source 
CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Remy 2022-05-06 16:34:34 +02:00 committed by GitHub
parent e32a1e680a
commit 7894fa33a7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/SValue.scala
View File

@ -114,38 +114,6 @@ sealed trait SValue {
}
go(this)
}
def mapContractId(f: V.ContractId => V.ContractId): SValue = {
import ArrayList.Implicits._
this match {
case SContractId(coid) => SContractId(f(coid))
case SEnum(_, _, _) | _: SPrimLit | SToken | STNat(_) | STypeRep(_) => this
case SPAP(prim, args, arity) =>
val prim2 = prim match {
case PClosure(label, expr, vars) =>
PClosure(label, expr, vars.map(_.mapContractId(f)))
case _: PBuiltin => prim
}
SPAP(prim2, args.map(_.mapContractId(f)), arity)
case SRecord(tycon, fields, values) =>
SRecord(tycon, fields, values.map(_.mapContractId(f)))
case SStruct(fields, values) =>
SStruct(fields, values.map(_.mapContractId(f)))
case SVariant(tycon, variant, rank, value) =>
SVariant(tycon, variant, rank, value.mapContractId(f))
case SList(lst) =>
SList(lst.map(_.mapContractId(f)))
case SOptional(mbV) =>
SOptional(mbV.map(_.mapContractId(f)))
case SMap(isTextMap, value) =>
SMap(
isTextMap,
value.iterator.map { case (k, v) => k.mapContractId(f) -> v.mapContractId(f) },
)
case SAny(ty, value) =>
SAny(ty, value.mapContractId(f))
}
}
}
object SValue {