Post by @valorzard@mastodon.gamedev.place

@valorzard@mastodon.gamedev.place 2 hr. ago

Alright, made a repository for this c compiler project that explains my currents thoughts and how and why I'm tackling this in detail.

Curious what y'all think:
https://codeberg.org/ValorZard/ValorC

cc @lanodan @navi @SRAZKVT

Codeberg.org

ValorC

time to make my own C compiler like a crazy person

1 Boost

1 Like

wicked witch of the unix

@navi@social.vlhl.dev 2 hr. ago

@valorzard @lanodan @SRAZKVT

The goal is that all files of ValorC is just C with some extra annotations on top.

There should be an option where you can compile all ValorC files to C, and all of the annotations get turned into comments so that compilers like gcc and clang can compile ValorC programs.

fwiw using c attributes, so e.g. [[valorc::some_annotation]], c23 says:

For an attribute token (including an attribute prefixed token) not specified in this document, the behavior is implementation-defined. Any attribute token that is not supported by the implementation is ignored

so if you build the syntax on top of them, no transformation step should be needed

Haelwenn /элвэн/ :triskell:

@lanodan@queer.hacktivis.me 2 hr. ago

@valorzard @navi @SRAZKVT Oh formal verification, reminds me I have no idea how that stuff works as it's like deep-academia.

Also re: license, I think MPL2 should be fine as the NDA bits could be in separated files (after all MPL-family origin is for opening up deeply proprietary codebases that you don't have full rights on, which even worked for OpenSolaris).
But well I don't know of the licensing stuff that goes with game consoles, could be worse than just SDK+system-libs license.

LisPi

@lispi314@udongein.xyz 16 min. ago

@lanodan @valorzard @navi @SRAZKVT I think we should just reverse-engineer them and host them in countries where the interoperability use-case overrides the copyright nonsense of DMCA-equivalents.

Nintendo is otherwise fond of its bullshit non-circumvention crap.

Haelwenn /элвэн/ :triskell:

@lanodan@queer.hacktivis.me 14 min. ago

@lispi314 @valorzard @navi @SRAZKVT I'd more recommend to never consider poking the Nintendo army of lawyers wrong, and if you really need to, go piratebay style because they'll try to sue you regardless of whether your project is legal or not.

Haelwenn /элвэн/ :triskell:

@lanodan@queer.hacktivis.me 1 hr. ago

@valorzard @SRAZKVT @navi Also just in case, it reminds me of https://compcert.org/ (never used, almost no distro packages it, and dealing with OCaml seems like pain)

CompCert - Main page