 metagn
|
e28d2f42e9
include new concepts in typeclasses, makes containsGenericType work (#24453)
|
2 days ago |
|
metagn
|
d3af51e3ce
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
|
2 months ago |
 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 |
