restore lost Tsint8

This commit is contained in:
Matthew Flatt 2016-06-27 14:36:16 -06:00
parent e86fa9f055
commit 2662850ca1

View File

@ -29,6 +29,9 @@ exec racket "$0" > `echo "$0" | sed 's/rktc$/c/'` "$0"
}
@@@IF{!defined(WINDOWS_DYNAMIC_LOAD) || defined(__MINGW32__)}{
typedef signed char Tsint8;
typedef unsigned char Tuint8;
# if SIZEOF_SHORT == 2
typedef signed short Tsint16;
typedef unsigned short Tuint16;