Replace package object compiletime by top-level definitions; move compiletime.S to compiletime.ops.int.S

[smarter]

[test_non_bootstrapped]

[MaximeKjaer]

If S moves, we need to update the documentation here: https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html#constvalue-constvalueopt-and-the-s-combinator

[smarter]

Thanks, I updated the doc (and now I'm also wondering if there's really a usecase for S instead of just using + 1 ?)

[MaximeKjaer]

I don't really know if there is a use case. One thing I think S can do which + cannot is the following:

import scala.compiletime.S

type MinusOne[N <: Int & Singleton] = N match {
  case S[n] => n
}

@main def test: Unit = {
  val x: MinusOne[3] = 2
}

Though of course MinusOne could also be implemented as N - 1 now, instead of as a match type. I don't really know if there are edge cases where the two might be slightly different.

[smarter]

OK, sounds like S is still useful until/unless + becomes more powerful.

[bishabosha]

LGTM