Skip to content

Conversation

@elegios
Copy link
Contributor

@elegios elegios commented Mar 10, 2025

This PR extends the Loader-based version of generate-json-serializers.mc with a function for registering custom serializers/deserializers for types, with the intent of being useful to serialize types only used through externals. Also handles TyAlias by looking at the content field.

Includes more PRs until they are merged.

@elegios elegios force-pushed the json-serializers-update branch from 4de6a9b to 4565507 Compare March 12, 2025 12:27
@david-broman david-broman merged commit 852392b into miking-lang:develop Mar 15, 2025
1 of 2 checks passed
wmuth pushed a commit to wmuth/miking that referenced this pull request Mar 15, 2025
miking-lang#922)

* Make lambda lifting give more detailed information in its solutions

* Add alternate lambda lift that allows capture of global variables

* Alias + custom json serializers
@elegios elegios deleted the json-serializers-update branch April 16, 2025 09:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants