+++ /dev/null
-# include "stdio.h"
-# define U(x) x
-# define NLSTATE yyprevious=YYNEWLINE
-# define BEGIN yybgin = yysvec + 1 +
-# define INITIAL 0
-# define YYLERR yysvec
-# define YYSTATE (yyestate-yysvec-1)
-# define YYOPTIM 1
-# define YYLMAX BUFSIZ
-# define output(c) putc(c,yyout)
-# define input() (((yytchar=yysptr>yysbuf?U(*--yysptr):getc(yyin))==10?(yylineno++,yytchar):yytchar)==EOF?0:yytchar)
-# define unput(c) {yytchar= (c);if(yytchar=='\n')yylineno--;*yysptr++=yytchar;}
-# define yymore() (yymorfg=1)
-# define ECHO fprintf(yyout, "%s",yytext)
-# define REJECT { nstr = yyreject(); goto yyfussy;}
-int yyleng; extern char yytext[];
-int yymorfg;
-extern char *yysptr, yysbuf[];
-int yytchar;
-FILE *yyin = {stdin}, *yyout = {stdout};
-extern int yylineno;
-struct yysvf {
- struct yywork *yystoff;
- struct yysvf *yyother;
- int *yystops;};
-struct yysvf *yyestate;
-extern struct yysvf yysvec[], *yybgin;
- /* This Lex script acts as a filter to pre-process Latex files.
- It surrounds groups of lines beginning with a ">" sign, and
- preceded and followed by a blank line, with \begin{verbatim}
- and \end{verbatim}. The ">" may be preceded by a digit or digit
- range (eg 4>, 2-5>, 3->); in this case the digits are removed.
- They are meant to be used for filtering out versions.
- It takes words surrounded with @ signs (thus @letrec@) and makes them
- come out in typewriter font, regardless of the current mode.
- */
-# define NORM 2
-# define VERB 4
-# define MIRANDA 6
-# define VERBATIM 8
-# define VERBATIMSIM 10
-#define PUSH states[top++] =
-#define POP BEGIN states[--top]
-#define yywrap() 1
-# define YYNEWLINE 10
-yylex(){
-int nstr; extern int yyprevious;
- int states[256];
- int top;
- BEGIN NORM;
- top = 0;
-while((nstr = yylook()) >= 0)
-yyfussy: switch(nstr){
-case 0:
-if(yywrap()) return(0); break;
-case 1:
- { printf ("@"); }
-break;
-case 2:
- { printf ("\\mbox{\\tt "); PUSH NORM; BEGIN VERB; }
-break;
-case 3:
- { printf ("}"); POP; }
-break;
-case 4:
- { printf ("}\\\\{}\n\\mbox{\\tt "); }
-break;
-case 5:
- { printf ("\\ "); }
-break;
-case 6:
- { printf ("@"); }
-break;
-case 7:
- { printf ("{\\char'43}"); }
-break;
-case 8:
- { printf ("{\\char'44}"); }
-break;
-case 9:
- { printf ("{\\char'45}"); }
-break;
-case 10:
- { printf ("{\\char'46}"); }
-break;
-case 11:
- { printf ("{\\char'176}"); }
-break;
-case 12:
- { printf ("{\\char'137}"); }
-break;
-case 13:
- { printf ("{\\char'136}"); }
-break;
-case 14:
- { printf ("{\\char'134}"); }
-break;
-case 15:
- { printf ("{\\char'173}"); }
-break;
-case 16:
- { printf ("{\\char'175}"); }
-break;
-case 17:
- { printf( "\\begin{verbatim}\n" );
- PUSH NORM; BEGIN VERBATIMSIM; }
-break;
-case 18:
-{ printf( "\\end{verbatim}\n" ); POP; }
-break;
-case 19:
-{ printf( "\\begin{verbatim}" );
- PUSH NORM; BEGIN VERBATIM; }
-break;
-case 20:
-{ printf( "\\end{verbatim}" ); POP; }
-break;
-case 21:
-{ printf ("\\begin{verbatim}\n>" );
- PUSH NORM; BEGIN MIRANDA; }
-break;
-case 22:
-{ printf( "\n>" ); }
-break;
-case 23:
- { printf ("\\end{verbatim}\n"); POP; }
-break;
-case -1:
-break;
-default:
-fprintf(yyout,"bad switch yylook %d",nstr);
-} return(0); }
-/* end of yylex */
-int
-main()
-{
- yylex();
- return(0);
-}
-int yyvstop[] = {
-0,
-
-2,
-0,
-
-2,
-0,
-
-4,
-0,
-
-5,
-0,
-
-7,
-0,
-
-8,
-0,
-
-9,
-0,
-
-10,
-0,
-
-3,
-0,
-
-14,
-0,
-
-13,
-0,
-
-12,
-0,
-
-15,
-0,
-
-16,
-0,
-
-11,
-0,
-
-23,
-0,
-
-1,
-0,
-
-21,
-0,
-
-17,
-0,
-
-6,
-0,
-
-22,
-0,
-
-18,
-0,
-
-20,
-0,
-
-19,
-0,
-0};
-# define YYTYPE char
-struct yywork { YYTYPE verify, advance; } yycrank[] = {
-0,0, 0,0, 0,0, 0,0,
-0,0, 0,0, 0,0, 0,0,
-0,0, 0,0, 0,0, 0,0,
-4,15, 5,17, 7,30, 8,31,
-33,43, 0,0, 0,0, 0,0,
-0,0, 0,0, 0,0, 0,0,
-0,0, 0,0, 16,38, 0,0,
-0,0, 0,0, 0,0, 0,0,
-0,0, 0,0, 0,0, 5,18,
-0,0, 0,0, 5,19, 5,20,
-5,21, 5,22, 0,0, 0,0,
-0,0, 0,0, 0,0, 0,0,
-36,45, 40,46, 0,0, 45,45,
-45,45, 45,45, 45,45, 45,45,
-45,45, 45,45, 45,45, 45,45,
-45,45, 0,0, 0,0, 0,0,
-0,0, 3,13, 4,16, 5,23,
-12,33, 13,34, 15,36, 15,36,
-15,36, 15,36, 15,36, 15,36,
-15,36, 15,36, 15,36, 15,36,
-16,34, 23,39, 0,0, 0,0,
-15,37, 0,0, 0,0, 0,0,
-0,0, 0,0, 0,0, 0,0,
-0,0, 3,14, 4,14, 5,24,
-9,32, 5,25, 5,26, 0,0,
-0,0, 14,35, 30,40, 30,40,
-30,40, 30,40, 30,40, 30,40,
-30,40, 30,40, 30,40, 30,40,
-32,42, 35,44, 42,47, 44,48,
-30,41, 47,49, 48,50, 53,55,
-56,58, 57,59, 59,61, 60,62,
-50,52, 62,64, 5,27, 63,65,
-5,28, 5,29, 46,46, 46,46,
-46,46, 46,46, 46,46, 46,46,
-46,46, 46,46, 46,46, 46,46,
-49,51, 51,53, 52,54, 54,56,
-55,57, 58,60, 61,63, 64,66,
-65,67, 66,68, 67,69, 68,70,
-70,71, 0,0, 0,0, 0,0,
-0,0};
-struct yysvf yysvec[] = {
-0, 0, 0,
-yycrank+0, 0, 0,
-yycrank+0, 0, 0,
-yycrank+1, 0, 0,
-yycrank+2, 0, 0,
-yycrank+3, 0, 0,
-yycrank+0, yysvec+5, 0,
-yycrank+4, 0, 0,
-yycrank+5, 0, 0,
-yycrank+4, 0, 0,
-yycrank+0, yysvec+9, 0,
-yycrank+0, 0, 0,
-yycrank+4, 0, 0,
-yycrank+5, 0, yyvstop+1,
-yycrank+3, 0, 0,
-yycrank+22, 0, 0,
-yycrank+16, 0, yyvstop+3,
-yycrank+0, 0, yyvstop+5,
-yycrank+0, 0, yyvstop+7,
-yycrank+0, 0, yyvstop+9,
-yycrank+0, 0, yyvstop+11,
-yycrank+0, 0, yyvstop+13,
-yycrank+0, 0, yyvstop+15,
-yycrank+17, 0, yyvstop+17,
-yycrank+0, 0, yyvstop+19,
-yycrank+0, 0, yyvstop+21,
-yycrank+0, 0, yyvstop+23,
-yycrank+0, 0, yyvstop+25,
-yycrank+0, 0, yyvstop+27,
-yycrank+0, 0, yyvstop+29,
-yycrank+54, 0, 0,
-yycrank+0, yysvec+30, yyvstop+31,
-yycrank+11, 0, 0,
-yycrank+6, 0, 0,
-yycrank+0, 0, yyvstop+33,
-yycrank+12, 0, 0,
-yycrank+3, yysvec+15, 0,
-yycrank+0, 0, yyvstop+35,
-yycrank+0, 0, yyvstop+37,
-yycrank+0, 0, yyvstop+39,
-yycrank+4, yysvec+30, 0,
-yycrank+0, 0, yyvstop+41,
-yycrank+4, 0, 0,
-yycrank+0, 0, yyvstop+43,
-yycrank+12, 0, 0,
-yycrank+3, yysvec+15, 0,
-yycrank+82, yysvec+30, 0,
-yycrank+17, 0, 0,
-yycrank+13, 0, 0,
-yycrank+17, 0, 0,
-yycrank+14, 0, 0,
-yycrank+23, 0, 0,
-yycrank+19, 0, 0,
-yycrank+18, 0, 0,
-yycrank+25, 0, 0,
-yycrank+30, 0, 0,
-yycrank+19, 0, 0,
-yycrank+23, 0, 0,
-yycrank+31, 0, 0,
-yycrank+25, 0, 0,
-yycrank+25, 0, 0,
-yycrank+30, 0, 0,
-yycrank+28, 0, 0,
-yycrank+22, 0, 0,
-yycrank+31, 0, 0,
-yycrank+39, 0, 0,
-yycrank+44, 0, 0,
-yycrank+25, 0, 0,
-yycrank+42, 0, 0,
-yycrank+0, 0, yyvstop+45,
-yycrank+27, 0, 0,
-yycrank+0, 0, yyvstop+47,
-0, 0, 0};
-struct yywork *yytop = yycrank+152;
-struct yysvf *yybgin = yysvec+1;
-char yymatch[] = {
-00 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,'0' ,
-'0' ,'0' ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-01 ,01 ,01 ,01 ,01 ,01 ,01 ,01 ,
-0};
-char yyextra[] = {
-0,0,0,0,0,0,0,0,
-0,0,0,0,0,0,0,0,
-0,0,0,0,0,0,0,0,
-0};
-#ifndef lint
-static char ncform_sccsid[] = "@(#)ncform 1.6 88/02/08 SMI"; /* from S5R2 1.2 */
-#endif
-
-int yylineno =1;
-# define YYU(x) x
-# define NLSTATE yyprevious=YYNEWLINE
-char yytext[YYLMAX];
-struct yysvf *yylstate [YYLMAX], **yylsp, **yyolsp;
-char yysbuf[YYLMAX];
-char *yysptr = yysbuf;
-int *yyfnd;
-extern struct yysvf *yyestate;
-int yyprevious = YYNEWLINE;
-yylook(){
- register struct yysvf *yystate, **lsp;
- register struct yywork *yyt;
- struct yysvf *yyz;
- int yych, yyfirst;
- struct yywork *yyr;
-# ifdef LEXDEBUG
- int debug;
-# endif
- char *yylastch;
- /* start off machines */
-# ifdef LEXDEBUG
- debug = 0;
-# endif
- yyfirst=1;
- if (!yymorfg)
- yylastch = yytext;
- else {
- yymorfg=0;
- yylastch = yytext+yyleng;
- }
- for(;;){
- lsp = yylstate;
- yyestate = yystate = yybgin;
- if (yyprevious==YYNEWLINE) yystate++;
- for (;;){
-# ifdef LEXDEBUG
- if(debug)fprintf(yyout,"state %d\n",yystate-yysvec-1);
-# endif
- yyt = yystate->yystoff;
- if(yyt == yycrank && !yyfirst){ /* may not be any transitions */
- yyz = yystate->yyother;
- if(yyz == 0)break;
- if(yyz->yystoff == yycrank)break;
- }
- *yylastch++ = yych = input();
- yyfirst=0;
- tryagain:
-# ifdef LEXDEBUG
- if(debug){
- fprintf(yyout,"char ");
- allprint(yych);
- putchar('\n');
- }
-# endif
- yyr = yyt;
- if ( (int)yyt > (int)yycrank){
- yyt = yyr + yych;
- if (yyt <= yytop && yyt->verify+yysvec == yystate){
- if(yyt->advance+yysvec == YYLERR) /* error transitions */
- {unput(*--yylastch);break;}
- *lsp++ = yystate = yyt->advance+yysvec;
- goto contin;
- }
- }
-# ifdef YYOPTIM
- else if((int)yyt < (int)yycrank) { /* r < yycrank */
- yyt = yyr = yycrank+(yycrank-yyt);
-# ifdef LEXDEBUG
- if(debug)fprintf(yyout,"compressed state\n");
-# endif
- yyt = yyt + yych;
- if(yyt <= yytop && yyt->verify+yysvec == yystate){
- if(yyt->advance+yysvec == YYLERR) /* error transitions */
- {unput(*--yylastch);break;}
- *lsp++ = yystate = yyt->advance+yysvec;
- goto contin;
- }
- yyt = yyr + YYU(yymatch[yych]);
-# ifdef LEXDEBUG
- if(debug){
- fprintf(yyout,"try fall back character ");
- allprint(YYU(yymatch[yych]));
- putchar('\n');
- }
-# endif
- if(yyt <= yytop && yyt->verify+yysvec == yystate){
- if(yyt->advance+yysvec == YYLERR) /* error transition */
- {unput(*--yylastch);break;}
- *lsp++ = yystate = yyt->advance+yysvec;
- goto contin;
- }
- }
- if ((yystate = yystate->yyother) && (yyt= yystate->yystoff) != yycrank){
-# ifdef LEXDEBUG
- if(debug)fprintf(yyout,"fall back to state %d\n",yystate-yysvec-1);
-# endif
- goto tryagain;
- }
-# endif
- else
- {unput(*--yylastch);break;}
- contin:
-# ifdef LEXDEBUG
- if(debug){
- fprintf(yyout,"state %d char ",yystate-yysvec-1);
- allprint(yych);
- putchar('\n');
- }
-# endif
- ;
- }
-# ifdef LEXDEBUG
- if(debug){
- fprintf(yyout,"stopped at %d with ",*(lsp-1)-yysvec-1);
- allprint(yych);
- putchar('\n');
- }
-# endif
- while (lsp-- > yylstate){
- *yylastch-- = 0;
- if (*lsp != 0 && (yyfnd= (*lsp)->yystops) && *yyfnd > 0){
- yyolsp = lsp;
- if(yyextra[*yyfnd]){ /* must backup */
- while(yyback((*lsp)->yystops,-*yyfnd) != 1 && lsp > yylstate){
- lsp--;
- unput(*yylastch--);
- }
- }
- yyprevious = YYU(*yylastch);
- yylsp = lsp;
- yyleng = yylastch-yytext+1;
- yytext[yyleng] = 0;
-# ifdef LEXDEBUG
- if(debug){
- fprintf(yyout,"\nmatch ");
- sprint(yytext);
- fprintf(yyout," action %d\n",*yyfnd);
- }
-# endif
- return(*yyfnd++);
- }
- unput(*yylastch);
- }
- if (yytext[0] == 0 /* && feof(yyin) */)
- {
- yysptr=yysbuf;
- return(0);
- }
- yyprevious = yytext[0] = input();
- if (yyprevious>0)
- output(yyprevious);
- yylastch=yytext;
-# ifdef LEXDEBUG
- if(debug)putchar('\n');
-# endif
- }
- }
-yyback(p, m)
- int *p;
-{
-if (p==0) return(0);
-while (*p)
- {
- if (*p++ == m)
- return(1);
- }
-return(0);
-}
- /* the following are only used in the lex library */
-yyinput(){
- return(input());
- }
-yyoutput(c)
- int c; {
- output(c);
- }
-yyunput(c)
- int c; {
- unput(c);
- }
projects / ghc-hetmet.git / commitdiff