diff options
| author | Nadrieril | 2020-03-13 16:50:49 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
| commit | 2f5c45fd2f712f7befe6f7c92b62dc76d5f77538 (patch) | |
| tree | 4331c48d2519ba3ebb8de9c481f6fda684b70a47 /dhall/src/syntax/text/printer.rs | |
| parent | f175ea7860cc1dd614b17912140ab7f5400c6bff (diff) | |
Rename LitKind to NumKind
Diffstat (limited to 'dhall/src/syntax/text/printer.rs')
| -rw-r--r-- | dhall/src/syntax/text/printer.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/syntax/text/printer.rs b/dhall/src/syntax/text/printer.rs index 2b7bc2e..378f408 100644 --- a/dhall/src/syntax/text/printer.rs +++ b/dhall/src/syntax/text/printer.rs @@ -201,7 +201,7 @@ impl<SE: Display + Clone> Display for ExprKind<SE> { Var(a) => a.fmt(f)?, Const(k) => k.fmt(f)?, Builtin(v) => v.fmt(f)?, - Lit(a) => a.fmt(f)?, + Num(a) => a.fmt(f)?, TextLit(a) => a.fmt(f)?, RecordType(a) if a.is_empty() => f.write_str("{}")?, RecordType(a) => fmt_list("{ ", ", ", " }", a, f, |(k, t), f| { @@ -240,9 +240,9 @@ impl Display for Expr { } } -impl Display for LitKind { +impl Display for NumKind { fn fmt(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { - use LitKind::*; + use NumKind::*; match self { Bool(true) => f.write_str("True")?, Bool(false) => f.write_str("False")?, |