mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-07-07 01:46:20 +02:00
![]() symconst.pas: + extend "tdefoptions" by a "df_genconstraint" which will be used to mark dummy defs that should mainly satisfy the compiler's type checking without to much changes symsym.pas: + add a class "tgenericconstraintdata" which will hold information about the constraints associated with a specific generic type parameter (designed for future extensions) + extend "ttypesym" by a reference to a "tgenericconstraintdata" which is written to the ppu only if needed symtype.pas: + add a pointer to "tderef" as this is needed for the ppu reading/writing code for the "tgenericconstraintdata" pdecl.pas, types_dec: + call "parse_generic_parameters" so that constraints are allowed pgenutil.pas: + extend "generate_specialization" by a "parsedpos" to give in the file position of the first parsed parameter (needed for correct error locations when checking the constraints) + add an overloaded call of "generate_specialization" to differentiate between the use cases "first parameter parsed by generate_specialization" and "first parameter parsed by other code"; this also allows to write the "fillchar" for the "parampos" parameter only once ( => otherwise a warning is triggered => error in compilation) + extend the "parse_generic_specialization_types" by a "poslist" parameter which will contain the positions of all parsed type parameters (can only be used in the case that all parameters are parsed) * move the original code of "parse_generic_specialization_types" to a new procedure "parse_generic_specialization_types_internal" which take an additional "parsedpos" parameter which will be added to the "poslist" before all others; "parse_generic_specialization_types" calls this new procedure with a dummy argument (which won't be used) + extend "parse_generic_parameters" by the parsing of generic constraints which constructs correct defs for the parameters and fills in the new "tgenericconstraintdata" object for each parameter (note: the "constructor" constraint is only parsed for Delphi compatibility and basically means the same as a "class" constraint... (it's a relict of Delphi.NET)) * adjust "insert_generic_parameter_types" as specializations and generics can no longer be differed by whether the type parameters are of type "undefineddef" pdecsub.pas, parse_proc_head, consume_generic_interface: * adjust call to "generate_specialization" + add a new function "check_generic_constraints" which is used from within "generate_specialization" to ensure that the given specialization parameters are compatible with the constraints of the generic parameters ptype.pas: * single_type: adjust call to "generate_specialization" * read_named_type, expr_type: adjust call to "generate_specialization" + write_persistent_type_info: don't write typeinfo for constraints pexpr.pas, sub_expr: * adjust call to "generate_specialization" * adjusted ppudump, because of added "tdefoptions.df_genconstraint" value + added tests for generic constraints * modified test for class helper inside a generic which extends a class type parameter + added test for record helper inside a generic which extends a record type parameter git-svn-id: trunk@23158 - |
||
---|---|---|
.. | ||
dummyas.pp | ||
fixlog.pp | ||
fixmsg.pp | ||
fixnasm.pp | ||
fixtab.pp | ||
fpc.mpw | ||
fpc.pp | ||
fpcsubst.pp | ||
fpimpdef.pp | ||
gia64reg.pp | ||
gppc386.pp | ||
Makefile | ||
Makefile.fpc | ||
mk68kreg.pp | ||
mka64ins.pp | ||
mka64reg.pp | ||
mkarmins.pp | ||
mkarmreg.pp | ||
mkavrreg.pp | ||
mkia64reg.pp | ||
mkjvmreg.pp | ||
mkmpsreg.pp | ||
mkppcreg.pp | ||
mkspreg.pp | ||
mkx86ins.pp | ||
mkx86reg.pp | ||
msg2inc.pp | ||
msgdif.pp | ||
msgused.pl | ||
ppudump.pp | ||
ppufiles.pp | ||
ppumove.pp | ||
README.txt | ||
samplecfg | ||
usubst.pp |
This directory contains some utilities that are used during the development of the Free Pascal Compiler. msg2inc : Convert a compiler message file (errorX.msg) to .inc files to include it as the default language in the compiler. It can also convert the .msg to .tex for inclusion the documentation nasmconv : Convert a Nasm insns.dat to i386tab.inc so it can be used with the compiler makecfg : This script will make the samplecfg for linux installations msgdif : analyzes the differences between two msg files msgdif errore.msg errord.msg will print out new error msg, removed old ones and will create a new file new.msg that will contain the new error messages (supposing TeX comment is after the message line itself) removed messages are prepended by "%%% " (they can be useful in case on error enum renaming !)