From 7336787af41adc4dfe650f7c7f10f9c7c3c011db Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 4 Apr 2019 15:41:17 +0200 Subject: Update dhall-lang submodule --- README.md | 2 +- dhall-lang | 2 +- dhall/tests/typecheck.rs | 72 ++++++++++++++++++++++++------------------------ 3 files changed, 38 insertions(+), 38 deletions(-) diff --git a/README.md b/README.md index 148a57f..6ba1bfc 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ This language is defined by a [standard](https://github.com/dhall-lang/dhall-lan - Parsing: 100% - Imports: 0% - Normalization: 74% -- Typechecking: 77% +- Typechecking: 78% You can see what's missing from the commented out tests in `dhall/tests`. diff --git a/dhall-lang b/dhall-lang index c77f22c..1f87b02 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit c77f22cb10f25d9c3e29801760849c81b8595407 +Subproject commit 1f87b0285ffc098a3ef05c93a8186c32736bd4a6 diff --git a/dhall/tests/typecheck.rs b/dhall/tests/typecheck.rs index 875b14a..0cd6ddf 100644 --- a/dhall/tests/typecheck.rs +++ b/dhall/tests/typecheck.rs @@ -80,17 +80,17 @@ tc_success!(spec_typecheck_success_prelude_List_shifted_0, "prelude/List/shifted tc_success!(spec_typecheck_success_prelude_List_shifted_1, "prelude/List/shifted/1"); tc_success!(spec_typecheck_success_prelude_List_unzip_0, "prelude/List/unzip/0"); tc_success!(spec_typecheck_success_prelude_List_unzip_1, "prelude/List/unzip/1"); -// tc_success!(spec_typecheck_success_prelude_Monoid_00, "prelude/Monoid/00"); -// tc_success!(spec_typecheck_success_prelude_Monoid_01, "prelude/Monoid/01"); -// tc_success!(spec_typecheck_success_prelude_Monoid_02, "prelude/Monoid/02"); -// tc_success!(spec_typecheck_success_prelude_Monoid_03, "prelude/Monoid/03"); -// tc_success!(spec_typecheck_success_prelude_Monoid_04, "prelude/Monoid/04"); -// tc_success!(spec_typecheck_success_prelude_Monoid_05, "prelude/Monoid/05"); -// tc_success!(spec_typecheck_success_prelude_Monoid_06, "prelude/Monoid/06"); -// tc_success!(spec_typecheck_success_prelude_Monoid_07, "prelude/Monoid/07"); -// tc_success!(spec_typecheck_success_prelude_Monoid_08, "prelude/Monoid/08"); -// tc_success!(spec_typecheck_success_prelude_Monoid_09, "prelude/Monoid/09"); -// tc_success!(spec_typecheck_success_prelude_Monoid_10, "prelude/Monoid/10"); +tc_success!(spec_typecheck_success_prelude_Monoid_00, "prelude/Monoid/00"); +tc_success!(spec_typecheck_success_prelude_Monoid_01, "prelude/Monoid/01"); +tc_success!(spec_typecheck_success_prelude_Monoid_02, "prelude/Monoid/02"); +tc_success!(spec_typecheck_success_prelude_Monoid_03, "prelude/Monoid/03"); +tc_success!(spec_typecheck_success_prelude_Monoid_04, "prelude/Monoid/04"); +tc_success!(spec_typecheck_success_prelude_Monoid_05, "prelude/Monoid/05"); +tc_success!(spec_typecheck_success_prelude_Monoid_06, "prelude/Monoid/06"); +tc_success!(spec_typecheck_success_prelude_Monoid_07, "prelude/Monoid/07"); +tc_success!(spec_typecheck_success_prelude_Monoid_08, "prelude/Monoid/08"); +tc_success!(spec_typecheck_success_prelude_Monoid_09, "prelude/Monoid/09"); +tc_success!(spec_typecheck_success_prelude_Monoid_10, "prelude/Monoid/10"); tc_success!(spec_typecheck_success_prelude_Natural_build_0, "prelude/Natural/build/0"); tc_success!(spec_typecheck_success_prelude_Natural_build_1, "prelude/Natural/build/1"); tc_success!(spec_typecheck_success_prelude_Natural_enumerate_0, "prelude/Natural/enumerate/0"); @@ -114,35 +114,35 @@ tc_success!(spec_typecheck_success_prelude_Natural_sum_1, "prelude/Natural/sum/1 // tc_success!(spec_typecheck_success_prelude_Natural_toDouble_1, "prelude/Natural/toDouble/1"); // tc_success!(spec_typecheck_success_prelude_Natural_toInteger_0, "prelude/Natural/toInteger/0"); // tc_success!(spec_typecheck_success_prelude_Natural_toInteger_1, "prelude/Natural/toInteger/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_all_0, "prelude/Optional/all/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_all_1, "prelude/Optional/all/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_any_0, "prelude/Optional/any/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_any_1, "prelude/Optional/any/1"); +tc_success!(spec_typecheck_success_prelude_Optional_all_0, "prelude/Optional/all/0"); +tc_success!(spec_typecheck_success_prelude_Optional_all_1, "prelude/Optional/all/1"); +tc_success!(spec_typecheck_success_prelude_Optional_any_0, "prelude/Optional/any/0"); +tc_success!(spec_typecheck_success_prelude_Optional_any_1, "prelude/Optional/any/1"); // tc_success!(spec_typecheck_success_prelude_Optional_build_0, "prelude/Optional/build/0"); // tc_success!(spec_typecheck_success_prelude_Optional_build_1, "prelude/Optional/build/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_concat_0, "prelude/Optional/concat/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_concat_1, "prelude/Optional/concat/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_concat_2, "prelude/Optional/concat/2"); +tc_success!(spec_typecheck_success_prelude_Optional_concat_0, "prelude/Optional/concat/0"); +tc_success!(spec_typecheck_success_prelude_Optional_concat_1, "prelude/Optional/concat/1"); +tc_success!(spec_typecheck_success_prelude_Optional_concat_2, "prelude/Optional/concat/2"); // tc_success!(spec_typecheck_success_prelude_Optional_filter_0, "prelude/Optional/filter/0"); // tc_success!(spec_typecheck_success_prelude_Optional_filter_1, "prelude/Optional/filter/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_fold_0, "prelude/Optional/fold/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_fold_1, "prelude/Optional/fold/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_head_0, "prelude/Optional/head/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_head_1, "prelude/Optional/head/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_head_2, "prelude/Optional/head/2"); -// tc_success!(spec_typecheck_success_prelude_Optional_last_0, "prelude/Optional/last/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_last_1, "prelude/Optional/last/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_last_2, "prelude/Optional/last/2"); -// tc_success!(spec_typecheck_success_prelude_Optional_length_0, "prelude/Optional/length/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_length_1, "prelude/Optional/length/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_map_0, "prelude/Optional/map/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_map_1, "prelude/Optional/map/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_null_0, "prelude/Optional/null/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_null_1, "prelude/Optional/null/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_toList_0, "prelude/Optional/toList/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_toList_1, "prelude/Optional/toList/1"); -// tc_success!(spec_typecheck_success_prelude_Optional_unzip_0, "prelude/Optional/unzip/0"); -// tc_success!(spec_typecheck_success_prelude_Optional_unzip_1, "prelude/Optional/unzip/1"); +tc_success!(spec_typecheck_success_prelude_Optional_fold_0, "prelude/Optional/fold/0"); +tc_success!(spec_typecheck_success_prelude_Optional_fold_1, "prelude/Optional/fold/1"); +tc_success!(spec_typecheck_success_prelude_Optional_head_0, "prelude/Optional/head/0"); +tc_success!(spec_typecheck_success_prelude_Optional_head_1, "prelude/Optional/head/1"); +tc_success!(spec_typecheck_success_prelude_Optional_head_2, "prelude/Optional/head/2"); +tc_success!(spec_typecheck_success_prelude_Optional_last_0, "prelude/Optional/last/0"); +tc_success!(spec_typecheck_success_prelude_Optional_last_1, "prelude/Optional/last/1"); +tc_success!(spec_typecheck_success_prelude_Optional_last_2, "prelude/Optional/last/2"); +tc_success!(spec_typecheck_success_prelude_Optional_length_0, "prelude/Optional/length/0"); +tc_success!(spec_typecheck_success_prelude_Optional_length_1, "prelude/Optional/length/1"); +tc_success!(spec_typecheck_success_prelude_Optional_map_0, "prelude/Optional/map/0"); +tc_success!(spec_typecheck_success_prelude_Optional_map_1, "prelude/Optional/map/1"); +tc_success!(spec_typecheck_success_prelude_Optional_null_0, "prelude/Optional/null/0"); +tc_success!(spec_typecheck_success_prelude_Optional_null_1, "prelude/Optional/null/1"); +tc_success!(spec_typecheck_success_prelude_Optional_toList_0, "prelude/Optional/toList/0"); +tc_success!(spec_typecheck_success_prelude_Optional_toList_1, "prelude/Optional/toList/1"); +tc_success!(spec_typecheck_success_prelude_Optional_unzip_0, "prelude/Optional/unzip/0"); +tc_success!(spec_typecheck_success_prelude_Optional_unzip_1, "prelude/Optional/unzip/1"); tc_success!(spec_typecheck_success_prelude_Text_concat_0, "prelude/Text/concat/0"); tc_success!(spec_typecheck_success_prelude_Text_concat_1, "prelude/Text/concat/1"); tc_success!(spec_typecheck_success_prelude_Text_concatMap_0, "prelude/Text/concatMap/0"); -- cgit v1.2.3