qbe

commit b8e3bc6aa0ad181b20446823d454776fe03fcf4b
parent 665a45003a7b6d1e80cf56a21b2e24094703f7ea
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Tue, 22 Mar 2016 10:23:39 -0400

fix bug in type definitions in abi.ml

Diffstat:
M
lisc/tools/abi.ml
 | 
6
+++++-

1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/lisc/tools/abi.ml b/lisc/tools/abi.ml
@@ -396,7 +396,11 @@ module OutIL = struct
   let typedef oc name =
     let rec f: type a. a sty -> unit = function
       | Field (b, s) ->
-        fprintf oc "%s" (btype b);
+        fprintf oc "%s" begin
+          if AB b = AB Char  then "b" else
+          if AB b = AB Short then "h" else
+          btype b
+        end;
         if not (styempty s) then
           fprintf oc ", ";
         f s;