Commit b6c8894b authored by POTTIER Francois's avatar POTTIER Francois

Improvement to the type printer.

parent c05bdf4d
......@@ -20,21 +20,21 @@ let rec typ0 ty =
and typ1 ty =
match ty with
| TyProduct (ty1, ty2) ->
typ0 ty1 ^/^ star ^/^ typ1 ty2
group (typ0 ty1 ^/^ star ^/^ typ1 ty2)
| _ ->
typ0 ty
and typ2 ty =
match ty with
| TyArrow (ty1, ty2) ->
typ1 ty1 ^/^ arrow ^/^ typ2 ty2
group (typ1 ty1 ^/^ arrow ^/^ typ2 ty2)
| _ ->
typ1 ty
and typ3 ty =
match ty with
| TyForall (x, ty) ->
forall ^/^ string x ^^ dot ^/^ typ3 ty
group (forall ^/^ string x ^^ dot ^/^ typ3 ty)
| _ ->
typ2 ty
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment