From abc2581d3a17f47dc94588c687f5f4d469941b03 Mon Sep 17 00:00:00 2001 From: Mark Needham Date: Wed, 12 Jul 2023 01:46:06 -0500 Subject: [PATCH] fixed type pretty-printing in levy --- src/levy/README.md | 2 +- src/levy/type_check.ml | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/levy/README.md b/src/levy/README.md index e631745..93ed246 100644 --- a/src/levy/README.md +++ b/src/levy/README.md @@ -31,7 +31,7 @@ function. You can load it and try it as follows: val a : int = 5 val b : int = 15 val c : U (F int) = - val fact : U int -> F int = + val fact : U (int -> F int) = return (5040) : F int levy -- programming languages zoo Type Ctrl-D to exit diff --git a/src/levy/type_check.ml b/src/levy/type_check.ml index 971bf54..0f5e02f 100644 --- a/src/levy/type_check.ml +++ b/src/levy/type_check.ml @@ -27,10 +27,10 @@ and print_ctype ?max_level cty ppf = "F@ %t" (print_vtype ~max_level:1 vty) | CArrow (vty, cty) -> - Zoo.print_parens ?max_level ~at_level:1 ppf + Zoo.print_parens ?max_level ~at_level:3 ppf "%t@ ->@ %t" - (print_vtype ~max_level:1 vty) - (print_ctype ~max_level:2 cty) + (print_vtype ~max_level:2 vty) + (print_ctype ~max_level:3 cty) let rec as_ctype {Zoo.data=ty; loc} = match ty with