Searched refs:okTerm (Results 1 – 10 of 10) sorted by relevance
289 okDisplayTerm (DTerm v) = okTerm v313 okArg = okTerm . unArg316 okElim (I.IApply x y r) = okTerm r320 okTerm :: I.Term -> Bool321 okTerm (I.Var _ []) = True function322 okTerm (I.Con c ci vs) = all okElim vs function323 okTerm (I.Def x []) = isNoName $ qnameToConcrete x -- Handling wildcards in display forms function324 okTerm _ = False function
2794 int okTerm = 1; in eval_preprocessor_boolean() local2799 if( !okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2804 if( okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2807 okTerm = 1; in eval_preprocessor_boolean()2811 if( okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2814 okTerm = 1; in eval_preprocessor_boolean()2820 if( !okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2846 okTerm = 0; in eval_preprocessor_boolean()2851 if( !okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2866 okTerm = 0; in eval_preprocessor_boolean()
2803 int okTerm = 1; in eval_preprocessor_boolean() local2808 if( !okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2813 if( okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2816 okTerm = 1; in eval_preprocessor_boolean()2820 if( okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2823 okTerm = 1; in eval_preprocessor_boolean()2829 if( !okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2855 okTerm = 0; in eval_preprocessor_boolean()2860 if( !okTerm ) goto pp_syntax_error; in eval_preprocessor_boolean()2875 okTerm = 0; in eval_preprocessor_boolean()
2803 int okTerm = 1;2808 if( !okTerm ) goto pp_syntax_error;2813 if( okTerm ) goto pp_syntax_error;2816 okTerm = 1;2820 if( okTerm ) goto pp_syntax_error;2823 okTerm = 1;2829 if( !okTerm ) goto pp_syntax_error;2855 okTerm = 0;2860 if( !okTerm ) goto pp_syntax_error;2875 okTerm = 0;