 metagn
|
cad8726907
refactor to make sigmatch use LayeredIdTable for bindings (#24216)
|
1 month ago |
 soonsouth
|
b387bc49b5
chore: fix some typos (#23412)
|
8 months ago |
 Andreas Rumpf
|
7657a637b8
refactoring: no inheritance for PType/PSym (#23403)
|
8 months ago |
|
Andreas Rumpf
|
91ad6a740b
type refactor: part 4 (#23077)
|
11 months ago |
|
Andreas Rumpf
|
db603237c6
Types: Refactorings; step 1 (#23055)
|
11 months ago |
|
Andreas Rumpf
|
02be027e9b
IC: progress and refactorings (#22961)
|
1 year ago |
 ringabout
|
e17237ce9d
prepare for the enforcement of `std` prefix (#22873)
|
1 year ago |
|
metagn
|
e5106d1ef3
minor refactoring, move some sym/type construction to semdata (#22654)
|
1 year ago |
|
ringabout
|
469c9cfab4
unpublic the sons field of PType; the precursor to PType refactorings (#22446)
|
1 year ago |
|
ringabout
|
93ced31353
use strictdefs for compiler (#22365)
|
1 year ago |
 Jake Leahy
|
7616e6ee2b
Fix concepts with doc comments (#22228)
|
1 year ago |
|
Andreas Rumpf
|
20b011de19
refactoring in preparation for better, simpler name mangling that wor… (#21667)
|
1 year ago |
|
ringabout
|
cc08a9015e
fixes #21263; consider all candidates for concept matches (#21265)
|
1 year ago |
 Andrey Makarov
|
3eef0491a8
fix a few "broken link" warnings (#20837)
|
2 years ago |
 konsumlamm
|
4491da4c4d
Support doc comments in new-styled concepts (#20752)
|
2 years ago |
 flywind
|
7f6e800caf
move assertions out of system (#19599)
|
2 years ago |
|
konsumlamm
|
ac5435ecd0
Make error message for empty new-styled concept more descriptive (#18506)
|
3 years ago |
 Timothee Cour
|
7e94420847
cString => cSourceString; tyCString => tyCstring so that error msgs show cstring, not cString (#17744)
|
3 years ago |
|
Andreas Rumpf
|
6278b5d89a
new-style concepts implementation, WIP (#15251)
|
3 years ago |
