Explicit region support for reset primitives and CCalls#211
Open
mikkelwillen wants to merge 38 commits into
Open
Explicit region support for reset primitives and CCalls#211mikkelwillen wants to merge 38 commits into
mikkelwillen wants to merge 38 commits into
Conversation
* better ordering of argument-flattening * better inlining and specialisation control * switch-constant-folding is constant-folding * -abbrev flag for abbreviated layout of effects * improved layout of MulExp expressions * improved layout of RegionExp expressions * disable aggresive optimisations for ReML * change type of __equal_ptr to be more generic * avoid extending live-ranges * support more than 6 arguments with auto completion - fixes melsman#192 * application convertion for JS-backend * new manual * fix bugs in Socket.recvVec
…plicit region parameters, that does not show up in the type scheme of the arguments to a function, survives through app
* cleanup * fix config.h issue
…ditional flags to tester + made functions more robust
…on is disabled (melsman#206) * fix optimiser * fix ReML checks
…ditional flags to tester + made functions more robust
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Added explicit region support for reset primitives and CCalls, along with a module for region inspection and a size combinator.