diff options
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/tests/typecheck.rs | 72 |
1 files changed, 36 insertions, 36 deletions
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"); |