diff options
author | Malte Voos <git@mal.tc> | 2024-02-16 16:18:32 +0100 |
---|---|---|
committer | Malte Voos <git@mal.tc> | 2024-02-16 16:18:32 +0100 |
commit | 169ff6c0d196246e28c4413b43895ad5a377a2e5 (patch) | |
tree | 0cce07444293e70377b5fcfa43c82195bc2fd032 /bin | |
parent | 06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2 (diff) | |
download | toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.tar.gz toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.zip |
add type universe to grammar
Diffstat (limited to 'bin')
-rw-r--r-- | bin/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/main.ml b/bin/main.ml index 1607ec4..6c62764 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -8,7 +8,7 @@ let parse (s : string) : Ast.expr = let rec repl () = let input = read_line () in let ast = parse input in - Format.printf "%a\n%!" Ast.dump_expr ast; + Format.printf "%a\n%!" Ast.pp_expr ast; repl () let () = repl () |