summary refs log tree commit diff stats
path: root/compiler/semtypinst.nim
Commit message (Expand)AuthorAgeFilesLines
* fixes #2505, fixes #1853, fixes #2522Araq2015-04-201-1/+3
* fixes #2509Araq2015-04-111-0/+8
* first implementation of overloading of '='; missing: rewriting let/var sectionsAraq2015-04-061-3/+9
* fixes #1783Araq2015-03-231-1/+5
* fixes #2346Araq2015-03-161-26/+27
* .n.isNil checks for tyTuple PTypes.Max Zerzouri2015-03-071-0/+2
* fixes #2169Araq2015-02-281-2/+1
* fixes #2216Araq2015-02-261-4/+4
* tsigtypeop.nim works againAraq2015-02-251-0/+1
* fixes #2125Araq2015-02-181-1/+1
* Fix typosFederico Ceratto2015-02-151-7/+7
* nimsuggest: first versionAraq2015-01-271-1/+0
* Happy new year!Guillaume Gelin2015-01-061-1/+1
* fixes #1187Araq2014-12-191-2/+3
* fixes #1687Araq2014-11-301-1/+1
* fixes #1562, fixes #1543Araq2014-11-201-0/+2
* implemented locking levels; still incompleteAraq2014-09-271-7/+0
* deepCopy is instantiated when its corresponding type is instantiatedAraq2014-09-261-0/+12
* mostly fixes #1339Zahary Karadjov2014-09-051-2/+6
* big renameAraq2014-08-271-1/+1
* progress on deepCopyAraq2014-08-011-1/+1
* fixes #847Araq2014-04-211-2/+3
* removed flawed thread analysis passAraq2014-04-201-1/+1
* new concurrency model: first steps; shared is not a keyword anymoreAraq2014-04-141-2/+14
* handle arbitrary expressions dependent on static input params in proc signaturesZahary Karadjov2014-03-161-3/+6
* more robust handling of proc signatures containing inter-param type referencesZahary Karadjov2014-03-161-5/+5
* first phase of tyGenericParam reforms needed for static paramsZahary Karadjov2014-03-161-12/+2
* fix #988Zahary Karadjov2014-03-101-3/+2
* fix #986Zahary Karadjov2014-03-101-1/+3
* implements higher-order inline iterators and return type inference for iteratorsZahary Karadjov2014-03-081-1/+6
* fix #931 and few more testsZahary Karadjov2014-02-181-3/+6
* quite messy implementation of generic lambdas, needs reworking; fixes #715Zahary Karadjov2014-02-171-6/+15
* fixes #833Araq2014-02-141-0/+3
* tyTypeDesc and tyRange always have 1 child; this might be tyNone but it is re...Araq2014-02-051-1/+1
* Merge branch 'devel' of https://www.github.com/Araq/Nimrod into develZahary Karadjov2014-01-261-2/+2
|\
| * fixes #838Araq2014-01-251-2/+2
* | support for parametric user-defined type classesZahary Karadjov2014-01-241-1/+4
|/
* 'nil' as a statement is deprecated, use an empty 'discard' insteadAraq2014-01-191-2/+2
* progress towards fixing tgenericshardcasesZahary Karadjov2014-01-061-18/+86
* introduce tyFromExpr; fixes #618Zahary Karadjov2014-01-041-0/+4
* Templates will pick the candidate in the nearest scope when symbols are mixed-inZahary Karadjov2013-12-311-7/+8
* migrate the static param handling to ReplaceTypeVars; fix tgenericvariantZahary Karadjov2013-12-301-11/+10
* properly remove intLiterals from proc signatures; fixes trettypeinferenceZahary Karadjov2013-12-301-5/+13
* handle recursive types during the instantiation of meta types; propagate tfHa...Zahary Karadjov2013-12-301-19/+79
* fix the filtering of void params in procs' signaturesZahary Karadjov2013-12-291-4/+20
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-31/+52
|\
| * integrate the logic of fixupProcType into ReplaceTypeVarsZahary Karadjov2013-12-291-15/+27
| * make more tests greenZahary Karadjov2013-12-291-3/+4
| * lift generic parameters from concrete composite type classesZahary Karadjov2013-12-281-4/+5
| * towards support for composite type classes such as seq[Number] and SquareMatr...Zahary Karadjov2013-12-271-8/+13
e='author Kartik Agaram <vc@akkartik.com> 2019-07-27 17:41:52 -0700 committer Kartik Agaram <vc@akkartik.com> 2019-07-27 17:48:04 -0700 5486 - draft synthesis of Mu and SubX descriptions' href='/akkartik/mu/commit/Readme.md?h=main&id=784e17d4875eb4cbe455e696228b0b927c6b1d66'>784e17d4 ^
9a524793 ^
32241605 ^
9a524793 ^
3b81d748 ^
9a524793 ^

32241605 ^
ac8b37f9 ^
5f8d065d ^



2c64c52e ^
3b1686b6 ^
31a5c8f6 ^
3b81d748 ^
47287fbf ^

2d306e2a ^
47287fbf ^

31a5c8f6 ^
32241605 ^
3b81d748 ^
49a99383 ^





517a01c9 ^
57c3617e ^
49a99383 ^


b663b579 ^

517a01c9 ^
3b81d748 ^


49a99383 ^
517a01c9 ^
9a524793 ^
9f589350 ^
9a524793 ^


5268b0e1 ^




6e1eeeeb ^
9a524793 ^
6e1eeeeb ^
e3349a16 ^
2c9aa92f ^
9586db16 ^





797a46d5 ^
9a524793 ^
797a46d5 ^
7817fdb2 ^









e420279a ^
9586db16 ^









2c64c52e ^
e9e06638 ^
9a524793 ^
b338e82e ^

396a7ef6 ^
7ce83f9b ^
b338e82e ^
e2e0f5cc ^
07a1a299 ^
3b12aab3 ^
9a83eac4 ^



3b12aab3 ^


e786968a ^

b338e82e ^
9a524793 ^
6e1eeeeb ^
9a524793 ^
4f33ff22 ^
9586db16 ^
4f33ff22 ^
b8f5ef8d ^
71e4f381 ^







b8f5ef8d ^
3b81d748 ^


bb1a1ac2 ^
9a524793 ^
bb1a1ac2 ^
9a524793 ^
a7088a2f ^
784e17d4 ^






97f4d3ed ^
784e17d4 ^

784e17d4 ^


2136ad26 ^
784e17d4 ^


6cd12b18 ^



9a524793 ^
6cd12b18 ^

9a524793 ^
6cd12b18 ^
2c64c52e ^
6cd12b18 ^
0167d5c5 ^


6cd12b18 ^


a94ac8f0 ^


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