Revert "RustExpr to separate pretty printing from traverse Agda internals" #19
Conversation
This file contains 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
lemastero
added a commit
that referenced
this pull request
Dec 18, 2023
* test existing code creating moduleHeader * module header is proper Rust comment * fix non-compiling Test.agda example - add test.Test module * handle module name and brackets * handle function name, brackets around body, raw body * handle data type definition as enum - name, brackets and raw clauses * update examples Hello and Test with new handling of functions and data types * simplify Hello.agda enum + function on enum * extract functions for hande functions, handle data type, handle module * handle enums * use bracket, rename handleX to compileX * use bracket, rename handleX to compileX - fix unit tests * use bracket, rename handleX to compileX - fix unit tests 2 * extract PrettyPrintingUtils and ToRustCompiler; common types between ToRustCompiler and Backed are in CommonTypes * add typeSeparator and argList for pretty printing * compile singe argument function - argument name, its argument, function result type and single variable result body * compile singe argument function - add return * compile singe argument function - update Hello example * compile singe argument function - add comments for further improvements * proper function return type; rename to be more in-line with Rust naming style * fix function return types (broke during rebase) * change to lowercase names * remove empty lines * fix use module name instead of first directory * RustExpr to separate pretty printing from traverse Agda internals (#18) * add RustExpr to separate pretty printing and creating expression from Agda internals * rename after refactor to RustExpr * rename after refactor to RustExpr - fix * swap unless to when * Revert "RustExpr to separate pretty printing from traverse Agda internals (#18)" (#19) This reverts commit 2f56f9a.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Reverts #18