read-byte fix for Jig.

Author: dvanhorn

langs/jig/io.c

@@ -7,7 +7,7 @@
 val_t read_byte(void)
 {
   char c = getc(in);
-  return (c == EOF) ? val_wrap_eof() : val_wrap_int(c);  
+  return (c == EOF) ? val_wrap_eof() : val_wrap_byte(c);
 }
 
 val_t peek_byte(void)

langs/jig/values.c

@@ -38,6 +38,10 @@ int64_t val_unwrap_int(val_t x)
 {
   return x >> int_shift;
 }
+val_t val_wrap_byte(unsigned char b)
+{
+  return (b << int_shift) | int_type_tag;
+}
 val_t val_wrap_int(int64_t i)
 {
   return (i << int_shift) | int_type_tag;

langs/jig/values.h

@@ -49,6 +49,7 @@ type_t val_typeof(val_t x);
  */
 int64_t val_unwrap_int(val_t x);
 val_t val_wrap_int(int64_t i);
+val_t val_wrap_byte(unsigned char b);
 
 int val_unwrap_bool(val_t x);
 val_t val_wrap_bool(int b);