Saem Ghani
Saem Ghani
I think discriminating based on generic parameter constraint types is reasonable, but looking for more input on that as well. Does it make sense that we differentiate based on generic...
Sorry if this is a silly question, but is `var x` being treated as `var x: var Mint`? So it's not really a true/independent location, but it's a view into...
> Nope, what's happening right now is that the borrow checker is not aware that `optlent` has borrowed `x`, so none of the constraints are applied. Sorry, I phrased my...
can you drop the nimble and nims files, plus any unnecessary cfg files.
it'll probably be easier for reviewing to avoid force push -- all the squashing is taken care of during merge.
Thanks for filing the issue, I had a quick look, I'm pretty sure there is something goofy going on in semantic analysis where the `x[0]` alone is evaluated in hopes...
> Of course, that still leaves open what to do when the LHS of an assignment is a template/macro invocation resolving to a bracket expression. Intuitively, I'd say that `templ()...
Dust now works and successfully reduces the broken code in `mminimizeme.nim`, it's a bit slow, but that's probably fixable as sem gets faster (removal of unnecessary wrapping etc). Another thing...
> * `typeRel` considers `cint` and `int32` to be equal (so that `var x: cint = 0'i32` works) Curious what you think, but should these be treated as equal? AFAIK,...
> > Curious what you think, but should these be treated as equal? > > According to the current rules, yes, since `cint` is just a type alias defined like...