-
-
Notifications
You must be signed in to change notification settings - Fork 12
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
Examples on data classes. remap-data. Extending accessor-data. #36
base: master
Are you sure you want to change the base?
Conversation
Did some more playing around with the remap-data stuff - it's a bit uncomfortable to work with cross-package. |
Heya, cool to see you're working with Alloy! I'm far too tired to review this tonight but I'll take a proper look tomorrow. The only thing I saw on the quick is the enter+ thing which I'm not sure why it's needed when enter-all exists (or why it's a macro). For some of these data things it's very well possible that I won't even remember how they were supposed to work or were half-abandoned prototypes. |
Yeah, no worries, the remap-data was broken as is - so no high stakes there. I've still got some ideas that i might explore in the direction of data handling. Also - after creating the pull request - i started playing around with remap-data in my project thing, Thanks for the enter-all mention. No point in enter+ being a macro, or existing at all. |
Sorry for the delay on the review. I forgot about it again and then had some personal issues that interfered. Anyway, hope you've been having a good holiday season! |
As with any holiday - heavy ups and downs. Have to figure out something for my fancy symbol mode for emacs. Looks like I'm producing off by one spacing on lines following ifs due to if being just one symbol "visually" on my side. |
ce2cdf8
to
e1b8ba5
Compare
Hey!
Dropping here some musings i've had while exploring the alloy data classes.
Since the existing examples helped me get going - thought i'd write my own for the data classes while i was playing around with them.
It's not a complete example on all the possible data classes - but it covers some of the points of interest i had.
Namely - several of the data classes that inherit from object-data.
Which also got me going on playing around with the implementations of some of the data classes.
The FEAT commits are as follows:
While writing the example - it irred me that whenever i would change the base object values directly - the observers of accessor-data or remap-data wouldn't fire - which ended up being my motivation for all this.