diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-08-03 12:30:01 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-08-03 12:30:01 +0000 |
| commit | 3601b796e51bd4a26383ac972ce2ccf575171979 (patch) | |
| tree | b2a1b29fad27ea94a65bbdd3da41612c9ceaf116 /src/runtime/c/teyjus/simulator/printterm.c | |
| parent | 7f6c248bf1623a3e0ae5b1f4d7885bd4a54edc6e (diff) | |
fix some warnings in teyjus
Diffstat (limited to 'src/runtime/c/teyjus/simulator/printterm.c')
| -rw-r--r-- | src/runtime/c/teyjus/simulator/printterm.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/runtime/c/teyjus/simulator/printterm.c b/src/runtime/c/teyjus/simulator/printterm.c index 2fbe03fd2..cedc63147 100644 --- a/src/runtime/c/teyjus/simulator/printterm.c +++ b/src/runtime/c/teyjus/simulator/printterm.c @@ -87,6 +87,8 @@ static Boolean PRINT_parenNeeded(OP_FixityType opfx, int opprec, } break; } + default: + break; } } else if (context == OP_RIGHT_TERM) { switch (fx) { @@ -101,6 +103,8 @@ static Boolean PRINT_parenNeeded(OP_FixityType opfx, int opprec, if (opprec < prec) pparen = TRUE; break; } } + default: + break; } } return pparen; @@ -132,9 +136,6 @@ static void PRINT_writeNilSymbol(WordPtr outStream) static void PRINT_writeInfixLam(WordPtr outStream) { STREAM_printf(outStream, "\\ "); } -static void PRINT_writeLam(WordPtr outStream, int numabs) -{ STREAM_printf(outStream, "lam(%d, ", numabs); } - static void PRINT_writeSpace(WordPtr outStream, int i) { while (i--) STREAM_printf(outStream, " "); } @@ -402,7 +403,6 @@ static void PRINT_writeCons(WordPtr outStream, DF_TermPtr tmPtr, OP_FixityType fx, int prec, OP_TermContext tc) { DF_TermPtr args = DF_consArgs(tmPtr); - DF_TermPtr arg; OP_FixityType consfix = (OP_FixityType)AM_cstFixity(PERV_CONS_INDEX); int consprec = AM_cstPrecedence(PERV_CONS_INDEX); Boolean pparen = PRINT_parenNeeded(consfix, consprec, tc, fx,prec); @@ -600,8 +600,8 @@ static void PRINT_writeApp(WordPtr outStream, DF_TermPtr tmPtr, int arity = DF_appArity(tmPtr); Boolean pparen = PRINT_parenNeeded(OP_APP_FIXITY, OP_APP_PREC, tc, infx, inprec); - OP_FixityType fix; - int prec; + OP_FixityType fix = 0; + int prec = 0; HN_hnorm(tmPtr); PRINT_getHeadInfo(AM_head, &fix, &prec); |