Mirror of forum.nim-lang.org

9989 :: My Nim Development Weekly Report (3/12)

• ringabout (orginal) [2023-03-13T04:28:47+01:00] view original

  Progress

  chores

  closes #16654; add a test case.

  closes #20704; add a test case.

  closes #6231; add a test case.

  closes #8295; add a test case.

  fixes sinkinference documentation, which has been disabled.

  following up PRs

  fixes quoted variables with typedesc types.

  fixes explicit globals in macros.

  fixes @[] and {} type inference as returns in generics

  fixes #21377; fixes @[] and {} type inference as returns in generics.

  proc b[T](v: T): seq[int] =
      let x = 0
      @[]
    
    doAssert b(0) == @[]
  Run

  The type of @[] is incomplete, which is of seq[empty] type. By means of the return type of the generics, we could infer its type. Using top down type inference, we pass the expected type, namely seq[int], to the return expression. Finally, the return type is passed to the magic mArrToSeq, where we replace the incomplete type with seq[int].

  Initialize all the missing fields when discriminator is assigned

  fixes #21023; Segfault when mixing seqs, orc, variants and futures.

  type
    Result = object
      case o: bool
      of false:
        e: int
      of true:
        v: float
  Run

  var x = Result(o: true) is now equal to var x = Result(o: true, v: 0.0). The v field is initialized to 0.0 so that it won't cause problems for ARC/ORC.

  don't transform yields in the var section when introducing new local vars

  fixes #21306; fixes #20485; don't transform yields in the var section when introducing new local vars.

  fixes ambiguous calls compiles when module name are equal

  fixes #21496; fixes ambiguous calls compiles when module name are equal.

  
  - a
     - def.nim
  - b
     - def.nim
  - project.nimble
  Run

  The a/def and b/def shares the same owner, namely project which is the name of the nimble file. We cannot distinguish them by their owners.

  if sym.kind == skModule and conflict.kind == skModule and sym.owner == conflict.owner:
  Run

  Instead, we need to use sym.position which stands for an unique index corresponding to the module's fileIdx for symbols with a skModule kind.

  if sym.kind == skModule and conflict.kind == skModule and sym.position == conflict.position:
  Run

  Weekly collection

  https://forum.nim-lang.org/t/9908 (2/19)

  https://forum.nim-lang.org/t/9940 (2/26)

  https://forum.nim-lang.org/t/9970 (3/5)

  Participating in contributions

  Following The Roadmap 2023 for community building , you could join us in the matrix space where we discuss how to build a community. We appreciate doable suggestions and helps, such as improving the workflow, implementing the roadmap, suggesting doable tasks, reviewing code from contributors. United we stand. We shall work together to make the community thrive.

  Sponsorship

  Many thanks to @Yepoleb, @lenis0012, @pietroppeter, @Clonkk, @mode80, @Phil, @CxPlanner, @shirleyquirk, @elcritch, @geotre, @thinkwelltwd, @xrfez, @enthus1ast, @piertoni, @Dnanilem for sponsoring me on GitHub.

---