Typing bug fix.
This commit is contained in:
parent
3aea2dc6fb
commit
9631d9b311
|
@ -73,7 +73,7 @@ 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"
|
||||||
| Tasync (a, t) -> fprintf ff "%a%a" print_async (Some a) print_type t
|
| Tasync (a, t) -> fprintf ff "%a%a" print_async (Some a) print_type t
|
||||||
|
|
||||||
let print_field ff field =
|
let print_field ff field =
|
||||||
|
|
|
@ -38,7 +38,7 @@ and ty =
|
||||||
let invalid_type = Tprod [] (** Invalid type given to untyped expression etc. *)
|
let invalid_type = Tprod [] (** Invalid type given to untyped expression etc. *)
|
||||||
|
|
||||||
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