diff options
| author | Nadrieril | 2019-04-07 18:04:45 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-07 18:04:45 +0200 |
| commit | 21b1fda39e51d157dadbfbb2aeb0f542a9506fcf (patch) | |
| tree | 09012b2d9294a58455b74e8bd0e041f7cb153a23 /dhall_core/src/parser.rs | |
| parent | 727c5219c9af55df3e61fb372fa2fadecdd15b18 (diff) | |
| parent | 4bebcd96b6e76b9b8ae7877af91d2ae571e617a9 (diff) | |
Merge branch 'statemachine-api'
Diffstat (limited to 'dhall_core/src/parser.rs')
| -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)), } } |