mc
mc copied to clipboard
oridb
Myrddin Compiler
This seems to happen only when the caller of the trait, the trait definition and the impl definition are all in different modules. Here is a repro https://github.com/typeless/myr-bug/blob/main/c.myr#L12 ``` $...
A reproducer: ``` type foo = struct s : void ;; const bar = {a : foo;} const main = { var s : foo bar(s) } ``` Output: ```...
Myrddin fails to build on OpenBSD 7.0-beta. I was able to get it to build by creating `lib/sys/sys+openbsd:7.0-x64.myr` from `sys+openbsd:6.3-x64.myr`. However all tests CRASH. The build fails at: ``` lib/std/pledge+openbsd.myr:12:...
Using this tool https://www.bottlecaps.de/convert/ and manually adding the tokens we can have a railroad diagram for the grammar at `parse/gram.y`. Copy and paste the converted grammar shown bellow in https://www.bottlecaps.de/rr/ui...
* https://github.com/oridb/mc/commit/a819f7ccdc3ed6c63f50f23c0b17fa478604d821 Building after a clean clone with the following: ``` % ./configure --prefix=/usr % make -j4 bootstrap # This happens without -j4 as well ``` Yields a new error:...
`std.fmt` does currently only offer the "w" and "p" flags for ensuring a minimum width and padding to that width. Something equivalent to "%.2f" in C would be nice to...
Currently, we use Dragon4, but something faster would be nice. Grisu3 looks interesting, but this looks more interesting: http://cseweb.ucsd.edu/~lerner/papers/fp-printing-popl16.pdf
On the playground ``` use std type u = union `Foo int `Bar ;; const main = { var v : u match v | `Foo 123: std.put("First branch\n") |...
Right now, things like: ``` const f = { while true if do_thing -> 123 ;; ;; } ``` will complain because there's no return after while true. Trivially untaken...