diff options
| author | Nadrieril | 2020-04-06 17:51:53 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-06 18:33:50 +0100 |
| commit | 531fdb1757a97a3accc8e836a1ff3a3977c37bfe (patch) | |
| tree | 5bafd0d0c7b0289eece0ebffb4684b0f37f9837e /dhall/src/syntax | |
| parent | 08e1d8ece4314b56d64fa08595c2e043b97896d1 (diff) | |
Factor out operations in typecheck
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/syntax/ast/expr.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/syntax/ast/expr.rs b/dhall/src/syntax/ast/expr.rs index 51426ce..51e9ea7 100644 --- a/dhall/src/syntax/ast/expr.rs +++ b/dhall/src/syntax/ast/expr.rs @@ -161,10 +161,10 @@ pub enum ExprKind<SubExpr> { Num(NumKind), /// Built-in functions and types Builtin(Builtin), - /// `Some e` - SomeLit(SubExpr), /// `"Some ${interpolated} text"` TextLit(InterpolatedText<SubExpr>), + /// `Some e` + SomeLit(SubExpr), /// `[] : t` EmptyListLit(SubExpr), /// `[x, y, z]` |