-
Notifications
You must be signed in to change notification settings - Fork 41
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Finish executeFromVar implementation #976
Conversation
6.0.0 activation
…nterpreter into v6.0.0
…rpreter into v6.0.0
… deserialize test
* Def done in order to carry on DeserializeContext through stages of compilation intact | ||
*/ | ||
case class DeserializeContextDef[V <: SType](d: DeserializeContext[V], e: Elem[V]) extends Def[V] { | ||
override def resultType: Elem[V] = e |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The connection between SType and Elem[T] is a bit more nuanced.
V <: SType corresponds to Elem[V#WrappedType], in other words, V is a descriptor for V#WrappedType and Elem[T] is a descriptor for T.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What does that mean ? What do you propose?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It should be e: Elem[V#WrappedType]
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Isn't the type right for e.g. Coll[Byte]: CollElem<Coll[Byte]> ?
@aslesarenko comments addressed, please make another pass |
…rpreter into i443
@aslesarenko please check new notes |
This PR contains complete implementation (with tests) of executeFromVar support in the ErgoScript compiler.
Related to #443, #600