metagn
|
0014b9c48e
top-down type inference, implements rfc 149 (#20091)
|
пре 2 година |
Andreas Rumpf
|
576fece909
fixes 'lent T' inside object constructor [backport] (#18911)
|
пре 3 година |
Jason Beetham
|
66e53bdd7b
Fixed type inference for 'set` and 'tuple' (#18827)
|
пре 3 година |
Andreas Rumpf
|
34a53e8049
fixes #12642 (#18811)
|
пре 3 година |
Andreas Rumpf
|
e0ef859130
strict effects (#18777)
|
пре 3 година |
Andreas Rumpf
|
a273ea70e8
implements overloadable enum values; WIP (#18470)
|
пре 3 година |
Andreas Rumpf
|
f65f760dee
fixes #15884 (#18230)
|
пре 3 година |
Timothee Cour
|
e224865b3b
add astmsgs; add `declared in` msg for usage lint errors (#17961)
|
пре 3 година |
Timothee Cour
|
2abc936d51
`typeof(voidStmt)` now works (#17807)
|
пре 3 година |
Clyybber
|
438afb4db9
Introduce localErrorNode (#17785)
|
пре 3 година |
Andreas Rumpf
|
67e28c07f9
IC: first steps towards 'nim check --def --ic:on' (#17714)
|
пре 3 година |
Andreas Rumpf
|
d6a16020fe
IC: backend: remember produced type information (#17440)
|
пре 3 година |
Saem Ghani
|
e5873b3a93
semTemplateDef and t17433 clean-ups (#17448)
|
пре 3 година |
Saem Ghani
|
72b89eff82
semLambda removed, semProcAux reworked (#17379)
|
пре 3 година |
Andreas Rumpf
|
6278b5d89a
new-style concepts implementation, WIP (#15251)
|
пре 4 година |
flywind
|
d447c0fe3f
use typeof instead type (#16962)
|
пре 4 година |
Andreas Rumpf
|
fb80d2ff85
IC: bugfixes (WIP) (#16836)
|
пре 4 година |
Andreas Rumpf
|
8241e55023
IC: next steps (#16729)
|
пре 4 година |
Andreas Rumpf
|
1fd4c666dc
IC: next steps (#16705)
|
пре 4 година |
Andreas Rumpf
|
796498525a
IC: next steps (#16550)
|
пре 4 година |
Andreas Rumpf
|
73a8b950cb
big steps torwards an efficient, simple IC implementation (#16543)
|
пре 4 година |
Andreas Rumpf
|
979148e863
refactorings to prepare the compiler for IC (#15935)
|
пре 4 година |
Timothee Cour
|
f344a70412
fix #16150 improve type mismatch errors (#16152)
|
пре 4 година |
Andreas Rumpf
|
226595515c
explicit ID generation for easier IC (#15559)
|
пре 4 година |
Clyybber
|
d4022ebe53
Revert "fixes #15280 [backport:1.2] (#15281)" (#15700)
|
пре 4 година |
Andreas Rumpf
|
3f00a738db
fixes #15280 [backport:1.2] (#15281)
|
пре 4 година |
Andreas Rumpf
|
10988d4840
borrow checking (#15282)
|
пре 4 година |
Clyybber
|
fb58066b61
Fix #5691 (#15158)
|
пре 4 година |
Clyybber
|
2629d619a1
Fix forward declaration issues in template/macro context (#15091)
|
пре 4 година |
Andreas Rumpf
|
71dd5f85b9
'isolate' builtin; refs https://github.com/nim-lang/RFCs/issues/244 (#15011)
|
пре 4 година |