Bug fix in Typing.
This commit is contained in:
parent
51fea00808
commit
688e0bce71
|
@ -48,7 +48,8 @@ and print_type ff = function
|
||||||
| Tid id -> print_qualname ff id
|
| Tid id -> print_qualname ff id
|
||||||
| Tarray (ty, n) ->
|
| Tarray (ty, n) ->
|
||||||
fprintf ff "@[<hov2>%a^%a@]" print_type ty print_static_exp n
|
fprintf ff "@[<hov2>%a^%a@]" print_type ty print_static_exp n
|
||||||
| Tunit -> fprintf ff "()"
|
| Tunit -> fprintf ff "unit"
|
||||||
|
|
||||||
|
|
||||||
let print_field ff field =
|
let print_field ff field =
|
||||||
fprintf ff "@[%a: %a@]" print_qualname field.f_name print_type field.f_type
|
fprintf ff "@[%a: %a@]" print_qualname field.f_name print_type field.f_type
|
||||||
|
|
|
@ -35,7 +35,7 @@ and ty =
|
||||||
let invalid_type = Tprod []
|
let invalid_type = Tprod []
|
||||||
|
|
||||||
let prod = function
|
let prod = function
|
||||||
| [] -> assert false
|
| [] -> Tunit
|
||||||
| [ty] -> ty
|
| [ty] -> ty
|
||||||
| ty_list -> Tprod ty_list
|
| ty_list -> Tprod ty_list
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue