digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-17 07:47:14 +03:00
Code Issues Projects Releases Wiki Activity

refactor to avoid impossible code path (#11901)

Browse Source 
changelog_begin
changelog_end
This commit is contained in:
nickchapman-da 2021-11-26 15:46:26 +00:00 committed by GitHub
parent a81995c82e
commit 2f4aa4797e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/Anf.scala
View File

@ -174,25 +174,12 @@ private[lf] object Anf {
private[this] type AbsAtom = Either[target.SExprAtomic, AbsBinding]
private def convertLoc(x: source.SELoc): target.SELoc = {
x match {
case source.SELocAbsoluteS(_) => sys.error("Anf.convertLoc/SELocAbsoluteS, unreachable code")
case source.SELocA(x) => target.SELocA(x)
case source.SELocF(x) => target.SELocF(x)
}
}
private def convertAtom(x: source.SExprAtomic): target.SExprAtomic = {
x match {
case loc: source.SELoc => convertLoc(loc)
case source.SEValue(x) => target.SEValue(x)
case source.SEBuiltin(x) => target.SEBuiltin(x)
}
}
private[this] def makeAbsoluteA(env: Env, atom: source.SExprAtomic): AbsAtom = atom match {
case source.SELocAbsoluteS(abs) => Right(makeAbsoluteB(env, abs))
case x => Left(convertAtom(x))
case source.SELocA(x) => Left(target.SELocA(x))
case source.SELocF(x) => Left(target.SELocF(x))
case source.SEValue(x) => Left(target.SEValue(x))
case source.SEBuiltin(x) => Left(target.SEBuiltin(x))
}
private[this] def makeRelativeA(depth: DepthA)(atom: AbsAtom): target.SExprAtomic = atom match {
@ -211,7 +198,8 @@ private[lf] object Anf {
private[this] def makeRelativeL(depth: DepthA)(loc: AbsLoc): target.SELoc = loc match {
case Left(x: source.SELocAbsoluteS) => throw CompilationError(s"makeRelativeL: unexpected: $x")
case Left(loc) => convertLoc(loc)
case Left(source.SELocA(x)) => target.SELocA(x)
case Left(source.SELocF(x)) => target.SELocF(x)
case Right(binding) => target.SELocS(makeRelativeB(depth, binding))
}