diff options
Diffstat (limited to 'src/pretty')
| -rw-r--r-- | src/pretty/Pretty.ml | 6 | ||||
| -rw-r--r-- | src/pretty/dune | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/pretty/Pretty.ml b/src/pretty/Pretty.ml index fa25a40..2f0a40b 100644 --- a/src/pretty/Pretty.ml +++ b/src/pretty/Pretty.ml @@ -6,13 +6,13 @@ module S = NbE.Syntax module Internal = struct type env = { - names : Ident.local bwd; + names : Name.local bwd; prec : int; } module Eff = Algaeff.Reader.Make (struct type nonrec t = env end) - let bind (name : Ident.local) f fmt x = + let bind (name : Name.local) f fmt x = let update env = { env with names = env.names <: name } in Eff.scope update (fun () -> f fmt x) @@ -74,7 +74,7 @@ struct (* TODO: improve indentation *) and pp fmt = function | S.Var ix -> pp_var fmt ix - | S.Def (p, _) -> Ident.pp fmt p + | S.Def (p, _) -> Name.pp fmt p | S.Pi (name, base, fam) -> rassoc 1 pp_arg ~sep:" -> " (bind name pp) fmt ((name, base), fam) | S.Lam (name, body) -> Fmt.pf fmt "@[\\@[%a@] -> @[%a@]@]" pp_local_name name (bind name pp) body | S.Sg (name, base, fam) -> rassoc 2 pp_arg ~sep:" * " (bind name pp) fmt ((name, base), fam) diff --git a/src/pretty/dune b/src/pretty/dune index 708b5b1..ea47845 100644 --- a/src/pretty/dune +++ b/src/pretty/dune @@ -5,5 +5,5 @@ bwd fmt toytt.error - toytt.ident + toytt.name toytt.nbe)) |