Fix compilation and add Nix flake.#38
Merged
mengzhuo merged 3 commits intoplctlab:mainfrom Oct 9, 2025
DzmingLi:main
Merged
Conversation
│ │ │ - Add Tattr_alias type to checked_attributes.ml for parsing #alias attributes │ │ - Update attribute parsing to recognize #alias(\"method_name\") syntax │ │ - Modify add_method in toplevel_typer.ml to register aliases alongside original method │ │ names │ │ - Remove temporary hardcoded fallback logic from global_env.ml │ │ - Update README.md to use latest core version instead of pinned 4660d8b │ │ │ │ This fixes compatibility with latest core library which uses #alias attributes │ │ for operator overloading (e.g., UninitializedArray::at with #alias(\"_[_]\")). │
│ │ │ - Fix OCaml compilation issues including inline attribute syntax in basic_base64.ml │ │ - Update dune warning suppressions to handle newer OCaml compiler warnings │ │ - Preserve meaningful variable names with underscore prefixes for better code │ │ readability │ │ - Fix type errors in riscv_tac2ssa.ml and riscv_opt_peephole.ml │ │ - Add comprehensive nix flake configuration for development environment │ │ - Enable hybrid toolchain: latest moon (0.1.20250918) + current moonc + latest core │ │ │ │ This resolves the moon/moonc/core version compatibility issues and enables │ │ successful compilation of the latest moonbitlang/core repository with 62 tasks │ │ completing successfully.
Resolve merge conflict in riscv_virtasm.ml by adopting upstream logic for La/Li instructions while preserving meaningful variable names.
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
2 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.
coreusing the currentmooncwith the latestmoon.