Zahary Karadjov
b428da2cc2
work-around for defining imported types with weak covariance
2017-05-13 15:46:08 +03:00
Zahary Karadjov
0aede22e87
enforce the covariance rules for user-defined generic types
2017-05-13 14:38:07 +03:00
Zahary Karadjov
a3f19c87fb
lift parameter-less do block to lambdas
2017-04-10 23:58:05 +03:00
Zahary Karadjov
987b522071
fix the do notation when used with procs
2017-04-09 22:59:24 +03:00
Zahary Karadjov
e9a3ffbc3d
Restore the Nim's 0.14 proper handling of generic aliases
...
A more efficient implementation is possible by restoring the old
lifting ot tyGenericInvocation to tyGenericInst in liftTypeParam,
but this fix will suffice for now.
fixes #5087
fixes #5602
fixes #5641
fixes #5570
2017-04-08 17:28:19 +03:00
Zahary Karadjov
0b7321651e
fix #5658
2017-04-07 21:53:27 +03:00
Andreas Rumpf
08f5087d2c
remove the need for the .procvar annotation
2017-04-03 16:35:41 +02:00
Andreas Rumpf
e8cfa14354
de-deprecate silly warning about non-exhaustive string case statments
2017-04-03 12:28:06 +02:00
Andreas Rumpf
529609f7ed
Merge remote-tracking branch 'origin/concepts-rebased' into araq
2017-03-31 16:40:21 +02:00
Zahary Karadjov
a74ad869e9
requested code review changes
2017-03-29 16:15:30 +03:00
Zahary Karadjov
01bc5f32d6
Fix the compilation of the emmy package
2017-03-28 01:58:54 +03:00
Andreas Rumpf
d02486aa48
compiler: better error messages ( #5613 )
2017-03-26 20:24:06 +02:00
Zahary Karadjov
fe48dd1cbe
further improvements to the error messages produced by concepts
2017-03-24 16:59:47 +02:00
Zahary Karadjov
0f2c4be129
infer static parameters even when more complicated arithmetic is involved
2017-03-24 16:58:15 +02:00
Zahary Karadjov
76c663f692
support for inferring static[T] concept params
2017-03-24 16:58:15 +02:00
Zahary Karadjov
0a9a878bd3
support for matching generic types' procs in generic concepts
2017-03-24 16:58:15 +02:00
Andreas Rumpf
b414806e66
nimsuggest: suggest types in a type section
2017-03-14 11:21:35 +01:00
Andreas Rumpf
4912300ca7
Merge branch 'devel' into faster-nimsuggest
2017-03-14 10:18:20 +01:00
zah
1be0022e7c
Fixes #5167 and related problems ( #5475 )
...
This commit returns to a bit less strict checking of the number
of macro arguments, because some old immediate macros rely on a
behavior where even the arity of the macro is not being checked.
It may be better if such macros are just declared to use varargs[expr],
but this remains for another day.
2017-03-12 09:33:49 +01:00
Andreas Rumpf
2430fc7d82
nimsuggest: special rule for 'of' completion in case statements
2017-03-10 14:42:11 +01:00
Andreas Rumpf
a9c1afd5fd
nimsuggest: structured error reporting; EPC mode still fails
2017-03-03 02:13:16 +01:00
Araq
936ed9721b
fixes 'nim check' crash
2017-03-01 09:57:26 +01:00
Araq
2589d69ed2
fixes #5430
2017-02-26 00:32:07 +01:00
Andreas Rumpf
f8914cc3b0
fixes a multimethod regression
2017-02-24 13:02:36 +01:00
Andreas Rumpf
46f33515d7
Merge branch 'devel' into faster-nimsuggest
2017-02-24 01:28:50 +01:00
Andreas Rumpf
2d546ca0ac
fixes #5417
2017-02-24 00:32:14 +01:00
Andreas Rumpf
46efaf294b
big compiler refactoring; avoid globals for multi method dispatcher generation
2017-02-22 16:27:52 +01:00
Andreas Rumpf
ba29ca0c63
Merge branch 'devel' into faster-nimsuggest
2017-02-17 10:48:01 +01:00
Araq
97e26967f1
fixes #5383
2017-02-16 00:43:14 +01:00
Andreas Rumpf
6cb0e5ad68
remove debug output
2017-02-14 12:51:38 +01:00
Andreas Rumpf
733ed91d33
disable transitive closure computations; only semcheck procs that have the cursor
2017-02-09 17:40:24 +01:00
Dominik Picheta
4661ae22dd
Fixes incorrect scoping in semstmts.semTry.
2017-02-06 19:02:51 +01:00
Dominik Picheta
1c233ba27a
More progress towards a working #3691 .
2017-02-03 19:50:22 +01:00
Dominik Picheta
656da1f6a9
WIP: as with generics.
2017-02-02 21:36:49 +01:00
Dominik Picheta
814f527175
Fixes based on @Araq's feedback.
2017-02-01 21:51:17 +01:00
Dominik Picheta
3cbfd56e1d
Fixes #3691 .
2017-02-01 21:11:40 +01:00
Dominik Picheta
e8c46d29cd
WIP implementation of except ExcType as ident syntax. Refs #3691 .
2017-02-01 00:32:56 +01:00
Andreas Rumpf
2f08fdf623
implements {.gcsafe.} enforcement as a pragma block
2017-01-18 12:55:33 +01:00
Araq
cfea779e23
fixes #2050
2016-12-30 02:21:15 +01:00
Araq
24239c2361
Merge branch 'devel' into sighashes
2016-12-17 23:04:34 +01:00
Araq
d4c33df919
fixes #5129
2016-12-17 23:02:53 +01:00
Andreas Rumpf
e169eaac5b
make tsigbreak.nim compile
2016-12-12 14:08:01 +01:00
Araq
0e1304a3e2
the compiler uses tyAlias internally; tester compiles again
2016-11-16 00:13:45 +01:00
Araq
e6c5622aa7
removed tyArrayConstr completely from the compiler; introduced tyAlias instead in preparation for further bugfixes
2016-11-14 23:18:30 +01:00
Araq
9e6fb3f696
new dependency tracking for nimsuggest
2016-11-05 01:19:23 +01:00
Araq
773d17cd14
big refactoring: step 1
2016-10-31 15:34:44 +01:00
Andreas Rumpf
cd27b7710d
fixes #4813
2016-09-24 21:00:31 +02:00
Andreas Rumpf
3a13706d7d
fixes #4673
2016-09-01 13:02:53 +02:00
Andreas Rumpf
976e95e17c
fixes #4580
2016-08-26 15:49:03 +02:00
Andreas Rumpf
89f3e21fc8
fixes #4658
2016-08-26 13:02:52 +02:00
