diff options
author | Malte Voos <git@mal.tc> | 2024-07-08 22:10:12 +0200 |
---|---|---|
committer | Malte Voos <git@mal.tc> | 2024-07-08 22:10:12 +0200 |
commit | 66cf5d3c5fff84a1cac333c1aa81a8e1f21ee6f4 (patch) | |
tree | bfbd237f12a3b973d0b93556e6235ced045db701 /src/pretty | |
parent | 97f84ccace4e634b4e02178a702818e69292dc9f (diff) | |
download | toytt-66cf5d3c5fff84a1cac333c1aa81a8e1f21ee6f4.tar.gz toytt-66cf5d3c5fff84a1cac333c1aa81a8e1f21ee6f4.zip |
rename Ident -> Name
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)) |