/usr/local/bin/sisalc fromC.sis -w -c -forC
match -w to -w… (sense=0)
match -c to -c… (sense=0)
match -forC to -forC… (sense=0)
LL Parse, using binary files
* Reading file: fromC.sis…
version 1.8 (Mar 28, 1989)
accepted
23 lines in program
0 errors ( calls to corrector)
0 tokens inserted; 0 tokens deleted.
0 semantic errors
In file included from fromC.c:11:
/usr/local/include/sisal14/sisal.h: In function ‘ArrayDump’:
/usr/local/include/sisal14/sisal.h:193: warning: format ‘%x’ expects type ‘unsigned int’, but argument 3 has type ‘struct Array *’
/usr/local/include/sisal14/sisal.h:193: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘struct Array *’
/usr/local/include/sisal14/sisal.h:193: warning: format ‘%d’ expects type ‘int’, but argument 5 has type ‘long unsigned int’
/usr/local/include/sisal14/sisal.h:196: warning: format ‘%x’ expects type ‘unsigned int’, but argument 3 has type ‘struct ArrayPhys *’
/usr/local/include/sisal14/sisal.h:196: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘struct ArrayPhys *’
/usr/local/include/sisal14/sisal.h:197: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘LOCK_TYPE’
fromC.c: At top level:
fromC.c:28: error: static declaration of ‘__FOO’ follows non-static declaration
fromC.c:20: error: previous declaration of ‘__FOO’ was here
ERROR: C compiler failure
make: *** Error 1
make: *** Error 2
Context: Mac OS X 10.6.8 Snow Leopard
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Dear Sisal
I have a make test failure, viz
/usr/local/bin/sisalc fromC.sis -w -c -forC
match -w to -w… (sense=0)
match -c to -c… (sense=0)
match -forC to -forC… (sense=0)
LL Parse, using binary files
* Reading file: fromC.sis…
version 1.8 (Mar 28, 1989)
accepted
23 lines in program
0 errors ( calls to corrector)
0 tokens inserted; 0 tokens deleted.
0 semantic errors
In file included from fromC.c:11:
/usr/local/include/sisal14/sisal.h: In function ‘ArrayDump’:
/usr/local/include/sisal14/sisal.h:193: warning: format ‘%x’ expects type ‘unsigned int’, but argument 3 has type ‘struct Array *’
/usr/local/include/sisal14/sisal.h:193: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘struct Array *’
/usr/local/include/sisal14/sisal.h:193: warning: format ‘%d’ expects type ‘int’, but argument 5 has type ‘long unsigned int’
/usr/local/include/sisal14/sisal.h:196: warning: format ‘%x’ expects type ‘unsigned int’, but argument 3 has type ‘struct ArrayPhys *’
/usr/local/include/sisal14/sisal.h:196: warning: format ‘%d’ expects type ‘int’, but argument 4 has type ‘struct ArrayPhys *’
/usr/local/include/sisal14/sisal.h:197: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘LOCK_TYPE’
fromC.c: At top level:
fromC.c:28: error: static declaration of ‘__FOO’ follows non-static declaration
fromC.c:20: error: previous declaration of ‘__FOO’ was here
ERROR: C compiler failure
make: *** Error 1
make: *** Error 2
Context: Mac OS X 10.6.8 Snow Leopard
Looks like a bug 2805801. Proposed patch can be found here