From 071ba528cd8c6a222be345ddec7560bb45cca6be Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 8 Aug 2019 19:33:07 +0200
Subject: Add support for dependent types

---
 dhall_generated_parser/build.rs                  | 1 +
 dhall_generated_parser/src/dhall.pest.visibility | 3 +++
 2 files changed, 4 insertions(+)

(limited to 'dhall_generated_parser')

diff --git a/dhall_generated_parser/build.rs b/dhall_generated_parser/build.rs
index 74210bf..48605b6 100644
--- a/dhall_generated_parser/build.rs
+++ b/dhall_generated_parser/build.rs
@@ -67,6 +67,7 @@ fn main() -> std::io::Result<()> {
           | merge ~ whsp1 ~ import_expression ~ whsp1 ~ import_expression ~ whsp ~ ^":" ~ whsp1 ~ application_expression
           | empty_list_literal
           | toMap ~ whsp1 ~ import_expression ~ whsp ~ ^":" ~ whsp1 ~ application_expression
+          | assert ~ whsp ~ ^":" ~ whsp1 ~ expression
           | annotated_expression
     }}"#
     )?;
diff --git a/dhall_generated_parser/src/dhall.pest.visibility b/dhall_generated_parser/src/dhall.pest.visibility
index de6dc8d..44a52c1 100644
--- a/dhall_generated_parser/src/dhall.pest.visibility
+++ b/dhall_generated_parser/src/dhall.pest.visibility
@@ -46,6 +46,7 @@ missing
 NaN
 Some_
 toMap
+assert
 # keyword
 builtin
 Optional
@@ -85,6 +86,7 @@ Location
 # Text_show
 # combine
 # combine_types
+# equivalent
 # prefer
 lambda
 forall
@@ -154,6 +156,7 @@ combine_types_expression
 times_expression
 equal_expression
 not_equal_expression
+equivalent_expression
 application_expression
 first_application_expression
 # import_expression
-- 
cgit v1.2.3