fluencelabs/aqua
1
0
Fork 0
mirror of https://github.com/fluencelabs/aqua.git synced 2024-12-04 22:50:18 +00:00
Code Issues Projects Releases Wiki Activity

Unused op removed

Browse Source
This commit is contained in:
dmitry 2021-03-12 17:40:02 +03:00
parent c403830d59
commit d7e81256ae
2 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/scala/aqua/ast/algebra/names/NameOp.scala
View File

@ -11,8 +11,6 @@ case class ReadArrow[F[_]](name: Name[F]) extends NameOp[F, Option[ArrowType]]
case class DefineName[F[_]](name: Name[F], `type`: Type) extends NameOp[F, Unit]
case class EraseName[F[_]](name: Name[F]) extends NameOp[F, Unit]
case class BeginScope[F[_]](token: Token[F]) extends NameOp[F, Unit]
case class EndScope[F[_]]() extends NameOp[F, Unit]

3
src/main/scala/aqua/ast/algebra/names/NamesAlgebra.scala
View File

@ -16,9 +16,6 @@ class NamesAlgebra[F[_], Alg[_]](implicit V: InjectK[NameOp[F, *], Alg]) {
def define(name: Name[F], `type`: Type): Free[Alg, Unit] =
Free.liftInject[Alg](DefineName(name, `type`))
def erase(name: Name[F]): Free[Alg, Unit] =
Free.liftInject[Alg](EraseName(name))
def beginScope(token: Token[F]): Free[Alg, Unit] =
Free.liftInject[Alg](BeginScope(token))