mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-05 21:28:21 +02:00
a2beae0e11
element in Delphi mode (fixes mantis #10890, but requires more thorough changes in nadd.pas for proper fixing) git-svn-id: trunk@10399 -
62 lines
752 B
ObjectPascal
62 lines
752 B
ObjectPascal
program tester;
|
|
|
|
{$mode delphi}
|
|
|
|
type TXMLElemKind = (
|
|
elErrorFrm,
|
|
elInvolutiveness,
|
|
elIrreflexivity,
|
|
elIs,
|
|
elIt,
|
|
elIterEquality,
|
|
elIterStep,
|
|
elJustifiedProperty,
|
|
elJustifiedTheorem,
|
|
elLambdaVar,
|
|
elLet,
|
|
elLocusVar,
|
|
elMonomial,
|
|
elNot,
|
|
elPoweredVar,
|
|
elPred,
|
|
elPredInstance,
|
|
elPriority,
|
|
elPrivFunc,
|
|
elPrivPred,
|
|
elProjectivity,
|
|
elProof,
|
|
elTakeAsVar,
|
|
elTheorem,
|
|
elTheorems,
|
|
elThesis,
|
|
elThesisExpansions,
|
|
elTransitivity,
|
|
elTyp,
|
|
elUnexpectedProp,
|
|
elUniqueness,
|
|
elUnknownCorrCond,
|
|
elVar,
|
|
elVerum
|
|
);
|
|
|
|
const TermElKinds = [
|
|
elVar
|
|
];
|
|
|
|
const FrmElKinds = [
|
|
elErrorFrm,
|
|
elIs,
|
|
elNot,
|
|
elPred,
|
|
elPrivPred,
|
|
elVerum
|
|
];
|
|
|
|
var a:TXMLElemKind;
|
|
|
|
begin
|
|
a:=elVerum;
|
|
if not(a in (FrmElKinds + TermElKinds)) then
|
|
halt(1);
|
|
end.
|