Christoffer Lerno
Christoffer Lerno
It could I guess, although that is more work.
I added a simple --echo-prefix build option now. It can definitely be improved on. Currently it supports {FILE} and {LINE}
Thank you!
I'm thinking "base" might be better - talking about the "base type" of something.
Any thoughts?
In the compiler, removing the `distinct`-ness is known as `flattening`, whereas reducing types to their backend representations is known as lowering (and should only be done in the backend), maybe...
`flatten` and `lower` does have the advantage of being well defined within the compiler.
`distinct_of`?
@sa-tasche That seems to be a bit reverse of what is meant though? It's getting the type the distinct is using as a based.
I'm going to close this because I don't think there is a better name for now. Let's revisit this later when the compiler have gone through further refactorings.