fluencelabs/aqua
1
0
Fork 0
mirror of https://github.com/fluencelabs/aqua.git synced 2024-12-12 17:55:33 +00:00
Code Issues Projects Releases Wiki Activity

fix: Fix type for functor [fixes LNG-119] (#677)

Browse Source
This commit is contained in:
Dima 2023-02-28 14:56:49 +07:00 committed by GitHub
parent 9074381b89
commit bb24a63abb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
model/inline/src/main/scala/aqua/model/inline/raw/ApplyFunctorRawInliner.scala
View File

@ -41,6 +41,12 @@ object ApplyFunctorRawInliner extends Logging {
VarModel(apName, canonType, Chain.one(functorModel)), VarModel(apName, canonType, Chain.one(functorModel)),
CanonicalizeModel(v, CallModel.Export(apName, canonType)).leaf CanonicalizeModel(v, CallModel.Export(apName, canonType)).leaf
) )
case CanonStreamType(el) =>
val arrType = ArrayType(el)
(
VarModel(apName, arrType, Chain.one(functorModel)),
FlattenModel(v, apName).leaf
)
case _ => case _ =>
(VarModel(apName, bt, Chain.one(functorModel)), FlattenModel(v, apName).leaf) (VarModel(apName, bt, Chain.one(functorModel)), FlattenModel(v, apName).leaf)
} }

2
model/res/src/main/scala/aqua/res/MakeRes.scala
View File

@ -80,7 +80,7 @@ object MakeRes {
orInit(currentPeerId), orInit(currentPeerId),
exportTo exportTo
).leaf ).leaf
case FlattenModel(operand@VarModel(_, CanonStreamType(el), _), assignTo) => case FlattenModel(operand @ VarModel(_, CanonStreamType(el), _), assignTo) =>
ApRes(operand, CallModel.Export(assignTo, ArrayType(el))).leaf ApRes(operand, CallModel.Export(assignTo, ArrayType(el))).leaf
case FlattenModel(operand, assignTo) => case FlattenModel(operand, assignTo) =>
ApRes(operand, CallModel.Export(assignTo, operand.`type`)).leaf ApRes(operand, CallModel.Export(assignTo, operand.`type`)).leaf