Custom analysis store non-Aterms
Allow non-stratego data types to be stored as custom unit and custom global analysis results.
These data types probably need to support serialization and deserialization.
(I tried to use the https://github.com/usethesource/capsule immutable collections library.)
Workaround: convert the data structure to an aterm before passing it to NaBL2, and converting it back to your own data structure when getting it back from NaBL2.Submitted by Daco Harkes on 15 February 2017 at 15:59
I did a small experiment to see if this could be supported. It turns out that even on the built-in indexed sets, some operations such as putting annotations fail. Supporting this would create a lot of special cases. Furthermore, excessive use of non-Stratego datastructures sounds like a smell to me. This may be better fixed in a different way than hakcs to support wrapped non-terms. Therefore, I won't fix this.
Log in to post comments