Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
> I hope to have someone re-implement the lexer and then they can 'rediscover' these invariants. Wouldn't it just be extra useful to have in case of a refactor? I'd...
Just run it once on TestVerifiers like discussed above (ill also get that ready)
@magnus-madsen should be good to merge now - the previous times were also with the listener duplication so it actually quite fast
which of these points have been done @dghosef?
We should start by adding `Index.flix` and `IndexMut.flix` based on https://dl.acm.org/doi/pdf/10.1145/3656393 The one change is that `IndexMut[t]` should have `with Index[t]` @magnus-madsen should I do it or @jaschdoc ?
#8339 now has the traits with some sample instances to make sure the design is sensible. What should happen now?
@magnus-madsen i don't know if you meant to assign @sockmaster27, but @jaschdoc its ready now :) I'm excited to have this, its gonna be cool 😎
@magnus-madsen so I should just start adding the parser support?
I also had the same thought for a solution, if we are gonna have it.
Yeah it essentially means that all file functions have `File + Time` With a very manual approach you could also just have `File.accessTime(f): _ \ File + Time`