Commit History

Author SHA1 Message Date
  ringabout 185e06c923 fixes #23419; internal error with void in generic array instantiation (#23550) 6 months ago
  Andreas Rumpf 6ed33b6d61 type graph refactor; part 3 (#23064) 11 months ago
  Andreas Rumpf e51e98997b type refactoring: part 2 (#23059) 11 months ago
  Andreas Rumpf db603237c6 Types: Refactorings; step 1 (#23055) 11 months ago
  ringabout 795aad4f2a fixes #22996; `typeAllowedCheck` for default fields (#22998) 11 months ago
  ringabout e17237ce9d prepare for the enforcement of `std` prefix (#22873) 1 year ago
  ringabout 93ced31353 use strictdefs for compiler (#22365) 1 year ago
  ringabout 65223e6f59 fixes #21674; `lent` can be used in the fields or the cast type as a parameter (#21684) 1 year ago
  Andrey Makarov 3eef0491a8 fix a few "broken link" warnings (#20837) 2 years ago
  Andreas Rumpf e83f27e6a0 out parameters: enforce that 'out' is only used as a parameter (#20510) 2 years ago
  flywind 7f6e800caf move assertions out of system (#19599) 2 years ago
  Andreas Rumpf 6ea6225523 bugfix: varargs count as open arrays (#19447) 2 years ago
  Andreas Rumpf ac37eed5a2 fixes #16617 [backport] (#19300) 2 years ago
  Jason Beetham ee2eb5cae2 Fix subranges of distinct types (#18816) [backport] 3 years ago
  Timothee Cour 7e94420847 cString => cSourceString; tyCString => tyCstring so that error msgs show cstring, not cString (#17744) 3 years ago
  Timothee Cour ceadf54d76 iterable[T] (#17196) 3 years ago
  flywind e406e28738 fix #16898 #17621 (#17628) 3 years ago
  Andreas Rumpf 6278b5d89a new-style concepts implementation, WIP (#15251) 3 years ago
  Andreas Rumpf d9038ed792 fixes #15671 [backport:1.4] (#15690) 4 years ago
  Ivan Bobev 3c85aa9e53 Make `{.requiresInit.}` to work for distinct types (#15869) 4 years ago
  Andreas Rumpf 4e438f9096 const view types; fixes some cases from https://github.com/nim-lang/Nim/issues/15428 (#15488) 4 years ago
  Andreas Rumpf 86d7b63e2a better support for view types (#15436) 4 years ago
  Andreas Rumpf 4058801607 spec for view types (#15424) 4 years ago
  Andreas Rumpf 217675cf84 borrow checking refinements (#15290) 4 years ago
  Andreas Rumpf 10988d4840 borrow checking (#15282) 4 years ago