 svenbarth
|
1bbcc08a8b
Fix for Mantis #26176. Don't handle "type helper" as unique.
|
11 ani în urmă |
|
svenbarth
|
639a59df92
Added support for partial specialization. This should fix a few problems with generics, the tests for which will be added in the next days after I've verified them.
|
11 ani în urmă |
 Jonas Maebe
|
b57c95043f
+ support overriding tdef/tsym methods with target-specific functionality:
|
11 ani în urmă |
 florian
|
4d5119bf1c
* fixes several issues which cause warnings by the dfa code when using it to detect uninitialized variables
|
11 ani în urmă |
|
svenbarth
|
798bb91e90
Extract tdef.is_related plus its overrides in tobjectdef, trecorddef and tstringdef into a new function def_is_related in unit defcmp.
|
11 ani în urmă |
|
svenbarth
|
76f6de5cf1
Refactor tobjectdef.find_implemented_interface out into unit defcmp so that the recently introduced cycle between symdef and defcmp can be broken again.
|
11 ani în urmă |
|
svenbarth
|
32beb30129
Small improvements for generate_specializations.
|
12 ani în urmă |
|
svenbarth
|
e8edbd29c0
Fix for Mantis #24687.
|
12 ani în urmă |
|
svenbarth
|
fb8b0e7a27
Fix for Mantis #24453. Check for nested types after a specialization. Additionally check correctly whether a type is really a generic before accepting it when parsing a generic.
|
12 ani în urmă |
|
svenbarth
|
9d48bc0baf
Implement cross unit type overloading of generics. This fixes the regression introduced with revision 25498.
|
12 ani în urmă |
|
svenbarth
|
d03507671d
Fix for Mantis #24953.
|
12 ani în urmă |
|
svenbarth
|
53ea24a0b1
Correctly specialize generics if locally declared types are used (e.g. two procedures could both define a different "TRec" type which is used to specialize a generic inside the procedures).
|
12 ani în urmă |
|
svenbarth
|
956b26bc97
Completely reworked implementation of generic constraints, by moving the generic constraint data from the symbols to the definitions (I originally thought that this would simplyfy things, but the more correct approach is to add it to the defs).
|
12 ani în urmă |
|
svenbarth
|
cc5a108cca
Allocate the list for generic parameters in tstoreddef only on demand as most defs won't contain generic parameters anyway (avoids a little bit of runtime and memory overhead per def).
|
12 ani în urmă |
|
svenbarth
|
344571cb4e
Added support for type helpers. In non Delphi modes they use "type helper" and in mode Delphi they use "record helper". They can also be used on constants.
|
12 ani în urmă |
|
svenbarth
|
fdb1950227
Fix for revision 23344.
|
12 ani în urmă |
|
svenbarth
|
27f5e4f582
Fix for Mantis #23547. Basically we now fail with nicer error messages.
|
12 ani în urmă |
|
svenbarth
|
4adb36e8da
Add support for generic type constraints. They are currently only useful to stop specialization of a generic. The parsing of a generic is still too lax and needs to be changed in the future...
|
12 ani în urmă |
|
svenbarth
|
9ef4a35a7b
Fix the fix for Mantis #21538. The check never really worked up to now...
|
12 ani în urmă |
|
svenbarth
|
54c1e638ad
Fix for Mantis #22428.
|
13 ani în urmă |
|
svenbarth
|
88af293155
Fix for Mantis #22160
|
13 ani în urmă |
|
svenbarth
|
29c71d39ac
Preparations for upcoming work on generics:
|
13 ani în urmă |
|
Jonas Maebe
|
07ebc51b6c
* always store generics token streams in little endian, so we don't have to
|
13 ani în urmă |
|
svenbarth
|
a908db5a91
Partially fix for Mantis #22160. This resolves the internal error, but the given example units still don't compile, because of the way we handle specializations and unit loading (more about this once I fixed that, too).
|
13 ani în urmă |
|
svenbarth
|
75bf094e3f
Fix for Mantis #21064.
|
13 ani în urmă |
|
svenbarth
|
d2fabd2a22
Fix for Mantis #21350
|
13 ani în urmă |
 paul
|
4312aa4e08
compiler: allow compiler to find real class definition during class members parse to handle references to self constants + test
|
13 ani în urmă |
|
svenbarth
|
b3595893c8
pgenutil.pas, generate_specialization: set the correct module index, so that warnings, etc. that are generated for a type declaration are printed using the module where the generic came from (this is already done for method bodies, but not for declarations)
|
13 ani în urmă |
|
svenbarth
|
810bd7ddab
+ symtable.pas, tspecializesymtable.create: SymList and DefList do not need to own the symbols and defs as they are moved to another symtable before the specialize symtable is destroyed (avoids the need to call "extract" on those lists)
|
13 ani în urmă |
|
Jonas Maebe
|
24be42d509
* changed "crc" variable from longint to cardinal to avoid (harmless) range
|
13 ani în urmă |
