summary refs log tree commit diff stats
path: root/compiler/seminst.nim
Commit message (Collapse)AuthorAgeFilesLines
* gc:destructors: progressAndreas Rumpf2019-02-281-0/+2
|
* fixes nested gensym'ed parameters; fixes #9476Araq2018-12-081-1/+1
|
* IC: further progressAraq2018-12-011-2/+2
|
* Change the order of compilation passes, transformation is made lazy at code ↵cooldome2018-10-181-3/+2
| | | | | | | | | | | | | | | gen (#8489) * Ast no transformation * Add getImplNoTransform to the macros module * progress on delaying transf * Fix methods tranformation * Fix lazy lambdalifting * fix create thread wrapper * transform for lambda lifting * improve getImplTransformed * Fix destructor tests * try to fix nimprof for linux
* replace deprecated `safeAdd` with `add` (#9416)Miran2018-10-181-1/+1
|
* compiler: show name of instantiating context in error traces (#6763) (#9207)xzfc2018-10-111-1/+1
|
* fixes #4766Araq2018-08-281-1/+2
|
* WIP: disallow 'nil' for strings and seqsAndreas Rumpf2018-08-131-4/+3
|
* allow referencing other parameters in default parameter valuesZahary Karadjov2018-06-161-2/+24
| | | | | | | | fix #7756 fix #1201 fix #7000 fix #3002 fix #1046
* fix #6928; fix #7208Zahary Karadjov2018-06-161-3/+4
|
* Support default type parametersZahary Karadjov2018-06-161-3/+16
| | | | progress on #7516
* fixes #7222; fixes #5595; fixes #3747Zahary Karadjov2018-06-161-17/+20
| | | | | | | | | | * late instantiation for the generic procs' default param values * automatic mixin behaviour in concepts Other fixes: * don't render the automatically inserted default params in calls * better rendering of tyFromExpr
* remove more global variables in the Nim compilerAndreas Rumpf2018-05-271-6/+6
|
* remove ast.emptyNode global; cleanup configuration.nimAraq2018-05-161-1/+1
|
* make tests green againAraq2018-05-141-2/+2
|
* more modules compile againAndreas Rumpf2018-05-121-13/+14
|
* added toOpenArray builtin for zero-copy slices; syntax sugar yet to comeAraq2018-03-241-1/+3
|
* Static[T] fixes (#7333)zah2018-03-241-0/+30
| | | | | | | | | | | * fix the usage of unresolved static[T] parameters in proc signatures * fix tsametype and tmacrogenerics * Allow creating composite type classes with concepts and using them in type signatures * Allow integers to be used in ident concatenations * Support using imported C++ generic types in proc signatures * fixes #7230 * closes #7379 * re-enable some metatype tests
* fixes #6489Araq2017-11-231-0/+2
|
* deprecated unary '<'Andreas Rumpf2017-10-291-4/+4
|
* first implementation of the 'func' keywordAndreas Rumpf2017-09-231-1/+1
|
* Fix #5962Zahary Karadjov2017-06-201-3/+8
| | | | | | | | | | | | | | | During the instantiation of a generic type A, some other generic type B may be instantiated multiple times with different parameters. We can think about each instantiation as a function call that should temporary bind the parameter names to concrete types. The problem with the existing implementation in semtypinst was that it was performing this binding within a shared global table. In this sense, it was executing the code as a programming language featuring only global variables. In such a language, re-entrant functions cannot be defined properly and hence this was leading to problems with similar types. The solution is simple - just like we need to introduce stack frames to handle re-entrant functions, we introduce a stack of type bindings that are pushed and popped during the generic instantiations.
* introduce a pre-processing pass for the concept bodiesZahary Karadjov2017-06-201-3/+3
| | | | | | | fixes #4982 fixes #3805 close #3414
* fixes tproctypecache_falsepositive.nim test caseAraq2017-06-081-1/+2
|
* Restore the Nim's 0.14 proper handling of generic aliasesZahary Karadjov2017-04-081-1/+2
| | | | | | | | | | | 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
* fix tgenericshardcasesZahary Karadjov2017-03-241-1/+2
|
* Fix generic forward declarations; fixes #4104; fixes #4908 (#5566)zah2017-03-231-3/+11
|
* fixes #5430Araq2017-02-261-1/+1
|
* big compiler refactoring; avoid globals for multi method dispatcher generationAndreas Rumpf2017-02-221-3/+3
|
* make tests green againAraq2017-02-161-1/+3
|
* fixes #5383Araq2017-02-161-3/+4
|
* fixes #5285Andreas Rumpf2017-02-041-2/+9
|
* remove remnants of tyIterJacek Sieka2016-10-241-1/+1
|
* fixes #4856Andreas Rumpf2016-10-201-1/+2
|
* fixes #4673Andreas Rumpf2016-09-011-1/+1
|
* Merge pull request #4592 from arnetheduck/compiler-cleanupAndreas Rumpf2016-08-251-30/+0
|\ | | | | Compiler cleanup
| * remove unused stuffJacek Sieka2016-08-091-30/+0
| |
* | side-effect computation now done in the proper pass; fixes #4254Andreas Rumpf2016-08-251-3/+4
|/
* fixes #3055Andreas Rumpf2016-07-081-1/+1
|
* fixes #4177Andreas Rumpf2016-05-281-2/+4
|
* fixes #4097Andreas Rumpf2016-04-191-7/+7
|
* added experimental .this pragmaAndreas Rumpf2016-02-281-1/+43
|
* fixes #3476Araq2015-10-271-2/+2
|
* fixes #3338Araq2015-10-221-1/+7
|
* renamed inCompilesContext to compilesContextId; added test case for #3313Araq2015-09-181-3/+3
|
* fixes #3313Araq2015-09-181-4/+7
|
* fixes #3329Araq2015-09-181-1/+1
|
* usage of NimNode triggers .compileTime context; fixes #1679Araq2015-09-141-0/+2
|
* fixes generic instantations in conceptsAraq2015-09-121-0/+3
|
* Merge pull request #3177 from zah/generic-types-in-macrosAndreas Rumpf2015-08-141-12/+13
|\ | | | | Generic types in macros
artik/mu/blame/cpp/012run?h=main&id=9cf71627174aebeabe9149df454785b3ef6b92d8'>^
dcfca05e ^
d241c9c4 ^
9cf71627 ^
cfb142b9 ^
5f98a10c ^
cfb142b9 ^




0487a30e ^
2dab0edb ^
1066660e ^
9fc64bbc ^
9d670bb5 ^
9fc64bbc ^

e74a2940 ^




3c435756 ^


2199940a ^
ac0e9db5 ^
8eff7919 ^
ec926027 ^

7c8493b3 ^
795f5244 ^
ec926027 ^

dcfca05e ^
795f5244 ^
dcfca05e ^

69e14325 ^
795f5244 ^
ec926027 ^

e5e9f7db ^



785a60fa ^

e5e9f7db ^



b39ceb27 ^
e7f76736 ^
cea49fde ^








e7f76736 ^
a3481777 ^
926e1b04 ^
ae5f0b6f ^
d71d3b4a ^
b39ceb27 ^
e7f76736 ^
e5e9f7db ^

b39ceb27 ^
ae5f0b6f ^
b39ceb27 ^
6c1376f8 ^

4f10b93a ^
cea49fde ^





ae5f0b6f ^
e7f76736 ^
e7f76736 ^

267ebb59 ^
e0551d78 ^



c062021a ^







e0551d78 ^
e5e9f7db ^

e0551d78 ^

f78f92c5 ^
11312cec ^
24047016 ^
f78f92c5 ^







6ace0363 ^
9f78ec2d ^



267ebb59 ^
bb8a644b ^
f5f4b698 ^
5f98a10c ^
f5f4b698 ^

ad8e984f ^
b2ec0969 ^
8c9e97ae ^
267ebb59 ^
ccd792da ^

b98d3876 ^
267ebb59 ^

9f78ec2d ^



















9c362f85 ^
9f78ec2d ^
7284d503 ^

e5e9f7db ^
fca0ebbe ^
fca0ebbe ^
ab6ed192 ^
a4ef18b1 ^
a26cc359 ^

ac0e9db5 ^


795f5244 ^
cdd6fd09 ^
b291f85b ^

cae5461b ^


fca0ebbe ^
0c0bc3ae ^



6b6dfb0c ^
18429d40 ^
ac0e9db5 ^
70179d1f ^
c6034af3 ^
35064671 ^
70179d1f ^
ac0e9db5 ^
a0fc38c9 ^
cdd6fd09 ^
795f5244 ^
b291f85b ^
cae5461b ^

c1a50c82 ^
ac0e9db5 ^
c6034af3 ^
93b7d983 ^
c6034af3 ^
3076bab4 ^
c6034af3 ^


f48f6c14 ^
eaa75c87 ^
decaddb4 ^
70179d1f ^
c6034af3 ^
c91caafd ^
6c1376f8 ^
70179d1f ^


78164bab ^
6b6dfb0c ^


78164bab ^
c6034af3 ^



a0fc38c9 ^

78164bab ^






e5e9f7db ^







decaddb4 ^


bc643692 ^
5497090a ^
decaddb4 ^
bc643692 ^
d7494165 ^

fc55fea0 ^


bc643692 ^
fc55fea0 ^
bc643692 ^
18429d40 ^
bc643692 ^
5f98a10c ^
18429d40 ^
a0fc38c9 ^
18429d40 ^
bc643692 ^
6d2b1168 ^
677fa104 ^




578327f1 ^
677fa104 ^
578327f1 ^
677fa104 ^


578327f1 ^
677fa104 ^
578327f1 ^
677fa104 ^


578327f1 ^
677fa104 ^
578327f1 ^
677fa104 ^


578327f1 ^
677fa104 ^
578327f1 ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379