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

fix lambda resolving (#519)

Browse Source
This commit is contained in:
Dima 2022-06-10 10:45:17 +03:00 committed by GitHub
parent bc55055cfe
commit 0bde766832
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
model/src/main/scala/aqua/model/ValueModel.scala
View File

@ -123,12 +123,12 @@ case class VarModel(name: String, baseType: Type, lambda: Chain[LambdaModel] = C
res <- two(variable)
<- variable
*/
case vm @ VarModel(nn, _, _) if nn == name => deriveFrom(vm)
case vm @ VarModel(nn, _, _) if nn == name => deriveFrom(vv.deriveFrom(vm))
// it couldn't go to a cycle as long as the semantics protects it
case _ =>
n.resolveWith(vals) match {
case nvm: VarModel =>
deriveFrom(nvm)
deriveFrom(vv.deriveFrom(nvm))
case valueModel =>
if (lambda.nonEmpty)
logger.error(