diff options
| author | Nadrieril | 2019-04-07 11:09:57 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-07 11:10:08 +0200 |
| commit | c461548c32f8cb3ee2db5ade88ae4f91b3838ab5 (patch) | |
| tree | 4f9993af400d9d598641cc9479dd4334591babd1 /dhall_core | |
| parent | 354ccf95ff03fa39b8812e6b138db2b1993a981e (diff) | |
Avoid constructing exprs manually when possible
Diffstat (limited to 'dhall_core')
| -rw-r--r-- | dhall_core/src/parser.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall_core/src/parser.rs b/dhall_core/src/parser.rs index 67bcf77..41a2ce7 100644 --- a/dhall_core/src/parser.rs +++ b/dhall_core/src/parser.rs @@ -764,6 +764,7 @@ make_parser! { "False" => BoolLit(false), "Type" => Const(crate::Const::Type), "Kind" => Const(crate::Const::Kind), + "Sort" => Const(crate::Const::Sort), _ => Var(V(l, idx)), } } @@ -777,6 +778,7 @@ make_parser! { "False" => BoolLit(false), "Type" => Const(crate::Const::Type), "Kind" => Const(crate::Const::Kind), + "Sort" => Const(crate::Const::Sort), _ => Var(V(l, 0)), } } |