diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-22 10:23:39 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-22 10:34:39 -0400 |
| commit | b8e3bc6aa0ad181b20446823d454776fe03fcf4b (patch) | |
| tree | e513e92993b6da6b13a23f90cca6d41d0bb6a175 /lisc/tools/abi.ml | |
| parent | 665a45003a7b6d1e80cf56a21b2e24094703f7ea (diff) | |
| download | roux-b8e3bc6aa0ad181b20446823d454776fe03fcf4b.tar.gz | |
fix bug in type definitions in abi.ml
Diffstat (limited to 'lisc/tools/abi.ml')
| -rw-r--r-- | lisc/tools/abi.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lisc/tools/abi.ml b/lisc/tools/abi.ml index 2257aa2..301e160 100644 --- 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; |