From 5f0331e9a339768dfa40018d1f82c4815dbd11af Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 18 Mar 2019 05:50:09 +0100 Subject: Implement a few more primitives --- dhall/tests/normalization.rs | 42 +++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 21 deletions(-) (limited to 'dhall/tests/normalization.rs') diff --git a/dhall/tests/normalization.rs b/dhall/tests/normalization.rs index c1ea81d..9f3c547 100644 --- a/dhall/tests/normalization.rs +++ b/dhall/tests/normalization.rs @@ -65,14 +65,14 @@ norm!(spec_normalization_success_prelude_List_filter_1, "prelude/List/filter/1") norm!(spec_normalization_success_prelude_List_fold_0, "prelude/List/fold/0"); norm!(spec_normalization_success_prelude_List_fold_1, "prelude/List/fold/1"); norm!(spec_normalization_success_prelude_List_fold_2, "prelude/List/fold/2"); -// norm!(spec_normalization_success_prelude_List_generate_0, "prelude/List/generate/0"); -// norm!(spec_normalization_success_prelude_List_generate_1, "prelude/List/generate/1"); +norm!(spec_normalization_success_prelude_List_generate_0, "prelude/List/generate/0"); +norm!(spec_normalization_success_prelude_List_generate_1, "prelude/List/generate/1"); norm!(spec_normalization_success_prelude_List_head_0, "prelude/List/head/0"); norm!(spec_normalization_success_prelude_List_head_1, "prelude/List/head/1"); -// norm!(spec_normalization_success_prelude_List_indexed_0, "prelude/List/indexed/0"); -// norm!(spec_normalization_success_prelude_List_indexed_1, "prelude/List/indexed/1"); -// norm!(spec_normalization_success_prelude_List_iterate_0, "prelude/List/iterate/0"); -// norm!(spec_normalization_success_prelude_List_iterate_1, "prelude/List/iterate/1"); +norm!(spec_normalization_success_prelude_List_indexed_0, "prelude/List/indexed/0"); +norm!(spec_normalization_success_prelude_List_indexed_1, "prelude/List/indexed/1"); +norm!(spec_normalization_success_prelude_List_iterate_0, "prelude/List/iterate/0"); +norm!(spec_normalization_success_prelude_List_iterate_1, "prelude/List/iterate/1"); norm!(spec_normalization_success_prelude_List_last_0, "prelude/List/last/0"); norm!(spec_normalization_success_prelude_List_last_1, "prelude/List/last/1"); norm!(spec_normalization_success_prelude_List_length_0, "prelude/List/length/0"); @@ -81,23 +81,23 @@ norm!(spec_normalization_success_prelude_List_map_0, "prelude/List/map/0"); norm!(spec_normalization_success_prelude_List_map_1, "prelude/List/map/1"); norm!(spec_normalization_success_prelude_List_null_0, "prelude/List/null/0"); norm!(spec_normalization_success_prelude_List_null_1, "prelude/List/null/1"); -// norm!(spec_normalization_success_prelude_List_replicate_0, "prelude/List/replicate/0"); -// norm!(spec_normalization_success_prelude_List_replicate_1, "prelude/List/replicate/1"); +norm!(spec_normalization_success_prelude_List_replicate_0, "prelude/List/replicate/0"); +norm!(spec_normalization_success_prelude_List_replicate_1, "prelude/List/replicate/1"); norm!(spec_normalization_success_prelude_List_reverse_0, "prelude/List/reverse/0"); norm!(spec_normalization_success_prelude_List_reverse_1, "prelude/List/reverse/1"); norm!(spec_normalization_success_prelude_List_shifted_0, "prelude/List/shifted/0"); norm!(spec_normalization_success_prelude_List_shifted_1, "prelude/List/shifted/1"); norm!(spec_normalization_success_prelude_List_unzip_0, "prelude/List/unzip/0"); norm!(spec_normalization_success_prelude_List_unzip_1, "prelude/List/unzip/1"); -// norm!(spec_normalization_success_prelude_Natural_build_0, "prelude/Natural/build/0"); -// norm!(spec_normalization_success_prelude_Natural_build_1, "prelude/Natural/build/1"); -// norm!(spec_normalization_success_prelude_Natural_enumerate_0, "prelude/Natural/enumerate/0"); -// norm!(spec_normalization_success_prelude_Natural_enumerate_1, "prelude/Natural/enumerate/1"); +norm!(spec_normalization_success_prelude_Natural_build_0, "prelude/Natural/build/0"); +norm!(spec_normalization_success_prelude_Natural_build_1, "prelude/Natural/build/1"); +norm!(spec_normalization_success_prelude_Natural_enumerate_0, "prelude/Natural/enumerate/0"); +norm!(spec_normalization_success_prelude_Natural_enumerate_1, "prelude/Natural/enumerate/1"); norm!(spec_normalization_success_prelude_Natural_even_0, "prelude/Natural/even/0"); norm!(spec_normalization_success_prelude_Natural_even_1, "prelude/Natural/even/1"); -// norm!(spec_normalization_success_prelude_Natural_fold_0, "prelude/Natural/fold/0"); -// norm!(spec_normalization_success_prelude_Natural_fold_1, "prelude/Natural/fold/1"); -// norm!(spec_normalization_success_prelude_Natural_fold_2, "prelude/Natural/fold/2"); +norm!(spec_normalization_success_prelude_Natural_fold_0, "prelude/Natural/fold/0"); +norm!(spec_normalization_success_prelude_Natural_fold_1, "prelude/Natural/fold/1"); +norm!(spec_normalization_success_prelude_Natural_fold_2, "prelude/Natural/fold/2"); norm!(spec_normalization_success_prelude_Natural_isZero_0, "prelude/Natural/isZero/0"); norm!(spec_normalization_success_prelude_Natural_isZero_1, "prelude/Natural/isZero/1"); norm!(spec_normalization_success_prelude_Natural_odd_0, "prelude/Natural/odd/0"); @@ -161,7 +161,7 @@ norm!(spec_normalization_success_prelude_Text_concatMap_1, "prelude/Text/concatM // norm!(spec_normalization_success_simple_letlet, "simple/letlet"); norm!(spec_normalization_success_simple_listBuild, "simple/listBuild"); norm!(spec_normalization_success_simple_multiLine, "simple/multiLine"); -// norm!(spec_normalization_success_simple_naturalBuild, "simple/naturalBuild"); +norm!(spec_normalization_success_simple_naturalBuild, "simple/naturalBuild"); norm!(spec_normalization_success_simple_naturalPlus, "simple/naturalPlus"); norm!(spec_normalization_success_simple_naturalShow, "simple/naturalShow"); norm!(spec_normalization_success_simple_naturalToInteger, "simple/naturalToInteger"); @@ -215,8 +215,8 @@ norm!(spec_normalization_success_unit_ListHead, "unit/ListHead"); norm!(spec_normalization_success_unit_ListHeadEmpty, "unit/ListHeadEmpty"); norm!(spec_normalization_success_unit_ListHeadOne, "unit/ListHeadOne"); norm!(spec_normalization_success_unit_ListIndexed, "unit/ListIndexed"); -// norm!(spec_normalization_success_unit_ListIndexedEmpty, "unit/ListIndexedEmpty"); -// norm!(spec_normalization_success_unit_ListIndexedOne, "unit/ListIndexedOne"); +norm!(spec_normalization_success_unit_ListIndexedEmpty, "unit/ListIndexedEmpty"); +norm!(spec_normalization_success_unit_ListIndexedOne, "unit/ListIndexedOne"); norm!(spec_normalization_success_unit_ListLast, "unit/ListLast"); norm!(spec_normalization_success_unit_ListLastEmpty, "unit/ListLastEmpty"); norm!(spec_normalization_success_unit_ListLastOne, "unit/ListLastOne"); @@ -235,13 +235,13 @@ norm!(spec_normalization_success_unit_MergeWithTypeNormalizeArguments, "unit/Mer norm!(spec_normalization_success_unit_Natural, "unit/Natural"); norm!(spec_normalization_success_unit_NaturalBuild, "unit/NaturalBuild"); norm!(spec_normalization_success_unit_NaturalBuildFoldFusion, "unit/NaturalBuildFoldFusion"); -// norm!(spec_normalization_success_unit_NaturalBuildImplementation, "unit/NaturalBuildImplementation"); +norm!(spec_normalization_success_unit_NaturalBuildImplementation, "unit/NaturalBuildImplementation"); norm!(spec_normalization_success_unit_NaturalEven, "unit/NaturalEven"); norm!(spec_normalization_success_unit_NaturalEvenOne, "unit/NaturalEvenOne"); norm!(spec_normalization_success_unit_NaturalEvenZero, "unit/NaturalEvenZero"); norm!(spec_normalization_success_unit_NaturalFold, "unit/NaturalFold"); -// norm!(spec_normalization_success_unit_NaturalFoldOne, "unit/NaturalFoldOne"); -// norm!(spec_normalization_success_unit_NaturalFoldZero, "unit/NaturalFoldZero"); +norm!(spec_normalization_success_unit_NaturalFoldOne, "unit/NaturalFoldOne"); +norm!(spec_normalization_success_unit_NaturalFoldZero, "unit/NaturalFoldZero"); norm!(spec_normalization_success_unit_NaturalIsZero, "unit/NaturalIsZero"); norm!(spec_normalization_success_unit_NaturalIsZeroOne, "unit/NaturalIsZeroOne"); norm!(spec_normalization_success_unit_NaturalIsZeroZero, "unit/NaturalIsZeroZero"); -- cgit v1.2.3