#36 `-r` CLI option seems broken 7 days ago

T-BUG added by ~icefox on ~icefox/garnetc

#36 `-r` CLI option seems broken 7 days ago

Ticket created by ~icefox on ~icefox/garnetc

$ cargo run -- test_tuple0.gt -r
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.03s
     Running `/home/NEA.com/simon.heath/my.src/garnet/target/debug/garnetc test_tuple0.gt -r`

thread 'main' panicked at src/bin/garnetc.rs:116:13:
Failed to run program: Os { code: 2, kind: NotFound, message: "No such file or directory" }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Running without the -r produces the executable just fine.

#53 Syntax bikeshed 7 days ago

Comment by ~icefox on ~icefox/garnet

https://soc.me/languages/lower-bar-of-rust-2.html has some interesting/opinionated thoughts on syntax bikeshedding; I think we hit most of them already but it's worth thinking through them all.

#13 Make imports work 7 days ago

Comment by ~icefox on ~icefox/garnetc

This kinda got pushed to the wayside with other type checking junk. With the current NbE type checker this will probably involve having a separate global scope table that contains fully-qualified names vs local vars that contains de bruijn indices, and then a resolution step that takes every variable usage and turns it into/annotates it as either a global var with a fully qualified path, or local var. According to hydrolarus this is actually not uncommon.

#74 Strongly-typed-ish varargs 22 days ago

Comment by ~icefox on ~icefox/garnet

she who will not be named keeps advocating for dependent types for this. XD The problem with deptypes is compiling them to efficient, essentially-unmanaged native code. If we had a GC and a JIT it would be much more appealing.

#75 Make sure struct initialization syntax works off structural as well as nominal types 22 days ago

T-DESIGN added by ~icefox on ~icefox/garnet

#75 Make sure struct initialization syntax works off structural as well as nominal types 22 days ago

Ticket created by ~icefox on ~icefox/garnet

From someone else complaining about Rust:

Nana: day 3199 of wishing the ..thing struct initializer thing worked in a structural way and not based on the type :despair:

Lime: What would that look like?

Nana:

type X { a: u32, b: u32 }
type Y { a: u32 }

let x = X { a: 1, b: 9 }
Y { b: 5, ..x }
Y is a: 1 and b: 5

Every time that doesn’t work I’m a little surprised no lie It feels like there is enough machinery in the compiler to do structural equality So it’s kind of a matter of just plumbing in a couple of features

icefox: oh that's actually a cool idea

#9 fencepost mistake in rand_float() 22 days ago

Comment by ~icefox on ~icefox/oorandom

REPORTED RESOLVED CLOSED

#9 fencepost mistake in rand_float() 22 days ago

Comment by ~icefox on ~icefox/oorandom

Thanks, I admire your attention to detail. Thanks for the fix.

#10 Way to produce a nondeterministic seed 22 days ago

Comment by ~icefox on ~icefox/oorandom

REPORTED RESOLVED CLOSED